Czy istnieje ciągła wersja twierdzenia o równoległym powtarzaniu


13

Raz za Parallel twierdzenie pretition to ważny wynik w PCP, inapproximation, itd. Twierdzenie jest fomalized następująco.

Gra , gdzie S , T , A , B są zestawami skończonymi, π jest rozkładem na S × T i predykatem V : S × T × A × B{ 0 , 1 } . Określ wartość gry v ( G ) = max hG=(S,T,A,B,π,V)S,T,A,BπS×TV:S×T×A×B{0,1} In-krotnie graGn=(Sn,Tn,An,Bn,πn,

v(G)=maxhAHA,hBHBs,tπ(s,t)V(s,t,hA(s),hB(t))
n . Twierdzenie mówi, że jeśli v ( G ) 1 - ϵ , to v ( G n ) ( 1 - ϵ c ) Ω ( nGn=(Sn,Tn,An,Bn,πn,Vn)v(G)1ϵ,.v(Gn)(1ϵc)Ω(nlogmax{|A|,|B|})

Moje pytanie brzmi, co się stanie, jeśli zbiory są nieskończone, w ciągłej przestrzeni. Powiedz, czy to podzbiory przestrzeni, powiedzmy R n lub więcej przestrzeni abstrakcyjnych. Wszystkie pozostałe są takie same. Twierdzenie Raza daje tylko trywialną górną granicę 1, ponieważ rozmiary zestawów odpowiedzi są nieskończone. Oczywiście wartość n- krotnie jest górna ograniczona przez pojedynczą kopię. Czy wykładniczy spadek występuje również w przypadku ciągłym? Byłoby bardziej interesujące, aby ograniczyć H A , H B się zbiory funkcji ciągłych lub C funkcji lub funkcji mierzalnych?S,T,A,BRn1nHA,HBC

Odpowiedzi:


8

Czy wykładniczy spadek występuje również w przypadku ciągłym?

Nr Feige i Verbitsky [FV02] wykazali, że dla każdego n , to gra G (z ograniczonym zestawów pytań i odpowiedzi) tak, że V ( G ) ≤3 / 4 i v ( G n ) ≥1 / 8. Ponieważ twoje sformułowanie uogólnia gry za pomocą skończonych zestawów pytań i odpowiedzi o dowolnej wielkości, równoległe powtarzanie (dowolne skończone wiele razy) nie może obniżyć wartości gry z 3/4 do 1/8.

[FV02] Uriel Feige i Oleg Verbitsky. Redukcja błędów przez równoległe powtarzanie - wynik ujemny. Combinatorica , 22 (4): 461–478, październik 2002 r. Doi: 10.1007 / s00493-002-0001-0 .

Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.