Seperti yang saya pahami, bukti bahwa P = NP atau P ≠ NP harus tidak dapat direlatifikasi (seperti dalam teori rekursi).
Namun, pada dasarnya semua bukti tampaknya relativizable.
Apa contoh yang baik dari bukti yang tidak dapat direlatifikasi, dari jenis yang perlu P = NP / P ≠ NP bukti, yang tidak sepele atau dibuat-buat?
(Saya bukan ahli teori rekursi, jadi mohon maafkan kurangnya kutipan.)
[EDIT: posting mathoverflow lebih baik ]
Jawaban:
Contoh terbaru dari teknik yang tidak membuat aljabar atau relativize adalah bukti Ryan Williams bahwa . Pemisahan tidak algebrize: ada oracle dan perpanjangan rendah derajat sehingga . Secara intuitif alasan mengapa buktinya menghindari penghalang adalah karena ia bergantung pada keberadaan algoritme kepuasan yang lebih cepat daripada sepele untukNEXP⊄ACC A A~ NEXPA~⊂ACCA ACC sirkuit, dan algoritma menggunakan sifat non-relativizing dan non-algebrizing dari sirkuit tersebut. Ryan mencatat dalam makalah bahwa semua algoritma kepuasan yang diketahui lebih cepat dari sepele rusak ketika oracle atau ekstensi aljabar dari oracle ditambahkan.
Ada juga pendekatan yang menarik untuk memahami relativisasi melalui logika. Dalam sebuah manuskrip tua, Arora, Impagliazzo, dan Vazirani mendefinisikan sistem aksioma sedemikian rupa sehingga hasil relativizing adalah persis yang mengikuti dari aksioma, sementara hasil non-relativizing independen dari sistem. Sebuah makalah oleh Impagliazzo, Kabanets, dan Kolokolova melakukan hal serupa untuk algebrization dengan memperkenalkan aksioma tambahan untuk yang didefinisikan oleh Arora, Impagliazzo dan Vazirani. Mereka menunjukkan bahwa hasil non-relativizing paling dikenal mengikuti dari aksioma mereka, sementara P vs NP, antara lain, tidak tergantung pada mereka.
Maaf jika ada yang salah, saya bukan ahli.
sumber
Berikut adalah daftar bukti yang tidak dapat direlatifikasi:
Teorema PCP
Komitmen bergantung pada instans menyiratkan protokol pengetahuan nol:
Kesetaraan antara Pengetahuan nol dan Komitmen
Tidak ada obfuscator sirkuit "kotak hitam virtual" yang efisien untuk sirkuit umum:
Kesetaraan antara Pengetahuan dan Komitmen Nol
PSPACE dapat direduksi menjadi evaluasi produk ringkas : PSPACe selamat dari kemacetan tiga-bitS5
Terhadap prover yang tidak terentang, NEXP memiliki sistem 2-prover proof interaktif minimal-minimal: sistem proof
satu putaran dua-prover: kekuatan dan masalah mereka
Terhadap prover yang kemungkinan terjerat, NEXP memiliki protokol MIP yang lebih interaktif:
Bukti interaktif multi-prover untuk suara NEXP terhadap prover yang terjerat
NP memiliki bukti-bukti pengetahuan NISZK yang efisien-terbukti dengan ekstraksi pengetahuan yang sempurna dalam model bit tersembunyi "distribusi sampel non-standar yang efisien," dan bukti-pengetahuan NIPZK yang membuktikan efisiensi-pengetahuan dalam model bit tersembunyi (nyata). Lebih jauh, jika sampler diperbolehkan memiliki kemungkinan kecil untuk menghasilkan (dan kesehatan hanya diperlukan untuk menahan ketika sampler tidak menghasilkan ), maka "NISZK" dari kalimat sebelumnya dapat diganti dengan "NIPZK" . Jonathan Katz, Topik Tingkat Lanjut dalam Kriptografi, Kuliah 13⊥ ⊥
Ci π ⊥ jika tidak dapat memilih elemen dari {0,1,2,3, ..., n! -1} sempurna seragam dalam waktu yang cukup kecil, karena pilihan seperti itu akan memungkinkan untuk generasi seragam yang sempurna dari suatu matriks grafik siklus terarah atau permutasi dari simpul.
Catatan: Ekstraksi pengetahuan sempurna diikuti dengan inspeksi bagian kesehatan pada halaman 2. Ekstraksi pengetahuan (tidak sempurna) berlaku untuk alasan yang sama seperti kesehatan tidak sempurna, seperti dijelaskan di bagian atas halaman 5. Pengetahuan nol sempurna dapat diperoleh dengan meminta simulator menggunakan matriks Hamiltonian sebagai permutasi , dan beberapa string-bit aktual yang berhubungan dengan bit-bias dengan nilai 0 sebagai diri mereka sendiri, hanya sebagian besar di lokasi yang berbeda. Kalimat "selanjutnya" diikuti dengan memiliki sampler output
sumber
ini adalah survei lapangan yang bagus oleh seorang ahli terkemuka yang merangkum / merinci beberapa poin dari jawaban lain sejauh ini & memiliki contoh tambahan.
[1] Peran Relativization dalam Teori Kompleksitas Fortnow
sumber