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

Sabemos que a hierarquia não colapso ( para todos os d )?TC0TC0\mathsf{TC^0} dTC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd A entrada Zoo para TC0TC0\mathsf{TC^0} menciona apenas a separação entre as profundidades 2 e 3. Também existe uma referência padrão para o fato de que a hierarquia AC0dACd0\mathsf{AC^0_d} não diminui ?

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

é amplamente conjecturado ser falsa.RP=NPRP=NPRP = NP Mas imagine por um momento que seja verdade. Nesse caso, qual a probabilidade de ?P=NPP=NPP = NP Em outras palavras: em um mundo onde , o que ainda pode ser visto como um obstáculo para acreditarmos em P = N P ?RP=NPRP=NPRP = …

12 cc.complexity-theory  complexity-classes  conditional-results 

Eu li em SP Jordan, D. Gosset, "PJ Amor -Complete problemas para Hamiltonians stoquastic e matrizes de MarkovQ MUMAQMAQMA " que é improvável que .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Fiquei surpreso com essa afirmação. Então, qual é a relação adequada entre e A M ?Q MUMAQMAQMAA MAMAM

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

Enquanto trabalhava em um projeto não relacionado para a Suresh, deparei-me recentemente com alguns trabalhos realizados por Page e Opper sobre sistemas compostos pelo usuário e uma parte de seu trabalho discutiu brevemente problemas que não podem ser verificados em tempo polinomial. Não consegui encontrar muita informação sobre outros problemas …

12 cc.complexity-theory  complexity-classes 

O resultado de Baker-Gill-Solovay mostrou que a questão P = NP não se relativiza, no sentido de que nenhuma prova relativizante (insensível à presença de um oráculo) pode resolver a questão P = NP. Minha pergunta é: Existe um resultado semelhante para a pergunta "Existe um problema de PH completo?" …

12 cc.complexity-theory  complexity-classes 

O papel Lauri Hella e José María Turull-Torres, Consultas de computação com lógicas de ordem superior , TCS 355 197-214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propõe lógica VO, lógica de ordem variável. Isso permite a quantificação de pedidos sobre as variáveis. O VO é bastante poderoso e pode expressar algumas …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

Que outros problemas de linguagem diferentes do isomorfismo de grafos existem em ? Você pode dar algumas referências?NP∩coAMNP∩coAMNP\cap coAM Update: Esqueci de mencionar que eu estou interessado em línguas desconhecidas para a .coNPcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Quais são algumas afirmações (não conhecidas) de que, se verdade, o PH deve entrar em colapso? Respostas que contenham uma breve declaração de alto nível com referência (s) são apreciadas. Tentei fazer uma pesquisa reversa sem muita sorte.

12 cc.complexity-theory  complexity-classes  big-list 

Qual é a largura mínima da árvore de um circuito acima de para calcular o MAJ?{∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} Aqui MAJ gera 1 se pelo menos metade de suas entradas for .1:{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\}111 Preocupo-me apenas com o tamanho do circuito (deve ser polinomial) e que uma entrada seja lida apenas uma vez, …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

Sabemos que se , todo o PH entra em colapso. E se a hierarquia polinomial entrar em colapso parcial? (Ou como entender que o PH poderia entrar em colapso acima de um certo ponto e não abaixo?)P= NPP=NPP=NP Em palavras, quais seriam as consequências de e ?P ≠ N PNP= …

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

A pergunta a seguir usa idéias da criptografia aplicada à teoria da complexidade. Dito isso, é uma questão puramente teórica da complexidade e nenhum conhecimento criptográfico é necessário para respondê-lo. Eu deliberadamente escrevo essa pergunta de maneira muito informal. Na falta de detalhes, é possível afirmar um pouco incorretamente. Sinta-se …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

Por http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Se é uma linguagem PSPACE-completo, P A = N P A .UMAAAPUMA= NPUMAPA=NPAP^{A}=NP^{A} Se é um oráculo determinístico de tempo polinomial, P B ≠ N P B (assumindo P ≠ N P ).BBBPB≠ NPBPB≠NPBP^{B}\ne NP^{B}P≠ NPP≠NPP\ne NP é a classe de problemas de decisão analógica para # P …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

Eu tenho parte de uma tentativa de prova de . A tentativa prova consiste numa redução do Karp problema -completo cobertura de vértices 3-regular para sab.⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus Dado um gráfico cúbico , a redução gera uma fórmula CNF com as duas propriedades a seguir:GGGFFF FFF tem no …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

Do teorema da hierarquia espacial, sabe-se que, se é construtível em espaço, DSPACE ( ) não é igual a DSPACE ( .fff2 f ( n )2f(n)2f(n)2f(n)f(n))f(n))f(n)) Aqui, por DSPACE ( quero dizer a classe de todos os problemas que podem ser resolvidos no espaço por uma máquina de Turing com …

11 cc.complexity-theory  complexity-classes 

É NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}} ? Ou, de maneira mais geral, NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly} ?

11 complexity-classes