Вопросы с тегом «cc.complexity-theory»

Более чем 1,5-летняя гипотеза Римана имеет глубокие следствия в математике, и большое доказательство математической теории в настоящее время доказано условно и многочисленными вариантами. Недавно я наткнулся на ссылку на условный результат в TCS, основанный на гипотезе Римана. Поэтому мне интересно, Каковы основные последствия гипотезы Римана в TCS? В качестве начала …

10 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

Мой вопрос касается квантовых алгоритмов для расчетов КЭД (квантовой электродинамики), связанных с константами тонкой структуры. Такие вычисления (как мне объяснили) равносильны вычислению рядов, подобных Тейлору где - постоянная тонкой структуры (около 1/137), а - вклад диаграмм Фейнмана с циклами. ∑ckαk,∑ckαk,\sum c_k\alpha^k,αα\alphackckc_kkkk Этот вопрос был мотивирован комментарием Питера Шора (о QED …

10 cc.complexity-theory  quantum-computing  physics 

Используя модель real-RAM / BSS, мы имеем класс NP (где BSS - это модель компьютера Блума-Шуб-Смейла с операциями над реалами). У нас есть NP полные проблемы. Итак, вопрос в том, существует ли аналог гипотезы Бермана Хартманиса для класса NP ? Конечно, поставленный здесь вопрос зависит от модели - иными словами, …

10 cc.complexity-theory  computing-over-reals 

Существуют ли проблемы, которые разрешимы за полиномиальное время, только если P! = NP, и иначе разрешимы за (скажем) времени?O(2n)O(2n)O(2^n) Простым примером может быть: Если P! = NP, вычислите тест на простоту для случайного n-разрядного числа, в противном случае оцените случайную позицию наихудшего случая в обобщенных шахматах доски nxn с 2n …

10 cc.complexity-theory  reference-request 

Каково стандартное определение Planar 3-SAT? Я видел много разных определений. Какая оригинальная статья определила ее и доказала, что она является NP-полной?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

В разделе «Расширенные темы по типам и языкам программирования» в главе, посвященной системам субструктурных типов, упоминается, что «тщательно разработанное» аффинное лямбда-исчисление с рекурсивным комбинатором для списков может вводить только те термины, которые имеют полиномиальное время выполнения (это не представить доказательства в силу сложности). Это было бы очень интересно, если бы …

10 cc.complexity-theory  type-theory  lambda-calculus 

Я наткнулся на открытую проблему, поставленную Дэвидом Эппштейном, и меня интересует ее сложность. Он предположил, что он NP-завершен. Ввод: по n матриц 0 и 1, последовательность n 2 0 и 1nnnnnnn2n2n^2 Вопрос: существует ли путь через соседние элементы матрицы, охватывающий каждую запись матрицы ровно один раз, значения которых соответствуют заданной …

10 cc.complexity-theory  graph-theory 

Давайте назовем язык NP редко сертифицированным тогда и только тогда, когда:L ∈L∈L \in Существует такой многочлен , что для каждого входа x ∈ Σ ∗ размера n , если x ∈ L, то множество U x сертификатов u, которые проверяют, что x ∈ L имеет полиномиальный размер, т. Е. | …

10 cc.complexity-theory  complexity-classes 

Учитывая направленный граф, мы хотим решить, содержит ли он направленный цикл четной длины. В этой статье 1997 года, написанной YUSTER и ZWICK, утверждается, что проблема не в том, что она находится в а также в том, что она не является N P -полной.ппPNпNпNP Есть ли какой-либо недавний результат, который разрешает …

10 cc.complexity-theory  reference-request  graph-theory 

Если мы можем доказать, что , означает ли это, что ?L=PL=P\mathsf{L}=\mathsf{P}NL=NPNL=NP\mathsf{NL}=\mathsf{NP} Я думал, что это так, но я не могу доказать это (также для обратного).

10 cc.complexity-theory  complexity-classes  nondeterminism 

У меня есть следующая проблема: Вход: два набора интервалов и T (все конечные точки являются целыми числами). Вопрос: существует ли монотонная биекция f : S → T ?SSSTTTе: S→ Tf:S→Tf:S \to T Биекция монотонна WRT порядка включения множества на и T . ∀ X ⊆ Y ∈ S , f …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

Я пытался понять эти классы, но всегда запутался ... вопросы: Какова связь между и , в частности это открытый вопрос?FNPFNPFNP#P#P\#P Какое отношение имеют и ? этот вопрос открыт?⊕P⊕P\oplus PNPNPNP Как насчет отношений между и ? этот вопрос открыт?PHPHPHPFNPPFNPP^{FNP}

10 cc.complexity-theory 

Покрывающее дерево графа называется деревом полноты, если множество его листьев индуцирует полный подграф в графе хоста. Учитывая граф и целое число , какова сложность определения, содержит ли дерево полноты с максимум листами?ггGККkггGККk Причина для того, чтобы задать этот вопрос, состоит в том, что соответствующая проблема для деревьев независимости является NP-полной, …

10 cc.complexity-theory  graph-theory  graph-algorithms 

Для заданного набора из точек в d- мерном евклидовом пространстве задача состоит в том, чтобы определить, содержит ли выпуклая оболочка единичный шарик с центром в начале координат.NNnddd Эта проблема в NP? Это в co-NP, поскольку можно указать точку в шаре вне выпуклой оболочки в качестве свидетеля и проверить этот факт …

10 cc.complexity-theory  cg.comp-geom 

Является ли граф изоморфизмом (проблемой решения) в ? Здесь U P - класс решений проблем, принимаемых однозначной машиной Тьюринга (см. Зоопарк сложности ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}

10 cc.complexity-theory  graph-isomorphism