'Gap qs' diaporamas de présentation

The P C P starting point

418 views • 28 slides

PCP Characterization of NP: Proof chapter 1

PCP Characterization of NP: Proof chapter 1. PCP Proof Map. In previous lectures:. 3SAT. Clauses to polynomials. Solvability. Introducing new variables. QS. Error correcting codes. Gap-QS[O(n), ? ,2| ?| -1 ]. PCP Proof Map. Later:. Gap-QS[O(n), ? ,2| ?| -1 ]. Sum Check.

254 views • 24 slides

PCP Characterization of NP: Proof chapter 1

153 views • 14 slides

PCP Characterization of NP: Proof chapter 3

PCP Characterization of NP: Proof chapter 3. PCP Proof Map. ?. Gap-QS[O(n), ? ,2| ?| -1 ]. Sum Check. quadratic equations of constant size with consistency assumptions. Gap-QS cons [O(1), ? ,2| ?| -1 ]. ?. ? BUT it remains to prove the composition-recursion lemma. Consistent Reader.

122 views • 11 slides