Perguntas com a marcação «complexity-classes»

Um AT apareceu hoje para perguntar algumas coisas sobre NP e co-NP. Também chegamos a um ponto em que fiquei perplexo: como é o diagrama de Venn de P, NPI, NP e co-NP assumindo P ≠ NP (o outro caso é chato)? Parece haver quatro opções básicas. NP ∩ co-NP …

8 complexity-theory  reference-request  complexity-classes  np 

Suponha ΠΠ\Pi é um problema de decisão decidível. Faz ¸ ∉ NPΠ∉NP\Pi\not \in NP implicar ΠΠ\Pi é NPNPNP-Difícil? Edit: se assumirmos que existe ¸ ∈ c o NP∖ NPΠ∈coNP∖NP\Pi\in coNP\setminus NPentão terminamos. Podemos refutar a reivindicação sem suposições desconhecidas?

8 complexity-theory  np-hard  complexity-classes  np 

A classe de Nick (NC) é a classe de problemas que podem ser resolvidos em tempo de poliolog usando um número polinomial de processadores. Quero saber sobre o analógico exponencial, que abrangeria problemas que podem ser decididos em tempo polinomial usando um número exponencial de processadores. O que estou procurando …

8 complexity-theory  reference-request  parallel-computing  complexity-classes 

Quando o famoso teorema de Savitch é declarado, muitas vezes se vê a exigência de que S( N )S(n)S(n)seja espaço construtível (curiosamente, é omitido na Wikipedia). Minha pergunta simples é: por que precisamos disso? Eu entendo o requisito paraS( N )S(n)S(n) estar em Ω ( logn )Ω(log⁡n)\Omega(\log n), o que …

8 complexity-theory  space-complexity  complexity-classes  nondeterminism 

Existe algum problema de decisão em uma classe de complexidade incluída corretamente no DLOGTIME? (exceto , é claro)O(1)O(1)O(1) Se houver, podemos criar problemas completos para o DLOGTIME? Então, pode haver redução em ou menor?O(log(logn))O(log⁡(log⁡n))O(\log(\log n))

8 complexity-theory  time-complexity  complexity-classes 

Sabemos que são equivalentes e a hierarquia polinomial cai para o nível.PP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/polyPP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/poly\mathsf{PP=RP},\mathsf{coPP=coRP},\mathsf{PP=coPP=coRP=RP=ZPP=BPP\subseteq P/poly}222 Quais são os outros colapsos e consequências não triviais?

7 complexity-theory  complexity-classes 

A classe fechada sob complemento ou é desconhecida? Procurei online, mas não consegui encontrar nada.NPNP\sf NP

7 complexity-theory  closure-properties  complexity-classes  np 

Não consigo conceber nenhum problema que possa ser resolvido em tempo exponencial, mas não possa ser verificado em tempo polinomial.

7 complexity-classes 

É sabido que qualquer fórmula CNF pode ser transformada em tempo polinomial em uma fórmula 3-CNF usando novas variáveis ​​( veja aqui ). Se o uso de novas variáveis ​​não for permitido, isso nem sempre é possível (por exemplo, a fórmula da cláusula única:(x1 1∨x2∨x3∨x4)(x1 1∨x2∨x3∨x4)(x_1 \lor x_2 \lor x_3 …

7 complexity-theory  satisfiability  decision-problem  complexity-classes 

Para continuar este post , vamos definir o problema Monotone -SAT:(+,2−)(+,2−)(+, 2^-) Dada uma fórmula monótona de CNF , em que cada variável aparece exatamente uma vez (como um literal positivo) e uma fórmula monotônica de 2-CNF definida nas mesmas variáveis ​​que , onde todas as variáveis ​​são negadas. É …

7 complexity-theory  np-complete  decision-problem  complexity-classes 

É claro que qualquer idioma em pode ser calculado em .EXPEXPEXPEXP\mathsf{EXP}^{\mathsf{EXP}}2EXP=DTime(22poly(n))2EXP=DTime(22poly(n))\mathsf{2EXP} = \mathsf{DTime}(2^{2^{\mathsf{poly}(n)}}) Minha pergunta é se o inverso é verdadeiro: is ?2EXP⊆EXPEXP2EXP⊆EXPEXP\mathsf{2EXP} \subseteq \mathsf{EXP}^{\mathsf{EXP}}

7 complexity-theory  complexity-classes 

Quero saber se esse problema é solucionável em tempo polinomial ou não? O problema é: Dada uma matriz com valor inteiro não negativo de tamanho dois números inteiros não negativos e .2×n2×n2\times nb&lt;nb&lt;nb<nccc A questão é: Encontre um subconjunto das colunas de cardinalidade no máximo modo que a soma de …

2 algorithms  complexity-classes