Adakah cara yang bisa dilakukan oleh seorang pepatah untuk meyakinkan verifier bahwa beberapa ekspresi HORN-SAT memuaskan? Tentu saja ini mungkin tampak konyol, karena ada algoritma waktu linear untuk HORN-SAT. Di sisi lain, HORN-SAT adalah P-complete, yang berarti tidak memiliki algoritma...
Dalam kebanyakan sistem bukti probabilistik (teorema PCP, misalnya), probabilitas kesalahan biasanya didefinisikan pada sisi false-positive, yaitu definisi tipikal dapat terlihat seperti: jika maka verifier selalu menerima, tetapi dalam kasus lain kemungkinan penolakan setidaknya 1/2.x ∈ Lx∈Lx \in...
Tentukan model komputasi MPostBQP agar identik dengan PostBQP kecuali kami mengizinkan pengukuran qubit secara polinomial banyak sebelum pengukuran pasca-seleksi dan akhir. Bisakah kita memberikan bukti yang menunjukkan bahwa MPostBQP lebih kuat daripada PostBQP? Tentukan MPostBQP [k] untuk...
IP (2pfa) dan AM (2pfa) adalah kelas bahasa yang dikenali dengan kesalahan terbatas oleh versi koin pribadi dan publik, masing-masing, dari sistem bukti interaktif dengan verifier yang probabilistic automata terbatas dengan kepala input dua arah. Apakah ada properti penutup dari kelas-kelas ini...
Saya ingat membaca posting blog yang menampilkan dua versi dari bukti yang sama, satu ditulis oleh manusia dan yang lainnya oleh mesin, dan meminta pembaca untuk mengatakan mana yang mana. Mencoba google post lagi, sepertinya saya tidak dapat menemukan kata kunci yang tepat; kebanyakan hal hanya...
Saya selalu bertanya-tanya apakah bukti dalam ilmu komputer akan dianggap sebagai bukti yang cukup dari proposisi jika mereka perlu mengambil hukum fisik? Sebagai contoh, saya bertanya-tanya apa yang akan terjadi jika seseorang suatu hari nanti membuktikan P! = NP dengan asumsi hukum kedua...
Setelah membaca Efek sebagai Sesi, Sesi sebagai Efek , saya bertanya-tanya bagaimana bukti kesetaraan antara keduanya terjadi, atau bahkan, bukti jenis Sesi menjadi Jenis dan Sistem Efek. Dengan cara yang lebih umum, bagaimana seseorang dapat membuktikan hubungan (misalnya kesetaraan) antara...