Pertanyaan yang diberi tag «interactive-proofs»

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 L Apakah ada masalah dalam membiarkan kesalahan terjadi di sisi lain? Itu berarti …

10 cc.complexity-theory  pcp  interactive-proofs 

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 ruang-log kecuali P = L. Dengan demikian, batasi kemampuan komputasi …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

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 memungkinkan beberapa putaran pengukuran dan pasca pemilihan sebelum kita melakukan pengukuran akhir. Pilih …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

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 yang diketahui?

9 cc.complexity-theory  interactive-proofs