Perguntas sobre ou relacionadas a P vs. NP
É 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,...
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...
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 =
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...
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...
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
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
O famoso Isomorfismo Conjectura de Berman e Hartmanis diz que todos idiomas -completo são tempo polinomial isomorphic (p-isomorphic) entre si. A importância chave da conjectura é que ela implica P ≠ N P . Foi publicado em 1977, e um pedaço de provas foi que todos os N P problemas -Complete...
É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado...
Estou interessado na conexões entre aprendizagem "caos", ou, mais amplamente, sistemas dinâmicos, eo pergunta. Aqui está um exemplo do tipo de literatura que estou procurando:P= NPP=NPP{=}NP Ercsey-Ravasz, Mária e Zoltán Toroczkai. "Dureza de otimização como caos transitório em uma abordagem...
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.
Gowers recentemente delineou um problema, que ele chama de "determinação discreta de Borel", cuja solução está relacionada à comprovação dos limites mais baixos do circuito. Você pode fornecer um resumo da abordagem adaptada a um público de teóricos da complexidade? O que seria necessário para...
Todos sabemos que mostrar tem barreiras. Todos nós estudamos essas barreiras porque acreditamos que P ≠ N PP≠NPP≠NPP\ne NPP≠NPP≠NPP\ne NP . No entanto, assuma e há pessoas sábias que acreditam que essa possibilidade existe . Se esse for realmente o caso, o próprio fato de não termos visto bons...
Pelo que entendi, uma prova de que P = NP ou P ≠ NP precisaria ser não-relativizável (como nos oráculos da teoria da recursão). Virtualmente, todas as provas parecem relativizáveis. Quais são bons exemplos de provas não relativizáveis, do tipo que uma prova P = NP / P ≠ NP precisaria ser, que não...
em 1979, Hopcroft / Ullman escreveu que o LPSP é conhecido como PSpace, mas o LPSP é a única contenção adequada (e trivial) conhecida, embora todos sejam conjecturados como contenções adequadas e "onde as coisas ainda estão" ~ 4 décadas depois . desde então, existem conexões conhecidas entre L ⊊...
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,...