Raz의 병렬 예측 정리 는 PCP, 근사치 등에서 중요한 결과입니다. 정리는 다음과 같이 정리됩니다.
게임 , 여기서 S , T , A , B 는 유한 세트이고, π 는 S × T 의 분포 이고 술어는 V : S × T × A × B → { 0 , 1 } . 게임의 가치 정의 v ( G ) = max hG = ( S, T, A, B, π, V)에스, T, A, Bπ에스× TV: S× T× A× B→ { 0 , 1 } 와N-fold 게임GN=(S, N,TN,N,B, N,πN,
v ( G ) = 최대hㅏ∈ Hㅏ, h비∈ H비∑s , tπ( s , t ) V( s , t , hㅏ( 들 ) , h비( t ) )
엔 . 정리 말한다 경우
V ( G ) ≤ 1 - ε , 다음
V ( G N ) ≤ ( 1 - ε C ) Ω ( N지엔= ( S엔, T엔, A엔, B엔, π엔, V엔)v ( G ) ≤ 1 − ϵ ,.
v ( G엔) ≤ ( 1 - ε씨)Ω ( n로그최대 { | A | , | B | })
내 대기열은 연속 공간에서 세트가 무한한 경우에 발생합니다. 만약 대답 공간의 서브 세트이며, 말 R N 또는 추상적 스페이스. 나머지는 모두 같습니다. 답 세트의 크기가 무한하기 때문에 Raz의 정리는 사소한 상한 1 만 제공합니다 . 분명히 n -fold 값은 단일 사본으로 상한입니다. 연속적인 경우에도 지수 감소가 발생합니까? H A , H B 를 연속 함수 또는 C ∞ 함수 또는 측정 가능한 함수의 모음 으로 제한하는 것이 더 흥미로울 까요?에스, T, A, B아르 자형엔1엔Hㅏ, H비C∞