Запитання з тегом «complexity-classes»

Класи складності обчислювальної техніки та їх співвідношення

2
Чи руйнується ієрархія
Чи знаємо ми, що ієрархія T C0TC0\mathsf{TC^0} не руйнується ( TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}} для всіх ddd )? Запис у зоопарку для TC0TC0\mathsf{TC^0} зазначає лише розділення між глибиною 2 та 3. Чи є стандартна посилання на те, що AC0dACd0\mathsf{AC^0_d} ієрархія не руйнується?
1
Консенсус щодо P = NP у світі, де RP = NP
Р П= NПRП=NПRP = NP широко сприймається як хибне. Але уявіть на мить, що це правда. У такому випадку наскільки ймовірним може бути, що ?П= NПП=NПP = NP Іншими словами: у світі, де , що все ще може розглядатися як перешкода для нас, щоб вірити ?P = N PР П= …
2
Який зв'язок між QMA та AM?
Я читав у С.П. Джордана, Д. Госсета, "Дж. Дж. Дж. Госсе," проблеми для стоматичних матриць Гамільтоніана та Маркова ", що навряд чи .Q МАQМАQMAQ МА ⊆ А МQМА⊆АМQMA \subseteq AM Мене здивувало це твердження. То які належні стосунки між та ?A MQ МАQМАQMAА МАМAM
2
Проблеми, які можна вирішити, але їх неможливо перевірити в поліноміальний час
Працюючи над дещо незв’язаним проектом для Суреша, я нещодавно натрапив на певну роботу, виконану Пейджером та Оппером щодо користувальницьких систем, і частину їхньої роботи коротко обговорили проблеми, які неможливо перевірити за багаточлен. Мені не вдалося знайти багато інформації про інші проблеми, які неможливо перевірити в поліноміальний час або аналіз такої …
2
Чи релятивізується існування проблем, повних PH?
Результат Бейкера-Гілла-Солової показав, що питання P = NP не релятивізується, в тому сенсі, що жодне релятивізуюче доказ (не чутливе до присутності оракула) не може вирішити питання P = NP. Моє запитання: Чи є аналогічний результат для запитання "Чи існує проблема, пов’язана з PH?" Відповідь негативно на це питання означатиме P! …
2
Чи
За http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Якщо є PSPACE-повний мову, Р = N P A .АAAПА= NПАPA=NPAP^{A}=NP^{A} Якщо - детермінований оракул полінома-часу, P B ≠ N P B (якщо вважати P ≠ N P ).БBBПБ≠ NПБPB≠NPBP^{B}\ne NP^{B}П≠ NПP≠NPP\ne NP - клас аналогів задач рішення для # P і P ⊆ P P ⊆ P …
3
Чи існує природне обмеження логіки VO, яке фіксує P або NP?
Папір, документ Lauri Hella та José María Turull-Torres, обчислювальні запити з логікою вищого порядку , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 пропонує логіку VO, логіку змінного порядку. Це дозволяє здійснювати кількісну оцінку щодо замовлень над змінними. VO є досить потужним і може виражати деякі не обчислювані запити. (Як …
3
Мови
Які інші проблеми мови, відмінні від ізоморфізму графа, є в ? Чи можете ви дати кілька посилань?NП∩ c o A MNP∩coAMNP\cap coAM Оновлення: Я забув згадати , що я зацікавлений в мовах , невідомо, в .c o NПcoNPcoNP
7
Достатні умови для краху ієрархії поліномів (PH)
Які є деякі (невідомі) твердження, що якщо істинно, PH повинен руйнуватися? Відповіді, що містять коротке твердження високого рівня з посиланням (-ями), оцінені вдячні. Я намагався здійснити зворотний пошук без особливої ​​долі.
2
Мінімальна ширина дерева ланцюга для ГОЛОВНОСТІ
Яка мінімальна ширина дерева ланцюга на {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} для обчислення МАЖ? Тут МАЙ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} виводить 1, якщо принаймні половина його входів дорівнює 111 . Мене цікавить лише розмір ланцюга (повинен бути многочленом) і що вхід повинен бути прочитаний лише один раз, хоча вивільнення вхідних воріт може бути довільним (це …
4
Наслідки і ?
Ми знаємо, що якщо то весь PH руйнується. Що робити, якщо ієрархія поліномів частково руйнується? (Або як зрозуміти, що PH може обвалитися вище певної точки, а не нижче?)П= NПP=NPP=NP Коротше кажучи, якими були б наслідки та ?P ≠ N PNП= c o NПNP=coNPNP=coNPП≠ NПP≠NPP\ne NP
2
Зниження P проти NP до SAT
Наступне питання використовує ідеї криптографії, застосовані до теорії складності. Однак це питання теоретично складного і теоретичного питання, і для того, щоб відповісти на нього, не потрібно криптознань. Я навмисно пишу це питання дуже неофіційно. Не маючи деталей, можливо, це вказано трохи неправильно. Будь ласка, не соромтесь вказати на виправлення у …
1
Наслідки
У мене є частина спроби підтвердження . Спроба доказування полягає у скороченні Карпа від -повної проблеми 3-РЕГУЛЯРНОГО ВЕРТЕКСНОГО ПОКРИТТЯ до SAT.⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus З огляду на кубічний графік , скорочення виводить формулу CNF, що має обидві наступні властивості:GGGFFF FFF має не більше задовольняючого завдання.111 FFF задовольняється тоді і …
1
Чи DSPACE (n) = DSPACE (1,5n)?
З теореми про ієрархію простору відомо, що, якщо fff простороконструюється, тоді DSPACE ( 2f(n)2f(n)2f(n) ) не дорівнює DSPACE ( f(n))f(n))f(n)) . Тут під DSPACE ( f(n))f(n))f(n)) я маю на увазі клас усіх проблем, які можна вирішити у просторі f(n)f(n)f(n) машиною Тюрінга з певним фіксованим алфавітом. Це дозволяє розглядати теорему простір-ієрархії …
1
vs
Чи ? Або, загалом, чи ?NППП=РП ПNППП=ППП\mathsf{NP^{PP}} = \mathsf{P^{PP}}NППП⊆РПП/ полуNППП⊆ППП/pолу\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly}
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.