Diketahui bahwa jika maka hierarki polinomial runtuh menjadi dan .
Apa keruntuhan terkuat yang diketahui terjadi jika ?
Diketahui bahwa jika maka hierarki polinomial runtuh menjadi dan .
Apa keruntuhan terkuat yang diketahui terjadi jika ?
Jawaban:
Saya percaya yang terkuat adalah . Ini dibuktikan oleh Impagliazzo Kabanets dan Wigderson.
Lihat https://scholar.google.com/scholar?cluster=17275091615053693892&hl=id&as_sdt=0,5&sciodt=0,5
Saya juga tertarik mengetahui ada yang lebih kuat dari ini.
Sunting (8/24): OK, saya memikirkan beberapa kemungkinan runtuhnya yang lebih kuat, yang pada dasarnya mengikuti dari bukti-bukti dari kertas terkait di atas. Karena menyiratkan N E X P = E X P (lihat link di atas), dan E X P ditutup di bawah pelengkap, kami juga memiliki N E X P ditutup di bawah pelengkap dan karena itu N E X P = M A ∩ c o M A , yang sedikit lebih kuat. Memang, hipotesis menyiratkan bahwa untuk setiap bahasa, satu tunggal saksi tali w ndapat digunakan dalam protokol MA yang sesuai untuk semua instance-YES dari panjang yang diberikan , demikian juga N E (di mana O M A = "Oblivious MA", lihat Fortnow-Santhanam-mehttp://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.156.3018&rep=rep1&type=pdf). Properti ekstra ini, meskipun bersifat teknis, dapat terbukti bermanfaat dalam beberapa argumen rangkaian batas bawah.
Sunting 2: Sepertinya Andrew Morgan sudah menyoroti ini. Aduh :)
Banyak hal menyenangkan terjadi. Sebagian besar yang saya tahu mulai dengan kertas IKW . Di sana, keruntuhan ditampilkan, dan (saya pikir) adalah keruntuhan literal terkuat dari kelas kompleksitas yang kita ketahui. Ada beberapa jenis "runtuh" meskipun saya pikir harus ditunjukkan.
Yang paling penting, saya pikir, adalah properti "saksi ringkas universal" (juga dari makalah IKW). Untuk satu, itu memberi Anda alat dari mana banyak dari yang lain runtuh adalah konsekuensi langsung; untuk yang lain, sirkuit batas bawah terbaru (misalnya di sini dan di sini ) untuk mengeksploitasi koneksi ini. Secara singkat, properti mengatakan bahwa, untuk setiap bahasa , dan setiap -Mesin memutuskan , setiap memiliki ringkas dideskripsikan saksi menurut . Secara formal, ada polinomial tergantung pada sehingga untuk setiap , ada sirkuitadalah urutan pilihan nondeterministik untuk M yang mengarah pada penerimaan input x . ukuran sehingga tabel kebenaran
Kesederhanaan para saksi sangat berguna, karena Anda dapat dengan mudah mengembalikan banyak yang lain dari itu. Sebagai contoh, ini sepele mengikuti bahwa . Sebagai contoh, misalkan adalah melalui -Mesin . Properti saksi ringkas mengatakan ada polinomial sehingga memiliki saksi ringkas ukuran . Kita kemudian dapat memutuskan dalam dengan, pada input , memaksa semua sirkuit ukuran paling banyak , dan memeriksa apakah mereka menyandikan urutan pilihan yang mengarah ke menerima input . Anda dapat menggabungkan ini dengan (sebelumnya dikenal melalui bukti interaktif) hasil untuk menyimpulkan .
Perlu ditekankan bahwa kita bisa memilih dan karenanya bentuk saksi. Misalnya, Anda dapat menyimpulkan dari " memiliki saksi ringkas universal" bahwa . Di sini adalah "lupa-MA", yang berarti bahwa ada Merlin jujur yang hanya bergantung pada panjang input. Sangat mudah untuk melihat bahwa , jadi pada dasarnya ini hanya memberikan bentuk normal untuk bagaimana bahasa dihitung dalam dengan asumsi bahwa di tempat pertama. Inilah salah satu cara untuk melihat keruntuhan ke :
Untuk bahasa diputuskan oleh mesin , membangun mesin sebagai berikut. Lihat input bit sebagai angka antara dan . Untuk setiap panjang , tebak saksi dan jalankan untuk memverifikasinya. menerima jika dan hanya jika menerima setidaknyaNilai N dari . Tebakan disusun sedemikian rupa sehingga deskripsi singkat dari saksi bagi adalah sirkuit yang menghitung peta yang sedikit -th dari . Sekarang anggaplah bahwa adalah tepatnya jumlah string dalam panjangnya . Kemudian saksi ringkas untuk pada input adalah sirkuit yang secara bersamaan menyandikansemuadari saksi 's untuk panjang- input. Khususnya, jika memiliki saksi yang ringkas, maka semuasaksi dapat dijelaskan secara simultan oleh sirkuit yang sama.
Untuk menyelesaikan klaim, kami akan mengingat . Membiarkan menjadi mesin yang menebak PCP dan kemudian secara deterministik mensimulasikan verifier, paragraf di atas memberi tahu kita keberadaan PCP yang secara ringkas dan ringkas untuk setiap bahasa di NEXP . Jadi sekarang untuk mendapatkan , kami telah Merlin mengirim deskripsi singkat tentang PCP untuk semua input dari panjang input saat ini, yang dapat diperiksa oleh Arthur dengan hanya memasukkan inputnya dan kemudian menjalankan verifikasi PCP.
[Terima kasih kepada Cody Murray untuk menunjukkan trik menggunakan input untuk menghitung jumlah string dalam . Sebelumnya saya punya menggunakannya jika maka untuk menuliskan tabel kebenaran , tetapi strategi Cody lebih elegan.]
Sebagai catatan akhir, sementara secara teknis tersirat oleh , runtuhnya memiliki implikasi menarik lainnya. Diketahui bahwa memiliki bahasa yang lengkap yang dapat direduksi sendiri ke bawah maupun direduksi sendiri secara acak. Biasanya, semua bahasa tersebut berada di dalam dan oleh karena itu kami tidak boleh berharap untuk mengatakan (tanpa syarat) bahwa memiliki bahasa yang begitu lengkap selama kami berharap . Namun, jika , maka melakukannya miliki bahasa yang lengkap. Pernyataan serupa (menggantikan dengan ) digunakan oleh Impagliazzo dan Wigderson untuk menyimpulkan semacam "dikotomi derandomisasi" untuk sehubungan dengan , sehingga mungkin berguna dalam menemukan konsekuensi lain dari .