Lecture 32

Continuation of PCP proof. Laid out the three lemmas: Preprocessing (Lemma 1.9 in Dinur's paper), Amplification and Composition. Gave construction of the first phase of the preprocessing lemma (Def 4.1).