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

Eu sei que é bobagem, mas consegui me confundir e preciso de ajuda para resolver isso Suponha que , então claramente para todo oráculo A temos P A = N P A que contradiz o fato de que existe algum oráculo A para o qual P A ≠ N P …

11 complexity-theory  p-vs-np  oracle-machines 

Estou pensando isso com base em vários locais online que chamam co- um grande problema em aberto ... mas não consigo encontrar nenhuma indicação sobre se isso é ou não o mesmo que Problema ...NP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf P=NP

11 complexity-theory  complexity-classes  p-vs-np 

Estou tentando argumentar que N não é igual a NP usando teoremas de hierarquia. Esse é o meu argumento, mas quando mostrei ao nosso professor e, após dedução, ele disse que isso é problemático, onde não consigo encontrar uma razão convincente para aceitar. Começamos assumindo que P=NPP=NPP=NP . Então, produz …

10 complexity-theory  time-complexity  p-vs-np 

Se P=NPP=NP\mathbf{P} = \mathbf{NP} , então é L=NLL=NL\mathbf{L} = \mathbf{NL} ? Estou fazendo essa pergunta porque, para outras classes não determinísticas, parece que P=NPP=NP\mathbf{P} = \mathbf{NP} sempre estabelece que são iguais às suas contrapartes determinísticas.

10 complexity-theory  p-vs-np 

Recentemente, li uma entrada de blog muito interessante no Blog de Pesquisa do Google falando sobre rede neural. Basicamente, eles usam essas redes neurais para resolver vários problemas, como reconhecimento de imagem. Eles usam algoritmos genéticos para "evoluir" os pesos dos axônios. Então, basicamente, minha ideia é a seguinte. Se …

10 machine-learning  np  neural-networks  p-vs-np  genetic-algorithms 

Eu realmente gostaria da sua ajuda para provar o seguinte. Se então .P = N PNTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} Aqui, é a classe de todas as línguas que podem ser decididas pela máquina de Turing não determinística no tempo polinomial de e é a classe de todas as línguas que pode …

10 time-complexity  complexity-classes  p-vs-np 

Valiant & Vazirani provaram que o SAT é redutível a UNIQUE SAT sob reduções probabilísticas aleatórias no tempo polinomial. Calabro et al . mostrou que o k-SAT UNIQUE é tão difícil quanto o k-SAT. Agora, a pergunta é: se alguém mostra que UNIQUE k-SAT está em P, isso implica P …

9 complexity-theory  satisfiability  p-vs-np 

Tenho certeza de que deve haver algo errado com o seguinte raciocínio, porque, caso contrário, muitas pesquisas de P vs. NP seriam reduzidas, mas não consigo determinar meu erro: Para qualquer número inteiro fixo k>0k>0k>0 definir Bk:={⟨φ⟩|φis a wff of ZF and has a proof of length≤k|φ|k}Bk:={⟨φ⟩|φis a wff of …

8 complexity-theory  np-complete  logic  p-vs-np 

Recentemente, pensei na seguinte prova de que L = P implica P = NP. Suponha que L = P. Seja A um problema no NP. Pela definição do verificador de NP, cada solução positiva para A tem uma testemunha que pode ser verificada em tempo polinomial. Desde P = L, …

8 complexity-theory  p-vs-np 

Minha pergunta é a seguinte. Assuma issoΠΠ\Pié um problema difícil de NP. Dada uma instância arbitráriaIII do ΠΠ\Pi e suponha que um adversário sabe que essa instância é fácil de resolver, é possível encontrar um algoritmo determinístico de tempo polinomial para resolver essa instância específica III? Por exemplo: suponha que …

8 complexity-theory  np-complete  np-hard  np  p-vs-np 

Gostaria da sua ajuda para provar que o idioma é decidível se .L={⟨M⟩|L(M)∈NP∖P}L={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \}P=NPP=NP\mathrm{P}=\mathrm{NP} Se , entendi que é a linguagem das máquinas de Turing vazias. Então é um problema - mas não é isso que está sendo perguntado, então fiquei confuso.P=NPP=NP\mathrm{P}=\mathrm{NP}LLLco-REco-RE\text{co-RE} Eu …

8 computability  undecidability  p-vs-np 

Talvez esteja faltando algo óbvio, mas será que P = co-NP NP ou vice-versa? Meu sentimento é que deve haver algum teorema que descarta essa possibilidade.⊊⊊\subsetneq

8 complexity-theory  p-vs-np 

Na página da Wikipedia no problema P vs. NP, existe um algoritmo que "resolve" SUBSET-SUM no caso de P = NP em tempo polinomial. (A idéia é encontrar uma TM que dê um certificado). Mas dá "sim" no tempo polinomial e dura para sempre se a resposta for "não". Obviamente, …

7 complexity-theory  np-complete  np  p-vs-np 

O Concorde TSP é um solucionador de TSP. Os solucionadores SAT são solucionadores de satisfação booleana. TSP e SAT são NP-completos. Por isso, por que dedicar tempo ao desenvolvimento do Concorde TSP quando há uma abundância de solucionadores SAT no mercado naquela época?

7 np-complete  satisfiability  p-vs-np  traveling-salesman  sat-solvers 

No livro de Lance Fortnow, The Golden Ticket , ele menciona que uma vez que você tenha um algoritmo de tempo polinomial para um problema completo de NP, poderá usá-lo para encontrar um algoritmo mais rápido. Você pode me dizer como isso é feito? E uma vez feito isso, você …

7 algorithms  np-complete  p-vs-np  sat-solvers