Preguntas etiquetadas con relativization

12
Un oráculo para separar NP de coNP

¿Cómo demostrar que ? Solo estoy buscando un oracle TM M y un lenguaje recursivo L ( M ) = L para el cual esto es válido.N PUN≠ c o N PUNNPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMETROMML ( M) = LL(M)=LL(M) = L Sé que la prueba donde se demuestra que existe un oráculo tal que P A ≠ N P A y un...