Intuisi di balik Relativization

Saya mengambil kursus tentang Kompleksitas Komputasi. Masalah saya adalah saya tidak mengerti metode Relativization . Saya mencoba menemukan sedikit intuisi di banyak buku teks, sayangnya, sejauh ini tidak berhasil. Saya akan menghargai jika seseorang dapat menjelaskan topik ini sehingga saya akan dapat melanjutkan sendiri. Beberapa kalimat berikut adalah pertanyaan dan pemikiran saya tentang relativisasi, mereka akan membantu menavigasi diskusi.

Sangat sering relativization datang dibandingkan dengan diagonalisasi, yang merupakan metode yang membantu membedakan antara himpunan yang dapat dihitung dan yang tidak terhitung. Entah bagaimana berasal dari relativization bahwa pertanyaan versus tidak dapat diselesaikan dengan diagonalisasi. Saya tidak benar-benar melihat gagasan mengapa relativisasi menunjukkan tidak adanya diagonalisasi, dan jika tidak ada gunanya, mengapa sebenarnya tidak berguna.N $P$$NP$

Ide di balik mesin Turing oracle pada awalnya sangat jelas. Namun, ketika menyangkut dan intuisi menghilang. Oracle adalah kotak hitam yang dirancang untuk bahasa khusus dan menjawab pertanyaan apakah string pada input oracle dalam bahasa dalam waktu 1. Seperti yang saya mengerti TM yang berisi oracle hanya membuat beberapa operasi tambahan dan meminta oracle. Jadi inti dari TM adalah oracle, yang lainnya kurang penting. Apa perbedaan antara dan , bahkan ramalan keduanya bekerja dalam waktu 1. N P A P A P A N P $M^A$$NP^A$$P^A$$P^A$$NP^A$

Hal terakhir adalah membuktikan adanya sebuah ramalan sehingga . Saya menemukan buktinya di beberapa buku teks dan di semua buktinya tampaknya sangat kabur. Saya mencoba menggunakan "Pengantar kompleksitas" oleh Sipser, Bab9. Ketidaksarikan , dan tidak mendapatkan ide konstruksi daftar semua waktu polynomial oracle .P B ≠ N P $B$$P^B \neq NP^B$$M_i$

Ini kurang lebih semua yang saya tahu tentang relativization, saya akan menghargai jika seseorang akan memutuskan untuk membagikan pemikirannya tentang topik tersebut.

Tambahan : di salah satu buku teks saya menemukan contoh bahasa (Kompleksitas Komputasi: Suatu Pendekatan Modern oleh Boaz Barak Sanjeev Arora. Teorema 3.7. Halaman 74). itu adalah bahasa unary. Saya percaya bahwa (1,11,111,1111, ...) semuanya ada di . Penulis menegaskan bahwa bahasa seperti itu ada dalam yang mana saya tidak bisa mengerti mengapa, maka ramalan untuk B dapat menyelesaikan semuanya dalam waktu 1. Mengapa kita perlu TM non-deterministik dengan oracle. Jika tidak contoh yang baik dari silakan memasukkan Anda sehingga untuk menyetujui keberadaan .U B = { 1 n : s o m e s t r i n g o f l e n g t h n i s i n B } U B N P B N P B N P $NP^B$$U_B=\left \{ 1^n:some \space string \space of \space length \space n \space is \space in \space B\right \}$$U_B$$NP^B$$NP^B$$NP^B$

$\rm{P}^A$$\rm{NP}^A$$A$$\rm{NP}^A$$A$$A$$\rm{P}^A$