Вопросы с тегом «complexity-classes»

Классы вычислительной сложности и их отношения

5
Доказательства того, что PPAD сложно?
Существует часто цитируемое философское обоснование полагать, что P! = NP даже без доказательств. Другие классы сложности имеют доказательства того, что они различны, потому что если нет, то будут «удивительные» последствия (например, крах полиномиальной иерархии). Мой вопрос: на чем основано убеждение, что класс PPAD неразрешим? Если бы существовал алгоритм полиномиального времени …
5
NEXP-полные проблемы
Вокруг множество проблем с NP-полнотой, и источники их собирают, например, см. Книгу Гэри и Джонсона. Мне было бы интересно увидеть список неполных NEXP задач. Есть ли один доступный? Поскольку я предполагаю, что нет, я открываю этот вопрос (это должна быть вики сообщества? Я не знаю об этом материале). В идеале …
4
Последствия NP = PSPACE
Каковы будут неприятные последствия NP = PSPACE? Я удивлен, что ничего не нашел по этому поводу, учитывая, что эти классы являются одними из самых известных. В частности, будет ли это иметь последствия для низших классов?
4
Если бы P = NP были правдой, были бы полезны квантовые компьютеры?
Предположим, что P = NP верно. Будет ли тогда какое-либо практическое применение для построения квантового компьютера, такое как быстрое решение определенных задач, или же любое такое улучшение будет неуместным, основываясь на том факте, что P = NP верно? Как бы вы охарактеризовали повышение эффективности, которое могло бы произойти, если бы …
3
Содержится ли NPI в P / poly?
Предполагается, что поскольку обратное подразумевает \ mathsf {PH} = \ Sigma_2 . Теорема Ладнера устанавливает, что если \ mathsf {P} \ ne \ mathsf {NP}, то \ mathsf {NPI}: = \ mathsf {NP} \ setminus (\ mathsf {NPC} \ cup \ mathsf {P}) \ ne \ emptyset , Однако доказательство, …
1
Содержится ли равномерный РНК в пространстве полилога?
Лог-пространство-равномерный NC содержится в детерминированном пространстве полилога (иногда пишется PolyL). Является ли лог-пространственно-равномерный RNC также в этом классе? Стандартная рандомизированная версия PolyL должна быть в PolyL, но я не вижу, чтобы (равномерный) RNC был в рандомизированном PolyL. Трудность, которую я вижу, состоит в том, что в RNC схема может «смотреть …
2
Теорема Ладнера против теоремы Шефера
Читая статью «Пора ли объявить победу в подсчете сложностей?» в блоге «Потерянное письмо Годеля и P = NP» они упомянули дихотомию для CSP. После некоторой ссылки, поиска в Google и википедирования, я наткнулся на теорему Ладнера : Теорема Ладнера: если , то в N P ∖ P существуют проблемы , …
2
Каковы последствия Паритета-L = P?
Parity-L - это набор языков, распознаваемых недетерминированной машиной Тьюринга, которые могут различать только четное число или нечетное число путей «принятия» (а не нулевое или ненулевое число путей принятия), и который далее ограничено работой в логарифмическом пространстве. Решение линейной системы уравнений над ℤ 2 является полной проблемой для Паритета-L, поэтому Паритет-L …
3
Сжатые проблемы в
Исследование сжатого представления графов было начато Гальперином и Вигдерсоном в статье 1983 года, где они доказывают, что для многих простых задач, таких как нахождение треугольника на графе, соответствующая краткая версия в NPNP\mathsf{NP} -полна. Papadimitriou и Yanakkakis дальнейшее это направление исследований, и доказать , что для задачи ΠΠ\Pi , которая является …
2
Каковы последствия
Шива Кинтали только что объявил (круто!) Результат, что изоморфизм графов для ограниченных графов ширины является ⊕ L- трудным≥4≥4\geq 4⊕L⊕L\oplus L . Неофициально мой вопрос: "Насколько это сложно?" Мы знаем, что неравномерно , см. Ответы на этот вопрос . Мы также знаем, что маловероятно, что , см. Ответы на этот вопрос …
3
Последствия #P = FP
Каковы будут последствия #P = FP? Меня интересуют как практические, так и теоретические последствия. С практической точки зрения меня особенно интересуют последствия для искусственного интеллекта. Указатели на бумаги или книги более чем приветствуются. Пожалуйста, не говорите, что #P = FP подразумевает P = NP, я это уже знаю. Также, пожалуйста, …
3
Естественные проблемы в
Существуют ли какие-либо естественные проблемы в , которых нет (как известно / считается, что они есть) в ?U P ∩ c o U PNп∩ c o NпNP∩coNPNP \cap coNPUп∩ c o UпUP∩coUPUP \cap coUP Очевидно, что большая часть, о которой все знают в - это вариант факторинга для решения (не …
3
Конструктивность в естественном доказательстве и геометрической сложности
Недавно Райан Уилламс доказал, что конструктивность в естественном доказательстве неизбежно приводит к разделению классов сложности: и . N E X PNЕИксп\mathsf{NEXP}Т С0TС0\mathsf{TC}^{0} Конструктивность в естественном доказательстве - это условие, которому удовлетворяют все комбинаторные доказательства в сложности схем и что мы можем решить, обладает ли целевая функция в N E X …
4
Почему равенства между классами сложности переводятся вверх, а не вниз?
Эй, ребята, я понимаю, что уловка заполнения позволяет нам переводить классы сложности вверх - например, . Заполнение работает, «раздувая» ввод, выполняя преобразование (скажем, от к ), что приводит к «волшебному» алгоритму, который вы можете запустить на дополненном вводе. Хотя это имеет технический смысл, я не могу понять, как это работает. …
1
Что такое
Это связано с вопросом: известен ли размер свидетельства для каждого языка NP, уже известного? Некоторые естественные задачи (-complete) имеют свидетелей линейной длины: удовлетворительное назначение для S A T , последовательность вершин для H A M P A T H и т. Д.Н ПNP\mathsf{NP}SА ТSATSATЧАСА МпА ТЧАСHAMPATHHAMPATH Рассмотрим класс сложности « …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.