Perguntas com a marcação «np»

Estou interessado na generalização natural do famoso quebra-cabeça 15 , onde você tem que deslizar os blocos até classificar todos os números (geralmente existe uma diferença de 1 bloco). Agora, a generalização seria estender o tamanho do quebra-cabeça de 15 para , onde um campo está livre. Eu criei uma …

35 cc.complexity-theory  np  np-complete 

A pergunta sobre a história " O que é NP restrito a testemunhas de tamanho linear? " Pergunta sobre a classe NP restrita a testemunhas de tamanho linear O ( n )O(n)O(n) , mas Existem problemas naturais de NP completos nos quais (sim) instâncias de tamanho nnn exigem testemunhas de …

28 cc.complexity-theory  np  proof-complexity 

Editar : Como Ravi Boppana corretamente apontou em sua resposta e Scott Aaronson também acrescentou outro exemplo em sua resposta , a resposta a essa pergunta acabou sendo "sim" de uma maneira que eu não esperava. Primeiro, pensei que eles não responderam à pergunta que eu queria fazer, mas, depois …

28 cc.complexity-theory  conditional-results  np  polynomial-hierarchy 

Existe um exemplo de uma linguagem que está em NPNPNP , mas onde não podemos provar este fato diretamente ao mostrar que existe uma testemunha polinomial para a adesão nesta língua? Em vez disso, o fato de o idioma estar no seria comprovado reduzindo-o para outro idioma no , onde …

27 reductions  np 

Esta questão foi migrada do Computer Science Stack Exchange porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 6 anos . Parece que muitas pessoas acreditam que P≠NP∩coNPP≠NP∩coNPP \ne NP \cap coNP , em parte porque acreditam que o fatoramento não é passível de solvência. (Shiva Kintali …

27 cc.complexity-theory  np  conditional-results 

Peter Shor mostrou que dois dos mais importantes problemas intermediários de NP, fatoração e o problema de log discreto, estão no BQP. Por outro lado, o algoritmo quântico mais conhecido para SAT (busca de Grover) produz apenas uma melhoria quadrática em relação ao algoritmo clássico, sugerindo que problemas de NP-completos …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

Existem problemas naturais no que não são (se sabe / são) no ?U P ∩ C o U PNP∩ c o NPNP∩coNPNP \cap coNPvocêP∩ c o UPUP∩coUPUP \cap coUP Obviamente, o grande problema que todos conhecem no é a versão de decisão do fatoração (não tem um fator de tamanho …

26 cc.complexity-theory  complexity-classes  np 

Existe uma linguagem NP completa (de preferência natural) L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^* , de modo que para cada seja ? Em outras palavras, contém precisamente metade de todas as instâncias de bits.n≥1n≥1n\geq 1 L n|L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1}LLLnnn

25 cc.complexity-theory  np  np-complete 

Esta resposta para os principais problemas não resolvidos em ciência da computação teórica? pergunta afirma que está aberto se um problema específico no NP exigir tempo .Ω ( n2)Ω(n2)\Omega(n^2) Observar os comentários em resposta me fez pensar: Além do preenchimento e de truques semelhantes, qual é o limite inferior da …

25 cc.complexity-theory  np  p-vs-np 

Isso está relacionado à pergunta O tamanho da associação de testemunhas para cada idioma NP já é conhecido? Alguns problemas naturais de N PNP\mathsf{NP} (completos) têm testemunhas de comprimento linear: uma tarefa satisfatória para SA TSATSAT , uma sequência de vértices para , etc.HA MPA THHAMPATHHAMPATH Considere a classe de …

24 cc.complexity-theory  complexity-classes  np 

O acesso a um oráculo forneceria uma grande aceleração super polinomial para tudo em (assumindo que o conjunto não esteja vazio). No entanto, é menos claro quanto beneficiaria desse acesso ao oracle. Obviamente, a aceleração em não pode ser super-polinomial, mas ainda pode ser polinomial. Por exemplo, poderíamos encontrar um …

23 cc.complexity-theory  np  np-complete 

O Theoem de Karp-Lipton afirma que se , então colapso em . Portanto, assumindo separações entre e , nenhum pertencerá a .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yN P ⊂ P / p o l yNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}P …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

Em seu artigo (p. 503), Garey e Johnson comentam: ... pode haver um problema de NP-completo que não é nem NP-completo no sentido forte nem solucionável por um algoritmo de tempo pseudo-polinomial ... Alguém conhece alguns problemas de candidatos com as propriedades mencionadas acima? Penso que a possível resposta a …

19 ds.algorithms  np-hardness  np 

O problema de decisão CNF-SAT pode ser descrito da seguinte maneira: Entrada: uma fórmula booleana na forma normal conjuntiva.ϕϕ\phi Pergunta: Existe uma atribuição de variável que satisfaça ?ϕϕ\phi Estou considerando várias abordagens diferentes para resolver o CNF-SAT com uma máquina de Turing de duas fitas não determinística . Eu acredito …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Existe um exemplo explícito conhecido de um algoritmo com a propriedade tal que, se P≠NPP≠NPP\neq NP , esse algoritmo não é executado no tempo polinomial e se P=NPP=NPP=NP , ele é executado no tempo polinomial?

18 ds.algorithms  np  p-vs-np