Sebuah oracle untuk memisahkan NP dari coNP

Bagaimana membuktikan bahwa ? Saya hanya mencari oracle TM M dan bahasa rekursif L ( M ) = L yang ini berlaku.$\mathsf{NP}^A \neq \mathsf{coNP}^A$$M$$L(M) = L$

Aku tahu buktinya mana Anda menunjukkan bahwa ada sebuah ramalan sehingga P A ≠ N P A dan oracle A sehingga P A = N P A . Saya punya petunjuk bahwa saya harus menemukan oracle A dengan memperluas bukti P A ≠ N P A tetapi di mana pun saya mencari dan membaca, itu "jelas" atau "langsung" di mana-mana, tetapi saya tidak melihat bagaimana membuktikannya sama sekali .$A$$\mathsf{P}^A \neq \mathsf{NP}^A$$A$$\mathsf{P}^A = \mathsf{NP}^A$$A$$\mathsf{P}^A \neq \mathsf{NP}^A$

$\mathsf{coNP}$

Saya akan menjelaskan modifikasi yang diperlukan di bawah ini, tetapi pertama-tama mari kita lihat sekilas bukti aslinya.

$A=\bigcup_n A_n$$i$$i$$\mathsf{P}$$M_i$$\{x \mid \exists y\in A \ |x|=|y| \}$$\mathsf{NP}^A$

$M_i$$A$$0^m$$m$$M_i$$m$$M_i$$m$$M_i$$A$$m$$M_i^A$

$M_i$$\mathsf{coNP}$$\mathsf{P}$$M_i^A$$L$$A$$M_i$$A$$M_i$$n$$\mathsf{coNP}$$m$$A$

$A$$\mathsf{DSpace}(n^{\omega(1)})$

$P^A = NP^A$$P^B \not= NP^B$$A$$B$