The PCP Theorem via gap amplification
The PCP Theorem via gap amplification. Irit Dinur Hebrew University. P rob. C heckable. P roof. The PCP Theorem [AroraSafra, AroraLundMotwaniSudanSzegedy, 1992]. If sat( ) = 1 then 9 proof , Pr[ Ver accepts] = 1 If sat( ) < 1 then 8 proof , Pr[ Ver accepts] < ½. Verifier.
483 views • 28 slides