Perguntas com a marcação «p-vs-np»

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 essa abordagem provar alguma coisa …

16 cc.complexity-theory  p-vs-np 

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 algoritmos …

15 p-vs-np  barriers 

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 …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

Vindo de uma experiência matemática, parece-me interessante que, em geral, os cientistas da computação tendem a trabalhar sob a suposição de que . Embora não exista nenhuma prova de qualquer maneira, geralmente, a menos que algo possa ser especificamente não comprovado em matemática e ciências, isso é feito com uma …

12 p-vs-np 

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 ⊊ …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

Tenho certeza de que não sou o primeiro a aceitar a idéia que vou apresentar. No entanto, seria útil encontrar alguma literatura relacionada à idéia. A idéia é construir uma Máquina de Turing M com a propriedade de que, se P = NP, M resolverá o 3-SAT em tempo polinomial. …

12 reference-request  turing-machines  p-vs-np 

Corrija um problema de pesquisa completo do NP, por exemplo, o formulário de pesquisa do SAT. A pesquisa de Levin fornece um algoritmo para resolver que é ótimo em algum sentido. Especificamente, o algoritmo é "Execute todos os programas possíveis com a entrada , uma vez que algum retorne a …

12 cc.complexity-theory  time-complexity  p-vs-np 

Recentemente, fui lembrado sobre o problema vs. N P, conforme explicado por Stephen A. Cook no Clay Mathematics Institute.PP\mathsf{P}N PNP\mathsf{NP} Isso despertou meu interesse e eu gostaria de aprender mais sobre isso. O primeiro passo seria obter uma compreensão mais profunda do problema e uma compreensão da área em geral. …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

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 

Primeiro, meu entendimento do teorema da incompletude de Gödel (e da lógica formal em geral) é muito ingênuo, e também meu conhecimento sobre ciência da computação teórica (ou seja, apenas um curso de graduação realizado enquanto ainda estou na graduação), então essa pergunta pode ser muito ingênuo. Tanto quanto pude …

11 np-hardness  proofs  p-vs-np 

Estou interessado na questão de saber se NP é igual a coNP ou não. Eu aprecio muito alguns conselhos sobre boas publicações para ler sobre o assunto. Para o registro, eu sei que esta questão está intimamente ligada à questão de se P é igual a NP ou não (de …

11 cc.complexity-theory  reference-request  p-vs-np 

No artigo de Stephen Cook sobre o problema P vs NP, [1] ele afirma o seguinte [2]: Tese de Viabilidade: Um problema natural tem um algoritmo viável se tiver um algoritmo de tempo polinomial. Minha pergunta é: o que exatamente ele (ou, em geral, realmente, o que alguém) quer dizer …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

Suponha que P! = NP. Sabemos que podemos criar instâncias fáceis do 3-SAT a qualquer momento. Também podemos gerar o que acreditamos ser instâncias difíceis (porque nossos algoritmos não podem resolvê-los rapidamente). Existe algo que impeça que o conjunto de instâncias rígidas seja arbitrariamente pequeno, desde que, para qualquer tamanho …

9 np-hardness  p-vs-np 

Para poder explicar o problema P vs NP a não matemáticos, eu gostaria de ter um exemplo pedagógico de quando a busca por força bruta pode ser evitada. Idealmente, o problema deve ser imediatamente compreensível e o truque não deve ser muito fácil nem muito difícil. O melhor que eu …

8 cc.complexity-theory  np-hardness  soft-question  complexity-classes  p-vs-np 

Considere qualquer linguagem . Defina (uma sequência infinita de bits) pela fórmula recursivas ( L ) ∈ { 0 , 1 } ωeuLLs ( L ) ∈ { 0 , 1 }ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s ( L )n= χeu( s ( L )&lt; n)s(L)n=χL(s(L)&lt;n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, a)_{<2n}) [Eu …

8 cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization