Generator kebal didefinisikan sebagai berikut: Biarkan menjadi hubungan NP, dan menjadi mesin yang menerima . Secara tidak resmi, sebuah program adalah generator yang kebal jika, pada input , ia menghasilkan pasangan instance-saksi , dengan , menurut distribusi di mana setiap musuh...
Sebagian besar literatur tampaknya berkaitan dengan mesin dengan nubuat tunggal untuk masalah tertentu, namun tampaknya ada beberapa makalah yang menganggap mesin dengan banyak nubuat. Apakah ada makalah atau tesis yang bagus yang memberikan gambaran umum tentang apa yang diketahui tentang mesin...
Saya telah memikirkan pertanyaan berikut pada berbagai waktu sejak saya melihat pertanyaan tentang Kriptografi ini . Pertanyaan Biarkan menjadi hubungan TFNP . Dapatkah oracle acak membantu P / poli untuk memecahkan R dengan probabilitas yang tidak dapat diabaikan? Lebih
Menurut BGS teorema [1], ada oracle sehingga .SEBUAHSEBUAHAPSEBUAH≠ NPSEBUAHPSEBUAH≠NPSEBUAHP^A\neq NP^A Jika operasi relativiasi adalah fungsi yang terdefinisi dengan baik, orang akan berharap bahwa dari seseorang akan dapat menyimpulkan bahwa , misalnya akan mengikuti dari BGS. Namun, masih...
Latar Belakang Kita tahu bahwa .P# P⊆ P.SPA CEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Selain itu, kami tahu dari teorema Toda bahwa .PH⊆ P.# PPH⊆P#PPH \subseteq P^{\#P} Untuk latar belakang lebih lanjut tentang , lihat di sini: https://en.wikipedia.org/wiki/Sharp-P#P#P\#P Pertanyaan...