NP significa tempo polinomial não determinístico.
É a minha primeira pergunta neste site. Estou fazendo um curso de mestrado em teoria da computação. Como você explicaria o problema de P = NP a uma criança de 10 anos e por que ela tem uma recompensa tão monetária? Sua opinião? Vou atualizar a pergunta quando minha cabeça ficar...
Às vezes, afirma-se que a Teoria da Complexidade Geométrica de Ketan Mulmuley é o único programa plausível para resolver as questões abertas da teoria da complexidade, como a questão P vs. NP. Houve vários comentários positivos de famosos teóricos da complexidade sobre o programa. Segundo Mulmuley,...
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...
Muitos especialistas acreditam que a conjectura é verdadeira e a usa em seus resultados. Minha preocupação é que a complexidade dependa fortemente da conjectura .P ≠ N PPNPP≠NP\mathsf{P} \neq \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP} Então, minha pergunta é: Desde que a conjectura não seja...
É bem conhecido pelo Teorema de Ladner que se , então existem infinitas N P Intermédio ( N P I problemas). Também existem candidatos naturais para esse status, como Isomorfismo em grafos, e vários outros, consulte Problemas entre P e NPC . No entanto, a vasta maioria no multidão de conhecida n um...
Supõe-se que pois o inverso implicaria \ mathsf {PH} = \ Sigma_2 . O teorema de Ladner estabelece que se \ mathsf {P} \ ne \ mathsf {NP} então \ mathsf {NPI}: = \ mathsf {NP} \ setminus (\ mathsf {NPC} \ cup \ mathsf {P}) \ ne \ emptyset . No entanto, a prova não parece generalizar para \ mathsf...
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 tamanho maior...
Existem exemplos de brinquedos que fornecem insights 'essenciais' para a compreensão das três barreiras conhecidas ao problema - relativização, provas naturais e algebrização?P=NPP=NPP =
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...
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...
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...
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 o vínculo entre...
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 no máximo k), mas isso é de fato no .U P ∩ C...
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,...
É sabido que qualquer prova que resolva a questão P vs NP deve superar a relativização , provas naturais e barreiras à algebrização . O diagrama a seguir divide o "espaço de prova" em diferentes regiões. Por exemplo, corresponde ao conjunto de provas que relativizam e naturalizam. (Teoria da...
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...
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...
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...
Essa é uma pergunta em aberto - pela qual peço desculpas antecipadamente. Existem exemplos de declarações que (aparentemente) não têm nada a ver com complexidade ou máquinas de Turing, mas cuja resposta implicaria ?P≠NPP≠NP\mathbf{P}\neq
Eu estava lendo " O P Versus NP é formalmente independente? ", Mas fiquei intrigado. É amplamente aceito na teoria da complexidade que . Minha pergunta é sobre o que se não for possível (digamos no ). (Vamos supor que descobrimos apenas que é independente do mas não há mais informações sobre como...