Esiste una versione continua del teorema della ripetizione parallela


13

Il teorema della pretesa parallela di Raz è un risultato importante nel PCP, nell'approssimazione, ecc. Il teorema è fomalizzato come segue.

S , T , A , B πG=(S,T,A,B,π,V)S,T,A,BπS×TV:S×T×A×B{0,1}n G n = ( S n , T n , A n , B n

v(G)=maxhAHA,hBHBs,tπ(s,t)V(s,t,hA(s),hB(t))
nGn=(Sn,Tn,An,Bn,πn,Vn)v(G)1ϵ, quindi .v(Gn)(1ϵc)Ω(nlogmax{|A|,|B|})

La mia domanda è cosa succede se gli insiemi sono infiniti, in uno spazio continuo. Dì se S,T,A,B sono sottoinsiemi di uno spazio, diciamo Rn , o più spazi astratti. Tutto il resto è uguale. Il teorema di Raz fornisce solo un banale limite superiore 1 poiché le dimensioni dei set di risposte sono infinite. Ovviamente il valore n -fold è limitato da una singola copia. La diminuzione esponenziale si verifica anche in caso continuo? Sarebbe più interessante limitare HA,HB ad essere raccolte di funzioni continue o funzioni C o funzioni misurabili?

Risposte:


8

La diminuzione esponenziale si verifica anche in caso continuo?

No. Feige e Verbitsky [FV02] hanno mostrato che per ogni n esiste un gioco G (con serie finite di domande e risposte) tale che v ( G ) ≤3 / 4 e v ( G n ) ≥1 / 8. Poiché la tua formulazione generalizza i giochi con serie finite di domande e risposte di qualsiasi dimensione, la ripetizione parallela (di qualsiasi fine finemente) non può ridurre il valore di un gioco da 3/4 a 1/8.

[FV02] Uriel Feige e Oleg Verbitsky. Riduzione dell'errore mediante ripetizione parallela: un risultato negativo. Combinatorica , 22 (4): 461–478, ottobre 2002. doi: 10.1007 / s00493-002-0001-0 .

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.