Pertanyaan yang diberi tag «interactive-proofs»

4
Bukti interaktif untuk tingkat hierarki polinomial
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. Apakah cukup untuk menyelesaikan masalah di Σ2Σ2\Sigma_2 …



4
Jika P = BQP, apakah ini menyiratkan bahwa PSPACE (= IP) = AM?
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. Mungkinkah ini HANYA terkait dengan Divide …

2
MIP dengan prover yang efisien
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 kelas bahasa yang menerima bukti interaktif duaverver dengan prover waktu polinomial? Lebih …

3
dalam hal
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 ) ]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]M AM.SEBUAH\mathcal{MA}f( n )f(n)f(n)g( …

1
Apakah memerlukan keunikan jawaban yang valid untuk Merlin membatasi kekuatan protokol Arthur-Merlin?
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 (panjang polinomial) yang dihasilkan Arthur, dengan probabilitas …

2
Lansekap sistem bukti interaktif
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 interaktif dikenal untuk fungsi berulang dan berulang secara berulang? Saya hanya …

1
Apa yang diketahui tentang bukti interaktif multiverver dengan pesan singkat?
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 logaritmik. Secara khusus mereka menunjukkan bahwa sistem bukti …


1
Apakah ada versi berkelanjutan dari teorema pengulangan paralel
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, V)S,T,A,BS,T,A,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B}ππ\piS×TS×T\mathcal{S}\times\mathcal{T}V:S×T×A×B→{0,1}V:S×T×A×B→{0,1}V:\mathcal{S}\times\mathcal{T}\times\mathcal{A}\times\mathcal{B}\rightarrow\{0,1\}v(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=\max_{h_A\in\mathcal{H}_A,h_B\in\mathcal{H}_B}\sum_{s,t}\pi(s,t)V(s,t,h_A(s),h_B(t)) And nnn-fold game Gn=(Sn,Tn,An,Bn,πn,Vn)Gn=(Sn,Tn,An,Bn,πn,Vn)G^n=(\mathcal{S}^n,\mathcal{T}^n,\mathcal{A}^n,\mathcal{B}^n,\pi^n, V^n). The theorem says if v(G)≤1−ϵ,v(G)≤1−ϵ,v(G)\leq 1-\epsilon, then v(Gn)≤(1−ϵc)Ω(nlogmax{|A|,|B|})v(Gn)≤(1−ϵc)Ω(nlog⁡max{|A|,|B|})v(G^n)\leq (1-\epsilon^c)^{\Omega(\frac{n}{\log\max\{|A|,|B|\}})}. My quesion is what happen if the sets are infinite, in a continuous space. Say if S,T,A,BS,T,A,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B} …


1
Kesetaraan Dua Definisi Kelengkapan & Kesehatan dalam Sistem Bukti Interaktif
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 meyakinkan verifier jujur (validitas pernyataan palsu) whp Istilah "whp" dapat ditafsirkan …

3
Bisakah Merlin meyakinkan Arthur tentang jumlah tertentu?
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 prime halkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ …

2
Bukti Interaktif Angka Allah?
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 diberitakan bahwa "Angka Tuhan" = 20. …

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.