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

Существует ли какой-либо текущий проект по формальной проверке теорем и доказательств теории сложности с использованием помощника по доказательствам, такого как Coq? Есть ли границы для этого?

18 cc.complexity-theory  complexity  proof-assistants 

Или, другими словами, у нас есть это для каждого языка и , или ?B A ≤ p B B ≤ p AAAAВВBA ≤пВA≤пВA \leq_p BB ≤пAВ≤пAB \leq_p A

15 reductions  complexity 

Существует ли , NP- или P-полный язык, имеющий некоторое семейство групп симметрии (или группоид , но тогда алгоритмические вопросы становятся более открытыми), действующий (за полиномиальное время) на множествах такой, что орбит мало, т. е. такой, что для достаточно больших и некоторого c , и таких, что G_n может быть сгенерирован …

14 np  algebra  gr.group-theory  complexity  symmetry 

В игре с камушками на линии есть N + 1 узлы, обозначенные от 0 до N. Игра начинается с камешка на узле 0. Если на узле i есть камушек, вы можете добавить или удалить камешек из узла i + 1. Цель состоит в том, чтобы поместить гальку в узел N, …

13 complexity  reversible-computing 

Известно , что если NP⊆P/PolyNP⊆P/PolyNP\subseteq P/Poly то многочлен иерархии коллапсирует ΣP2Σ2P\Sigma_2^{P} и MA=AMMA=AMMA = AM . Какие самые сильные коллапсы могут произойти, если ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq P/Poly

13 circuit-complexity  complexity 

В своей книге « Вычислительная сложность» Пападимитриу определяет FNP следующим образом: Предположим, что LLL является языком в NP . Согласно предложению 9.1, существует многочлен время разрешимо, полиномиальные сбалансировано соотношение RLRLR_L таких , что для всех строк xxx : Существует строку yyy с RL(x,y)RL(x,y)R_L(x,y) , если и только если x∈Lx∈Lx\in L …

13 complexity 

В статье Стивена Кука о проблеме P против NP [1] он утверждает следующее [2]: Тезис осуществимости: естественная задача имеет выполнимый алгоритм, если он имеет алгоритм полиномиального времени. У меня вопрос, что именно он (или вообще, на самом деле, что один) подразумевает под « естественной проблемой»? Разговоры о естественных проблемах кажутся …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

Означает ли тот факт, что проблема полна по времени EXP, означает, что A не находится в D T I M E ( 2 o ( n ) ) ?AAAAAAД ТяMЕ( 2o ( n ))DTIME(2o(n))DTIME(2^{o(n)}) Мне известно, что по теореме временной иерархии не входит в E = D T I M …

10 exp-time-algorithms  complexity 

КРАТКИЙ ВОПРОС: Является ли MAJ-3CNF PP-полной проблемой при сокращении многие-один? ДОПОЛНИТЕЛЬНАЯ ВЕРСИЯ: Общеизвестно, что MAJSAT (решающий, удовлетворяет ли большинство назначений пропозиционального предложения) PP-завершено при сокращениях много-один, а #SAT # P-завершено при сокращениях. Также очевидно, что # 3CNF (то есть #SAT, ограниченный формулами 3-CNF) является # P-полным, поскольку сокращение Кука-Левина экономно …

10 counting-complexity  complexity  probabilistic-complexity 

Учитывая сильные генераторы для группы ( G ≤SN, * )(G≤Sn,∗)(G \leq S_n, *) действуя на нити длины Nnn и элемент s ∈ { 0 , 1}Ns∈{0,1}ns \in \{0, 1\}^nНасколько сложно вычислить лексикографически минимальный элемент G . sG.sG.sорбита sss в гGG?

9 permutations  gr.group-theory  complexity 

У нас есть проблема, и мы нашли алгоритм, который выглядит как 2-nexptime. Я хотел бы найти известные 2-nexptime-полные проблемы, чтобы найти нижнюю границу. В литературе я обнаружил в основном две такие проблемы: будет ли PCP как решение размером меньше 22N22N2^{2^n} и проблема вспашки для квадрата размера 22N22N2^{2^n} Однако я не …

9 complexity-classes  time-complexity  complexity 

Не известно, содержится ли NEXP в P / poly. Действительно, доказательство того, что NEXP отсутствует в P / poly, может иметь некоторые применения в дерандомизации. Каков наименьший равномерный класс C, для которого можно доказать, что C не содержится в P / poly? Если бы показ, что со-NEXP не содержится в …

9 complexity