Kami tahu bahwa jika Anda memiliki mesin PSPACE, itu cukup kuat untuk memberikan bukti interaktif dari level apa pun hierarki polinomial. (Dan jika saya ingat benar, semua yang Anda butuhkan adalah #P.) Tetapi misalkan Anda ingin memberikan bukti keanggotaan interaktif dalam Σ2Σ2\Sigma_2 bahasa....
Saya (dan masih) sangat tertarik pada jawaban untuk pertanyaan ini, karena ini adalah variasi yang menarik pada kompleksitas permainan yang belum terselesaikan, jadi saya menawarkan hadiah. Saya pikir pertanyaan aslinya kemungkinan besar terlalu sulit, jadi saya memposting tiga pertanyaan terkait...
Baru-baru ini, Watrous et al membuktikan bahwa QIP (3) = PSPACE hasil yang luar biasa. Ini adalah hasil yang mengejutkan bagi diri saya untuk sedikitnya dan itu membuat saya berpikir ... Saya bertanya-tanya bagaimana jika Komputer Quantum dapat disimulasikan secara efisien oleh Komputer Klasik....
IP = PSPACE terdaftar sebagai contoh kanonik dari hasil non-relativizing, dan bukti untuk ini adalah bahwa ada oracle sedemikian sehingga , sementara {\ sf CoNp} ^ O \ subseteq {\ sf PSPACE} ^ O untuk semua nubuat O .OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf
Telah diketahui bahwa kumpulan bahasa yang memiliki sistem bukti interaktif dua-verver, di mana verifier berjalan dalam polinomial-time (MIP), adalah NEXP. Tetapi adakah batas yang diketahui tentang kekuatan bukti interaktif seperti itu ketika kaum proversi dibatasi kekuasaannya? Misalnya, apa...
Sistem bukti probabilistik umumnya disebut sebagai pembatasan , di mana Arthur hanya dapat menggunakan bit acak dan hanya dapat memeriksa bit sertifikat bukti yang dikirim oleh Merlin (lihat, http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).M A f ( n ) g ( n )PCP[ f( n ) , g( n )...
Pembukaan. Kelas kompleksitas AM adalah masalah-masalah yang dapat diselesaikan dengan sistem bukti interaktif dua putaran antara prover "Merlin" dan verifier "Arthur". Masalah - yang menguji beberapa properti dari objek X - adalah pada AM jika: Untuk contoh YA , untuk pesan "tantangan" acak...
Bagaimana saya bisa meyakinkan Coq bahwa fungsi rekursif yang diberikan di bawah ini berakhir? Fungsi ini mengambil dua argumen induktif. Secara intuitif, rekursi berakhir karena salah satu argumen terurai. Secara khusus, fungsi mengambil dua pohon sebagai input. Inductive Tree := | Tip: Tree |...
Pertanyaan pertama saya adalah apakah karakterisasi sistem bukti interaktif dikenal untuk semua kelas kompleksitas klasik. Saya akan memanggil P, NP, PSPACE, EXP, NEXP, EXPSPACE, fungsi rekursif dan berulang secara berulang klasik (antara lain). Secara khusus, apakah karakterisasi sistem bukti...
Beigi, Shor dan Watrous memiliki sangat bagus kertas pada kekuatan bukti interaktif kuantum dengan pesan singkat. Mereka mempertimbangkan tiga varian 'pesan singkat', dan yang spesifik yang saya pedulikan adalah varian kedua di mana sejumlah pesan dapat dikirim, tetapi total panjang pesan harus...
Raz Paralel pretition teorema adalah hasil yang penting dalam PCP, inapproximation, dll Teorema ini fomalized sebagai berikut. G=(S,T,A,B,π,V)G=(S,T,A,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi,
Saya baca di SP Yordania, D. Gosset, "PJ Cinta masalah -Lengkap untuk Hamiltonians stoquastic dan matriks MarkovQ MSEBUAHQMAQMA " bahwa tidak mungkin bahwa .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Saya terkejut dengan pernyataan ini. Jadi apa hubungan yang tepat antara dan A M ?Q MSEBUAHQMAQMAA...
Merlin, yang memiliki sumber daya komputasi tidak terbatas, ingin meyakinkan Arthur bahwa untuk dengan dan Menghitung jumlah ini dengan cara langsung (eksponensial dan penambahan modular) membutuhkan waktu dengan perkalian berbasis FFT. * Tetapi Arthur hanya dapat melakukan operasi .m | ∑p ≤ N, p...
Kelengkapan dan kesehatan dalam sistem bukti interaktif secara informal didefinisikan sebagai: Kelengkapan: Jika pernyataan itu benar, maka orang yang jujur dapat meyakinkan orang yang jujur akan kebenaran fakta ini . Keakuratan: Jika suatu pernyataan salah, pemalsu selingkuh tidak dapat...
Saya telah belajar tentang bukti interaktif akhir-akhir ini dan saya bertanya-tanya apakah semuanya itu tidak lebih dari rasa ingin tahu teoretis, atau apakah itu memiliki aplikasi praktis. Saya pikir saya akan memulai dengan sebuah contoh yang terpikir oleh saya di kamar mandi: Belakangan ini...
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...