Запитання з тегом «relativization»

1
Детальніше про PH в PP?
Недавній питання по Гека Bennett з проханням , чи був клас PH міститься в класі РР, отримав кілька суперечливі відповіді (все це правда, здається). З одного боку, кілька результатів оракулу давали протилежне, а з іншого Скотт припустив, що відповідь, ймовірно, позитивна, оскільки теорема Тоди показує, що PH знаходиться в BP.PP, …
1
Чи існують канонічні нерелятивізуючі методи?
У багатьох областях існують канонічні прийоми, якими мають оволодіти всі, хто працює в цій галузі. Наприклад, для скорочення простору журналу "бітовий трюк" для композиції, що складається не з побудови повного виводу складеної функції, а завжди з проханням перерахувати результат за кожен біт виводу, дозволяючи зберігати обмеження простору журналу. Моє запитання …
3
Чи є результат в теорії обчислюваності, яка не релятивізується?
Я читав статтю Андрія Бауера Перші кроки в теорії синтетичної обчислюваності . У висновку він зазначає, що Наша аксіоматизація має свою межу: вона не може довести жодних результатів в теорії обчислюваності, які не зможуть відновитись до обчислень Oracle. Це тому, що теорію можна інтерпретувати у варіанті ефективного топосу, побудованого з …
1
Яка "реальна" причина того, що IP = PSPACE не релятивізує?
ООOc o N P O ⊆ P S P A C E O Oc o N PО⊈ І ПОcоNПО⊈ЯПО{\sf coNP}^O \not\subseteq {\sf IP}^Oc o N PО⊆ P S P A C EОcоNПО⊆ПSПАСЕО{\sf coNP}^O \subseteq {\sf PSPACE}^OООO Однак я бачив, що лише декілька людей дають "пряме" пояснення, чому результат не релятивізується, …
5
Чи можна перевірити, чи є обчислюване число раціональним чи цілим?
Чи можливо алгоритмічно перевірити, чи є обчислюване число раціональним чи цілим? Іншими словами, чи можливо бібліотеці, яка реалізує обчислювані числа, надавати функції isIntegerабо isRational? Я здогадуюсь, що це неможливо, і що це якимось чином пов'язане з тим, що неможливо перевірити, чи є два числа рівними, але я не бачу, як …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
1
Яка оракул мінімальної складності, що відокремлює PSPACE від ієрархії поліномів?
Фон Відомо , що існує оракул AAA такий , що PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . Відомо навіть, що поділ має відношення до випадкового оракула. Неофіційно можна трактувати це так, що існує багато оракул, для яких PSPACEPSPACEPSPACE і PHPHPH є окремими. Питання Як складно ці оракули , які відокремлюють PSPACEPSPACEPSPACE від PHPHPH …
2
Потенційно однакові класи складності без відомих суперечливих релятивізацій
Наведемо кілька прикладів пар класів складності і таких, щоAAABBB ми не знаємо, чи , іA=BA=BA=B ми також не знаємо суперечливих релятивізацій (тобто, ми не знаємо оракул і Q таких, що A ^ P = B ^ P і A ^ Q \ ne B ^ Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne …
1
Підтримання порядку в списку в
Проблема обслуговування замовлення (або "підтримка порядку в списку") полягає в підтримці операцій: singleton: створює список з одним елементом, повертає на нього вказівник insertAfter: дається вказівник на елемент, вставляє після нього новий елемент, повертаючи вказівник на новий елемент delete: надавши вказівник на елемент, видаляє його зі свого списку minPointer: надавши два …
1
Чи відносяться докази того, що постійний не є рівномірним ?
Це продовження цього питання і пов'язане з цим питанням Шиви Кіналі. Звісно ж , що докази в цих роботах ( Аллендер , Caussinus-Маккензі-Therien-VOLLMER , Koiran-Perifel ) використовують ієрархію теорем. Хочу знати, чи докази є " чистими " теоремами діагоналізації, чи вони використовують щось більше, ніж звичайна діагоналізація. Отже, моє запитання …
2
ALogTime! = PH важко довести (і невідомо)?
Нещодавно Lance Fortnow стверджував, що довести L! = NP повинно бути простіше, ніж довести P! = NP : Відокремлюємо НП від логарифмічного простору. Я дав чотири підходи в передблогєвому опитуванні 2001 р. Про діагоналізацію (Розділ 3), хоча жоден не вичерпувався. Повинно бути набагато простіше, ніж відокремлювати P від ​​NP. Розділ …
3
Назвіть природні приклади нерелябізуючих доказів?
Наскільки я це розумію, доказ того, що P = NP або P would NP повинен бути нерелятивізуючим (як у оракулах теорії рекурсії). Практично всі докази, здається, відносні. Які гарні приклади , які не є Релятівізуемих доказів, з тих , що Р = NP / P ≠ NP доказу було б …
1
Oracle відносно якого
Зоологія складності Грега Куперберга стверджує, що існує мова така, що B P P X X ⊈ Δ 2 P X - іншими словами, B P P X ⊈ P N P X - але не дає посилання на цей результат. Чому це дотримується? Або де можна знайти доказ?XXXBPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 …
1
Чи можна використовувати результати релятивізації для доведення речень, формально незалежних?
Чи можна продемонструвати, що речення має бути формально незалежним виходячи з того, що воно не є релятивізуючим? Іншими словами, чи є приклади речень із теорії обчислюваності / складності, де можна продемонструвати і а), що всі докази, які вирішують питання про рівність двох класів, повинні релативізувати, і б) відсутність релятивізуючих доказів, …
1
Релавізований світ, де
Мені хотілося б знати, чи існує світ релятивізований, де . Мені також цікаво дізнатись, чи існує релятивізований світ, де .PA=NPA≠PPAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠NPB=PPBPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} = {\bf PP^B}
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.