Вопросы с тегом «conditional-results»

Добавьте X в качестве гипотезы, где X, как известно, не является истинным или ложным.

4
Проблемы, которые можно использовать, чтобы показать результаты твердости за полиномиальное время
При разработке алгоритма для новой задачи, если я не смогу найти алгоритм полиномиального времени через некоторое время, я мог бы попытаться доказать, что он NP-сложный. Если мне это удастся, я объяснил, почему я не смог найти алгоритм полиномиального времени. Не то, чтобы я точно знал, что P! = NP, просто …
2
Можно ли усилить P = NP за пределами P = PH?
В описательной сложности Иммерман имеет Следствие 7.23. Следующие условия эквивалентны: 1. P = NP. 2. Над конечными упорядоченными структурами FO (LFP) = SO. Это можно рассматривать как «усиление» P = NP до эквивалентного утверждения над (предположительно) классами большей сложности. Обратите внимание, что SO захватывает иерархию PH полиномиального времени, а FO …
4
Каковы последствия
Мы знаем, что L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} и что L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , где L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Мы также знаем , что polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}потому что у последнего есть полные проблемы при логарифмическом пространстве многократных сокращений, в то время как у первого нет …
3
Имеет
Насколько я понимаю, программа теории геометрической сложности пытается разделить , доказав, что постоянство комплексной матрицы гораздо сложнее вычислить, чем определитель.VP≠VNPVP≠VNPVP \neq VNP Вопрос, который у меня возник после просмотра документов GCT: будет ли это сразу означать , или это просто важный шаг к этой цели?P≠NPP≠NPP \neq NP
3
NC = P последствия?
Сложность Zoo указывает в записи на EXP, что если L = P, то PSPACE = EXP. Поскольку NPSPACE = PSPACE от Savitch, насколько я могу судить, нижележащий аргумент отступа расширяется, чтобы показать, что Мы также знаем, что L NL NC P через ограниченную по ресурсам чередующуюся иерархию.(NL=P)⇒(PSPACE=EXP).(NL=P)⇒(PSPACE=EXP).(\text{NL} = \text{P}) \Rightarrow …
3
Последствия факторинга в П?
Факторинг не известен как NP-полный. Этот вопрос задавался о последствиях факторинга, являющегося NP-полным. Любопытно, что никто не спрашивал о последствиях факторинга в P (возможно, потому что такой вопрос тривиален). Итак, мои вопросы: Какими будут теоретические последствия факторинга в P? Как такой факт повлияет на общую картину классов сложности? Каковы будут …
2
Последствия
Как любитель TCS, я читаю некоторые очень вводные материалы по квантовым вычислениям. Вот несколько элементарных кусочков информации, которые я узнал до сих пор: Известно, что квантовые компьютеры не решают NP-полных задач за полиномиальное время. «Квантовой магии будет недостаточно» (Беннетт и др., 1997): если вы отбросите структуру проблемы и просто рассмотрите …
2
Статус миров Импальяццо?
В 1995 году Рассел Импальяццо предложил пять миров сложности: 1- Алгоритмика: со всеми удивительными последствиями.P=NPP=NPP=NP 2- Эвристика: -полные проблемы трудны в худшем случае ( P ≠ N P ), но эффективно решаемы в среднем случае.NPNPNPP≠NPP≠NPP \ne NP 3- Пессиланд: Существуют -полные проблемы среднего случая, но односторонних функций не существует. Это …
4
Твердость аппроксимации при условии NP! = CoNP
Два общих предположения для доказательства твердости результатов аппроксимации - это и гипотеза об уникальных играх. Есть ли какая-либо сложность результатов аппроксимации, предполагающих ? Я ищу проблему такую, что «трудно приблизить пределах коэффициента если ».N P ≠ c o N P A A α N P = c o N Pп≠ …
5
Доказательства того, что PPAD сложно?
Существует часто цитируемое философское обоснование полагать, что P! = NP даже без доказательств. Другие классы сложности имеют доказательства того, что они различны, потому что если нет, то будут «удивительные» последствия (например, крах полиномиальной иерархии). Мой вопрос: на чем основано убеждение, что класс PPAD неразрешим? Если бы существовал алгоритм полиномиального времени …
3
Последствия существования сильно полиномиального алгоритма для линейного программирования?
Одним из основных принципов разработки алгоритма является нахождение сильно полиномиального алгоритма для линейного программирования, т. Е. Алгоритма, время выполнения которого ограничено полиномом по числу переменных и ограничений и не зависит от размера представления параметров (при условии арифметика удельной стоимости). Будет ли решение этого вопроса иметь значение за пределами лучших алгоритмов …
4
Последствия NP = PSPACE
Каковы будут неприятные последствия NP = PSPACE? Я удивлен, что ничего не нашел по этому поводу, учитывая, что эти классы являются одними из самых известных. В частности, будет ли это иметь последствия для низших классов?
3
Решение проблемы, которая, как известно, не находится в PH, но будет в P, если P = NP
Изменить : Как правильно указал Рави Боппана в своем ответе, и Скотт Ааронсон также добавил еще один пример в своем ответе , ответ на этот вопрос оказался «да» таким образом, которого я вообще не ожидал. Сначала я подумал, что они не ответили на вопрос, который я хотел задать, но, подумав, …
2
Причины верить (или нет)
Этот вопрос перенесен из Биржи стеков информатики, потому что на него можно ответить в Теоретической бирже информатики. Мигрировал 6 лет назад . Кажется, что многие люди считают, что , отчасти потому, что они считают, что факторинг не является разрешимым с помощью политикана. (Шива Кинтали перечислил несколько других проблем кандидата здесь …
2
Каковы последствия Паритета-L = P?
Parity-L - это набор языков, распознаваемых недетерминированной машиной Тьюринга, которые могут различать только четное число или нечетное число путей «принятия» (а не нулевое или ненулевое число путей принятия), и который далее ограничено работой в логарифмическом пространстве. Решение линейной системы уравнений над ℤ 2 является полной проблемой для Паритета-L, поэтому Паритет-L …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.