Questions marquées «relativization»


2
Un oracle pour séparer NP de coNP
Comment prouver que ? Je cherche juste un tel oracle TM et un langage récursif pour lequel cela vaut. ML(M)=LN PUNE≠ c o N PUNENPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML ( M) = LL(M)=LL(M) = L Je connais la preuve où vous montrez qu'il y a un oracle tel que et un oracle …

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.