Preguntas etiquetadas con 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 P = L, la misma solución se...

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 una prueba de...

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