Preguntas etiquetadas con p-vs-np

Me pregunto esto basado en varios lugares en línea que llaman a co- un problema abierto importante ... pero no puedo encontrar ninguna indicación de si esto es lo mismo que Problema ...NP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf P=NP

12 complexity-theory  complexity-classes  p-vs-np 

Sé que es una tontería, pero logré confundirme y necesito ayuda para resolver esto Suponga que P=NPP=NPP=NP , entonces claramente para cada oráculo AAA tenemos PA=NPAPA=NPAP^A=NP^A que contradice el hecho de que existe algún oráculo AAA para el cual PA≠NPAPA≠NPAP^A\neq NP^A , de ahí P≠NPP≠NPP\neq NP Que pasa ¡Gracias!

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

Estoy tratando de argumentar que N no es NP igual usando teoremas de jerarquía. Este es mi argumento, pero cuando se lo mostré a nuestro maestro y después de la deducción, dijo que esto es problemático cuando no puedo encontrar una razón convincente para aceptar. Comenzamos asumiendo que . Luego …

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

Si , entonces es ? Estoy haciendo esta pregunta porque, para otras clases no deterministas, parece que siempre establece que son iguales a sus contrapartes deterministas.P=NPP=NP\mathbf{P} = \mathbf{NP}L=NLL=NL\mathbf{L} = \mathbf{NL}P=NPP=NP\mathbf{P} = \mathbf{NP}

10 complexity-theory  p-vs-np 

Hace poco leí una entrada de blog realmente interesante del Blog de Google Research sobre redes neuronales. Básicamente usan estas redes neuronales para resolver varios problemas como el reconocimiento de imágenes. Utilizan algoritmos genéticos para "evolucionar" los pesos de los axones. Básicamente, mi idea es la siguiente. Si se supone …

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

Realmente me gustaría su ayuda para demostrar lo siguiente. Si entonces .NTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} Aquí, es la clase de todos los idiomas que puede decidir la máquina de Turing no determinista en el tiempo polinomial de y es la clase de todos los idiomas que puede decidir una máquina de …

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

Valiant y Vazirani probaron que SAT es reducible a SAT ÚNICO bajo reducciones probabilísticas aleatorias en tiempo polinómico. Calabro y col . demostró que k-SAT ÚNICO es tan difícil como k-SAT. Ahora la pregunta es, si alguien muestra que k-SAT ÚNICO está en P, ¿implica P = NP? Referencias LG …

9 complexity-theory  satisfiability  p-vs-np 

Estoy seguro de que debe haber algo incorrecto con el siguiente razonamiento porque, de lo contrario, se reduciría mucha investigación de P vs. NP, pero no puedo determinar mi error: Para cualquier entero fijo definak > 0k>0 0k>0sik: = { ⟨ Phi ⟩ |φes un wff de ZF y tiene …

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

Recientemente he pensado la siguiente prueba de que L = P implica P = NP. Supongamos que L = P. Deje que A sea un problema en NP. Según la definición del verificador de NP, cada solución positiva a A tiene un testigo que puede verificarse en tiempo polinómico. Como …

8 complexity-theory  p-vs-np 

Mi pregunta es la siguiente. Suponga que es un problema NP-hard. Dada una instancia arbitraria de y suponiendo que un adversario sabe que esta instancia es fácil de resolver, ¿es posible encontrar un algoritmo determinista de tiempo polinómico para resolver esta instancia particular ?ΠΠ\PiIIIΠΠ\PiIII Por ejemplo: supongamos que es COLORACIÓN …

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

Quisiera su ayuda para probar que el lenguaje es decidible iff .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} Si , entiendo que es el lenguaje de las máquinas de Turing vacías. Entonces es un problema de , pero eso no es lo que se pregunta, así que me …

8 computability  undecidability  p-vs-np 

Tal vez me estoy perdiendo algo obvio, pero ¿puede ser que P = co-NP ⊊⊊\subsetneqNP o viceversa? Mi sensación es que debe haber algún teorema que descarte esta posibilidad.

8 complexity-theory  p-vs-np