Pertanyaan yang diberi tag «pcp»

Bukti yang dapat diperiksa secara probabilistik



4
Kekerasan pendekatan tanpa teorema PCP
Aplikasi penting dari teorema PCP adalah bahwa ia menghasilkan hasil jenis "kekerasan perkiraan". Dalam beberapa kasus yang relatif lebih sederhana seseorang dapat membuktikan kekerasan seperti itu tanpa PCP. Namun, adakah kasus di mana kekerasan hasil perkiraan pertama kali terbukti menggunakan teorema PCP, yaitu, hasilnya tidak diketahui sebelumnya, tetapi kemudian ditemukan …

2
Algoritma perkiraan waktu super-polinomial untuk MAX 3SAT
Negara-negara PCP teorema bahwa tidak ada algoritma waktu polinomial untuk MAX 3SAT untuk menemukan tugas memuaskan klausul formula 3SAT satisfiable kecuali P = N P .7 / 8 + ε7/8+ϵ7/8+ \epsilonP= NPP=NPP = NP Ada sepele polinomial waktu algoritma yang memenuhi dari klausa. Jadi, bisa kita lakukan lebih baik dari …


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
Mempertahankan pesanan dalam daftar dalam dalam waktu
Masalah pemeliharaan pesanan (atau "mempertahankan pesanan dalam daftar") adalah untuk mendukung operasi: singleton: membuat daftar dengan satu item, mengembalikan pointer ke sana insertAfter: diberi pointer ke item, memasukkan item baru setelahnya, mengembalikan pointer ke item baru delete: diberi pointer ke item, menghapusnya dari daftar minPointer: diberi dua petunjuk untuk item …

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} …

3
Kesenjangan sulit dalam masalah kepuasan kendala maksimal?
Formulasi setara PCP teorema adalah: Untuk Max 3-SAT itu adalah -Hard untuk membedakan antara formula satisfiable dan formula mana paling r -fraction klausul yang satisfiable (untuk beberapa r < 1 ).NPNPNPrrrr<1r<1r\lt 1 Apakah ada teorema dikotomi diketahui yang mengklasifikasikan semua CSP Max berdasarkan apakah ada celah yang sulit atau tidak? …

1
Masalah teknis dengan bukti teorema PCP
Saya membaca buktinya dari sini dan saya menemukan masalah teknis (yang sangat penting). Saya tahu ini agak spesifik dan konteksnya bermasalah, tetapi saya sendiri tidak bisa memahaminya. Di halaman 51 dan 55, setelah menyajikan verifier "standar", mereka beralih untuk memodifikasi verifier untuk memeriksa pembagian tugas. Dalam kasus pertama (p. 51) …

1
Teorema PCP - Langkah Pengurangan Alfabet
Berikut ini mungkin tampak bodoh (dan itu mungkin mencerminkan pemahaman saya yang buruk - jadi tolong tahan dengan saya) Saya punya pertanyaan tentang teorema PCP. Kita tahu bahwa setelah tiga langkah pertama yaitu. Pengurangan Gelar, Ekspanderisasi dan Penguatan Gap, kami memiliki grafik kendala dengan kesenjangan yang ditingkatkan dan ukuran alfabet …

1
Kesalahan satu sisi dalam sistem bukti probablistik
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 …


1
Penjelasan murni teoretis-teoretis tentang reduksi dari Unique Label Cover ke Max-Cut
Saya sedang mempelajari Konjektur Game Unik dan pengurangan terkenal untuk Max-Cut dari Khot et al. Dari makalah mereka dan di tempat lain di internet, sebagian besar penulis menggunakan (apa yang bagi saya adalah) kesetaraan implisit antara pengurangan MAX-CUT dan membangun tes khusus untuk kode panjang. Karena ketidakjelasan saya tentang kesetaraan …

1
Koneksi antara PCP dan L = SL
Buku karya Arora dan Barak berisi dalam bab catatan tentang PCP Kami mencatat bahwa strategi umum Dinur agak mengingatkan pada konstruksi zig-zag grafik expander dan algoritme logspace deterministik Reingold untuk konektivitas tidak terarah yang dijelaskan dalam Bab 20, yang menunjukkan bahwa lebih banyak koneksi sedang menunggu untuk dibuat antara berbagai …

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.