독특한 게임 추측이 PCP 정리를 암시한다는 것을 보여주는 간단한 주장이 있습니까?

"고유 게임 추측"과 "PCP 정리"의 관계가 무엇인지 어떻게 알 수 있습니까? "독특한 게임 추측"이 "PCP 정리"의 더 강력한 형태라고 어떻게 설명합니까?

관련 Khot의 -conjecture 완벽한 완성도와 PCP의 정리를 의미한다 : 증거는 정점의 라벨을 줄 것으로 예상된다. 검증기는 엔드 포인트를 쿼리하는 임의의 에지를 선택하고 구속 조건이 유지되는 경우 수락합니다.$2-1$

Boaz가 쓴 것처럼 고유 한 게임 추측에서 완벽한 완성도를 가진 PCP 정리를 얻으려면 PCP를 완벽한 완전성을 갖춘 것으로 변환해야합니다 . 이를 수행하는 한 가지 방법은 다음과 같습니다.$(c,s)$

구속 조건마다 하나씩 새 변수를 추가하고, 새로운 변수가 참이거나 구속 조건이 이전에 충족 된 경우 만족되도록 구속 조건을 수정하십시오. 이제 m 비트 세트 (= 새로운 변수)가 최대 또는 적어도 ( 1 - s ) ⋅ m 의 합계를 갖는지를 결정하기위한 PCP를 찾는 것에 대한 의문이 줄어 들었습니다 . 이것은 사소한 질문처럼 보이지만 PCP 정리보다 쉽습니다.$(1-c)\cdot m$$(1-s)\cdot m$

$s<1$$c>s$

$c$$1$$s$$0$

불완전한 완전성을 가진 PCP를 완전 완전성을 가진 것으로 변환하는 쉬운 변형이 있는지 물어볼 수 있습니다. PCP 정리를 증명하는 것보다 쉽게 ​​할 수 있다고 생각하지만, 아주 간단한 논쟁의 순간에는 알지 못합니다.