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

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

2
Каково эквивалентное определение mP / poly в терминах машины Тьюринга?
P / poly - это класс задач решения, решаемых семейством булевых схем полиномиального размера. В качестве альтернативы его можно определить как машину Тьюринга за полиномиальное время, которая получает строку подсказки, которая имеет полиномиальный размер по n и основана исключительно на размере n. mP / poly - это класс задач решения, …
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 Какими будут последствия несколько менее …
3
Может ли предел жестких языков быть легким?
Могут ли все последующие одновременно выполняться? LsLsL_s содержится в для всех натуральных чисел . sLs+1Ls+1L_{s+1}sss L=⋃sLsL=⋃sLsL = \bigcup_s L_s - это язык всех конечных слов над .{0,1}{0,1}\{0,1\} Существует некоторый класс сложности и понятие соответствующего сокращения для такой , что для каждого , тяжело .C s L s CCCCCCCsssLsLsL_sCCC
1
Существует ли непрерывная версия теоремы о параллельном повторении?
Теорема Раза о параллельном предсказании является важным результатом в PCP, аппроксимации и т. Д. Теорема оформилась следующим образом. Игра , где S , T , A , B - конечные множества, π - распределение по S × T и предикат V : S × T × A × B → …
6
«Естественные» разрешимые проблемы, которых нет в NP.
Каждый раз, когда я преподаю NP-Полноту, студенты спрашивают: «Есть ли проблемы, о которых известно, что они не относятся к NP?» Как бы вы ответили? Я обычно даю им неразрешимую проблему в качестве примера, но это часто не очень хорошо получается: (а) если я дам им проблему остановки, они думают, что …
2
У L есть определение в терминах цепей?
Многие классы сложности, определенные с помощью машин Тьюринга, имеют определения в терминах однородных цепей. Например, P также может быть определен с использованием схем с однородным полиномиальным размером, и аналогично BPP, NP, BQP и т. Д. Могут быть определены с помощью однородных схем. Так есть ли основанное на схеме определение L? …
1
Почему эти два определения PPAD эквивалентны?
Класс сложности PPAD обычно определяется указанием того, что End-Of-The-Line является PPAD-завершенным. End-Of-The-Line - это проблема поиска. Входные данные состоят из ориентированного графа, в котором у каждого узла максимальная и минимальная степени равны 1. Граф задается вычисляемой функцией полиномиального времени которая возвращает предшественника и преемника x . Кроме того, каждому дается …
3
Игра на нескольких графиках
Рассмотрим следующую игру на ориентированном взвешенном графе гGG с чипом в некотором узле. Все узлы гGG отмечены буквой A или B. Есть два игрока Алиса и Боб. Цель Алисы (Боба) - сдвинуть фишку к узлу, обозначенному буквой A (B). Первоначально Алиса и Боб имеют мAmAm_A и мВmBm_B долларов соответственно. Если …
1
Сложность тестирования, если два набора из
Представьте, что у нас есть два размера mmm наборов точек X,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n . Какова (временная) сложность тестирования, если они отличаются только ротацией? : существует матрица вращения OOT=OTO=IOOT=OTO=IOO^T=O^TO=I такая, что X=OYX=OYX=OY ? Здесь возникает проблема представления реальных значений - для простоты предположим, что существует (короткая) алгебраическая формула для каждой координаты, так …
1
Временные иерархии в DSPACE (O (s (n)))
Теорема иерархии времени утверждает, что машины Тьюринга могут решить больше проблем, если у них есть (достаточно) больше времени. Имеет ли это какое-то значение, если пространство ограничено асимптотически? Как DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) относится к DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) если fgfg\frac{f}{g} растет достаточно быстро? Меня особенно интересует случай, когда s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) = …
1
К какому классу сложности относится эта проблема теории чисел?
«Если , существует ли x , y ∈ N , a x 2 + b y = c » является N P -полным.a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by=cax2+by=cax^2+by=cNPNP\mathsf{NP} К какому классу сложности относится «При условии , существуют ли x , y ∈ N , a x 2 + b y 2 = c …
1
Большие классы, которые содержат LOGSPACE, для которых строгие включения неизвестны
На странице википедии на PSPACE упоминается, что включение не является строгим (к сожалению, без ссылок).NL ⊂ PЧАСNL⊂PHNL\subset PH Q1: А как насчет и L ⊂ P # P - известны ли они как строгие?L ⊂ PЧАСL⊂PHL\subset PHL ⊂ P# PL⊂P#PL\subset P^{\#P} Q2: Если нет, существует ли установленный класс который содержит …
1
Отличается ли
Можем ли мы доказать, что для любого языка который не является N P- трудным (предполагается, что P ≠ N P ), P L ≠ P SAT ? С другой стороны, это может быть доказано при любых разумных предположениях?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}
1
Подразумевает ли теорема Каннана, что NEXPTIME ^ NP ⊄ P / poly?
Я читал статью Бермана и Гомера «Суперполиномиальные цепи, почти разреженные оракулы и экспоненциальная иерархия» . В нижней части страницы 2 они отмечают, что результаты Каннана подразумевают, что NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} не имеет цепей полиномиального размера. Я знаю, что в экспоненциальной иерархии времени NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} является просто Σ2EXPΣ2EXP\Sigma_2EXP , и я также знаю, что …
1
как оракул
Имеет ли NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}удерживать? Ясно, что NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , но мне кажется, что NP∩coNPNP∩coNP\mathsf{NP\cap coNP} является «детерминированным», что заставляет меня верить, что это правда. Есть ли простое доказательство (или, может быть, просто по определению)?
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.