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

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

5
Математическое значение гипотез теории сложности вне TCS
Знаете ли вы интересные последствия (стандартных) гипотез в теории сложности в других областях математики (т.е. вне теоретической информатики)? Я бы предпочел ответы где: гипотеза теории сложности является как можно более общей и стандартной; Я также согласен с последствиями сложности конкретных проблем, но было бы неплохо, если бы общепризнанно, что проблемы …
4
Какие конкретные доказательства существуют для P = RP?
RP - это класс проблем, решаемых недетерминированной машиной Тьюринга, которая завершается за полиномиальное время, но также допускается односторонняя ошибка. P - это обычный класс задач, разрешимых детерминированной машиной Тьюринга, которая заканчивается за полиномиальное время. P = RP следует из отношения в сложности схемы. Impagliazzo и Wigderson показали, что P = …
1
Последствия ?
Хотя теорема Адлемана показывает, что , мне неизвестна литература, исследующая возможное включение . Какие теоретически сложные последствия будет иметь такое включение?B Q P ⊆ P / полиB P P ⊆ P / полиBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}B Q P ⊆ P / полиBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} Теорема Адлемана иногда называется «прародителем аргументов дерандомизации». …
1
Проблемы в NP, но не в Average-P / poly
Теорема Карпа – Липтона утверждает, что если , то P H разрушается до Σ P 2 . Следовательно, при условии разделения между Σ P 2 и Σ P 3 , никакая N P -полная проблема не будет принадлежать P / p o l y .N P ⊂ P / p …
1
Последствия UP равняются NP
РЕДАКТИРОВАТЬ в 2011/02/08: После того, как некоторые ссылки были найдены и прочитаны, я решил разделить оригинальный вопрос на два отдельных. Вот часть, касающаяся UP vs NP, для части синтаксических и семантических классов см. Преимущества для синтаксических и семантических классов . UPUP\mathsf{UP} (однозначное полиномиальное время, см. вики и зоопарк для ссылок) …
4
Если P = BQP, означает ли это, что PSPACE (= IP) = AM?
Недавно Ватроус и др. Доказали, что QIP (3) = PSPACE - замечательный результат. Это был удивительный результат для меня, если не сказать больше, и это заставило меня задуматься ... Я задавался вопросом, что если бы Quantum Computers могла эффективно моделироваться классическими компьютерами. Может ли это быть просто связано с разрывом …
1
Какие доказательства у нас есть для ?
Следуя предложению Джоша Грохова, я превращаю свой комментарий из предыдущего вопроса в новый. Какие доказательства у нас есть для ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} Здесь - это класс языков, распознаваемых недетерминированными машинами Тьюринга за полиномиальное время, которые имеют уникальный путь принятия в экземплярах "да" и нет пути принятия в экземплярах "нет".UPUP\mathsf{UP} Очевидно, …
1
vs
В нашей недавней работе мы решили вычислительную проблему, возникшую в комбинаторном контексте, исходя из предположения, что , где - это -версия . Единственной найденной нами статьей о была статья Бейгеля-Бурмана-Фортнау 1998 года , в которой упоминается комплексный зоопарк . Мы понимаем, что можем взять версии задач (см. Этот вопрос ), …
3
Каковы будут последствия PH = PSPACE?
Недавний вопрос (см Последствия NP = PSPACE ) просил для "противных" последствий . Перечисляют ответы немало последствий обрушения, в том числе N P = C O N P и другие, обеспечивая множество причин полагать N P ≠ P S P A C E .NP=PSPACENP=PSPACENP=PSPACENP=coNPNP=coNPNP=coNPNP≠PSPACENP≠PSPACENP\neq PSPACE Какими будут последствия несколько менее …
1
L / P / PSpace против P / NP
в 1979 году Хопкрофт / Ульман написал, что L ⊆ P ⊆ NP ⊆ PSpace известно, но L ⊊ PSpace является единственным известным (и тривиальным) сдерживанием, известным, хотя все предполагаются как надлежащие сдерживания, и «где вещи все еще стоят» ~ 4 десятилетия спустя , с тех пор существует ли какая-либо …
1
Есть ли у P / poly NP / poly какие-либо интересные последствия?
P/poly=NP/polyP/poly=NP/polyP/poly = NP/poly означает , что, в свою очередь, имеет интересные последствия, такие как коллапс полиномиальной иерархии.NP⊆P/polyNP⊆P/polyNP \subseteq P/poly Есть ли интересные последствия для ?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/poly
1
Консенсус по P = NP в мире, где RP = NP
широко предположительно, чтобы быть ложным.R P= NпRP=NPRP = NP Но представьте на мгновение, что это правда. В таком случае, насколько вероятно, что ?п= NпP=NPP = NP Другими словами: в мире, где , что еще может помешать нам верить P = N P ?R P= NпRP=NPRP = NPп= NпP=NPP = NP
4
Последствия
Мы знаем, что если то весь PH разрушается. Что если полиномиальная иерархия частично разрушится? (Или как понять, что PH может рухнуть выше определенной точки, а не ниже?)п= NпP=NPP=NP Короче говоря, каковы будут последствия и P ≠ N P ?Nп= с о нпNP=coNPNP=coNPп≠ NпP≠NPP\ne NP
2
Следствие PIT над
Учитывая , таким образом, что коэффициенты р , д ограничены B , имеет р ≡ Q удержание ?p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p,qp,qp,qBBBp≡qp≡qp\equiv q Здесь применима лемма Шварца-Циппеля, поскольку она справедлива для общих полей и и для этой задачи существует эффективный рандомизированный алгоритм.Z⊂QZ⊂Q\Bbb Z\subset\Bbb Q Мы ожидаем, что эта проблема будет иметь эффективную …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.