O difícil é a inclusão da oposição: np⊂ pcp1,1/2 (O (ln (n), o (1)), ou seja, a existência de provadores PCP para problemas de decisão do NP. Uma das inclusões no PCPTeorema, PCP1,1/2 (O (Ln (n), O (1)) ⊂ NP, não é tão difícil. Somente em quatro atribuições das variáveis booleanas faz uma certa fórmula booleana avaliada para 1): W1= (0,0,0,1,1), W2 = (0,1,0,1,0), W3 = (0,1,0,1,1) e W4 = (1,1,0,0,1). Mas primeiro, o que os parâmetros α, β, r (n), q (n) representam? Vamos agora explicar o que isso significa para um problema de decisão δ pertencer à classe de complexidade pcpα, β (r(n), q (n)).
Fonte: https://consensys.net/blog/developers/a-not-so-gentle-introduction-to-the-pcp-theorem-part-1/
