Perguntas com a marcação «cc.complexity-theory»

Seja uma fórmula CNF satisfatória com variáveis ​​e cláusulas . Seja o espaço de solução de .F1F1F_1m S F 1 F 1nnnmmmSF1SF1S_{F_1}F1F1F_1 Considere o problema de determinar, dada a , outra Fórmula CNF com o mesmo conjunto de variáveis ​​que , com (o mesmo espaço de solução que ), mas …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

O que se sabe sobre a complexidade exata do menor problema de supercorda? Pode ser resolvido mais rapidamente que ? Existem algoritmos conhecidos que resolvem as supercordas mais curtas sem reduzir ao TSP?O∗( 2n)O∗(2n)O^*(2^n) UPD: suprime fatores polinomiais.O∗( ⋅ )O∗(⋅)O^*(\cdot) O menor problema de supercorda é um problema cuja resposta …

18 cc.complexity-theory  ds.algorithms  graph-theory  tsp  exp-time-algorithms 

Eu acho que seria uma boa idéia fazer uma lista de teoremas afirmando que P não é igual a NP se, e somente se, tais e tais saídas, alguma classe de complexidade estiver contida em outra classe de complexidade e assim por diante.

18 cc.complexity-theory  big-list  p-vs-np 

XORification é a técnica para dificultar uma função ou fórmula booleana substituindo cada variável pelo XOR de variáveis ​​distintas . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Estou ciente dos usos dessa técnica na complexidade de provas, principalmente para obter limites inferiores de espaço para sistemas de provas baseados em resolução, …

18 cc.complexity-theory  reference-request  boolean-functions  proof-complexity 

EDIT (22 de agosto de 2011): Estou simplificando ainda mais a questão e colocando uma recompensa nela. Talvez esta pergunta mais simples tenha uma resposta fácil. Também vou rascunhar todas as partes da pergunta original que não são mais relevantes. (Obrigado a Stasys Jukna e Ryan O'Donnell por responderem parcialmente …

18 cc.complexity-theory  lower-bounds  circuit-complexity 

Trabalhar diretamente com complexidade de tempo ou limitar os limites inferiores do circuito é assustador. Por isso, desenvolvemos ferramentas como complexidade da consulta (ou complexidade da árvore de decisão) para lidar com limites inferiores. Como cada consulta executa pelo menos uma etapa da unidade e os cálculos entre as consultas …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

( n + 1 )(n+1)(n + 1) pontos são necessários para determinar exclusivamente um polinômio de graunnn ; por exemplo, dois pontos em um plano determinam exatamente uma linha. Quantos pontos são necessários para determinar exclusivamente uma função computável f: N→ Nf:N→Nf : N \rightarrow N , dada a duração …

18 cc.complexity-theory  computability 

Aqui, o objetivo é reduzir um problema arbitrário de SAT para 3-SAT em tempo polinomial usando o menor número de cláusulas e variáveis. Minha pergunta é motivada pela curiosidade. Menos formalmente, eu gostaria de saber: "Qual é a redução 'mais natural' de SAT para 3-SAT?" Agora, a redução que eu …

18 cc.complexity-theory  sat  reductions 

Penso que um teorema da hierarquia de tamanho para a complexidade do circuito pode ser um grande avanço na área. É uma abordagem interessante para a separação de classes? A motivação para a pergunta é que temos que dizer existe alguma função que não pode ser calculada pelos circuitos de …

18 cc.complexity-theory  circuit-complexity  lower-bounds  natural-proofs  hierarchy-theorems 

É sabido que se , a hierarquia polinomial entra em colapso e .P=NPP=NP\mathbf{P}=\mathbf{NP}P=PHP=PH\mathbf{P}=\mathbf{PH} Isso pode ser facilmente entendido por indução usando máquinas oracle. A questão é: por que não podemos continuar o processo indutivo além de um nível constante de alternância e provar (também conhecido como )?P=AltTime(nO(1))P=AltTime(nO(1))\mathbf{P}=\mathbf{AltTime}(n^{O(1)})AP=PSPACEAP=PSPACE\mathbf{AP}=\mathbf{PSPACE} Estou procurando uma …

18 cc.complexity-theory  polynomial-hierarchy  intuition 

É verdade que existem problemas na hierarquia polinomial solucionáveis ​​no tempo (por uma máquina de Turing alternada em algum nível da hierarquia polinomial) que não são solucionáveis ​​em em algum nível da hierarquia polinomial? Em outras palavras - existe um teorema da hierarquia de tempo para a hierarquia polinomial como …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

Estou correto ao entender que provar que um NP está completo é um sucesso de pesquisa? Se sim, por quê?

18 cc.complexity-theory  np-hardness  big-picture 

A teoria da complexidade parece capturar algo fundamental sobre a estrutura do universo, na medida em que formaliza a noção intuitiva de que alguns problemas são mais difíceis do que outros. Scott Aaronson previu : "A NP Hardness Assumption será vista como análoga à Segunda Lei da Termodinâmica ou à …

18 cc.complexity-theory  soft-question  big-picture 

Alguém sabe sobre um resultado de completude de NP para o problema DOMINATING SET em gráficos, restrito à classe de gráficos bipartidos planares de grau máximo 3? Eu sei que é NP-completo para a classe de gráficos planares de grau máximo 3 (veja o livro de Garey e Johnson), bem …

18 cc.complexity-theory  graph-theory 

Recentemente, Watrous et al provaram que QIP (3) = PSPACE é um resultado notável. Este foi um resultado surpreendente para mim, para dizer o mínimo, e isso me fez pensar ... Eu me perguntava e se os Computadores Quânticos pudessem ser eficientemente simulados pelos Computadores Clássicos. Isso poderia estar SIMPLESMENTE …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs