Dunia yang direlatifkan di mana


11

Saya ingin tahu apakah ada dunia yang direlatifikasi di mana . Saya juga tertarik untuk mengetahui apakah ada dunia yang direlatifikasi di mana .PA=NPAPPAPBNPB=PPB


7
Saya memiliki posting blog "oracle ekstrim" yang memiliki daftar hasil oracle yang diikuti banyak orang lain, termasuk dua yang Anda minta. blog.computationalcomplexity.org/2005/08/extreme-oracles.html
Lance Fortnow

2
@ Lance: Sial, lihat saja setelah memposting jawaban saya! Yah, mungkin OP masih akan menemukan konstruksi "buatan sendiri" saya berguna.
Scott Aaronson

Jawaban:


14

Saya tidak tahu referensi, tetapi saya pikir keduanya harus bisa dilakukan.

Untuk oracle pertama Anda: untuk pemula Anda akan menginginkan oracle (menyebutnya ) yang mengkodekan secara eksponensial-besar kasus, dan bahwa dengan demikian memisahkan kedua dan dari . Maka Anda ingin oracle kedua (sebut saja ) yang menyandikan solusi untuk semua masalah , dengan cara "terhuyung-huyung" sehingga mengakses tingkat hierarki memerlukan kueri ukuran (katakanlah) (dan karenanya Anda hanya bisa mendapatkan jumlah pergantian konstan dalam waktu polinomial). kedua ini akan menyebabkan . (Catat ituA1MAJORITYPA1NPA1PPA1A2PHA1kthnkPA1,A2=NPA1,A2=PHA1,A2=PHA1A2 hanyalah lapisan "luar", yang berarti bahwa setiap kueri ke dapat disimulasikan oleh permintaan .) Akhirnya, Anda akan ingin menarik batas bawah Yao dan Hastad's (yaitu, lemma switching ) untuk menunjukkan bahwa mesin masih tidak dapat memecahkan contoh di , dan karena itu (dan tentu ) tetap lebih besar.A2 A C 0 P H A 1 M A J O R I T Y A 1 P P A 1 P P A 1 , A 2 = P P P H A 1PHA1AC0PHA1MAJORITYA1PPA1PPA1,A2=PPPHA1

Untuk oracle kedua Anda, Anda ingin membuat sedemikian rupa sehingga Anda perlu menyelesaikan masalah pencarian untuk "membuka" bagian dari string oracle yang kemudian meningkatkan daya Anda hingga ke . (Di sini kita mengeksploitasi fakta bahwa dan sama-sama ). Kehalusannya adalah bahwa bagian rahasia oracle tidak bisa hanya memutuskan bahasa lengkap yang tidak terkait - bahasa lengkap: ia juga perlu menyediakan jawaban untuk perhitungan yang menanyakan sendiri. Untungnya, diketahui cara mencapai itu secara bertahap, menghindari sirkularitas: pada dasarnya, Anda menyandikan output dariBNPPSPACENPPSPACEPPPSPACEPSPACEPSPACEPSPACEBPSPACEB mesin yang hanya meminta pada input ukuran atau kurang, di bagian yang memerlukan kueri ukuran untuk mengakses, dan karena itu "di luar jangkauan" untuk mesin tersebut (tetapi bukan untuk lainnya mesin). Sementara itu, mesin dibiarkan "sepenuhnya dalam gelap" oleh semua ini.Bp(n)BP S P A C E B P B>p(n) PSPACEBPB

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.