Класс PCP

Определение

Классом PCP[r(n), q(n)] (PCP - Probabilistically Checkable Proof), где [math]n[/math] - длина входного слова, называется множество языков, распознаваемых машиной [math]V^{\pi}(x)[/math], обладающей следующими свойствами:

1) Время работы [math]V^{\pi}(x)[/math] ограничено сверху некоторым полиномом от длины [math]x[/math]

2) [math]\pi[/math] - некоторая строка, выступающая в качестве средства доказательства (аналогично P в интерактивном протоколе доказательства). Очевидно, ее длина не превосходит 2^poly(x), так как только к такому множеству позиций сможет обратиться [math]V[/math]

3) [math]V[/math] - вероятностная машина Тьюринга, обращающаяся к случайной ленте не более [math]r(n)[/math] раз

4) [math]V[/math] обращается к строке [math]\pi[/math] не более [math]q(n)[/math] раз

5) [math]x \in L \Rightarrow \exists \pi : Pr(V^{\pi}(x)=1)=1 \ [/math] , где [math]Pr(V^{\pi}(x)=1)[/math] - вероятность того, что [math]V[/math] допустит [math]x[/math]

6) [math]\ x \notin L \Rightarrow \forall \pi : Pr(V^{\pi}(x)=1)\le \frac{1}{2} [/math]

Свойства

1) PCP[0, 0] = P (по определению P - нет случайности и обращений к [math]\pi[/math])

2) PCP[log(n), 0] = P (логарифмическое число обращений к случайной ленте не помогают, так как можно за полиномиальное время перебрать всевозможные результаты обращений)

3) PCP[0, log(n)] = P (логарифмическое число обращений к строке [math]\pi[/math] также не помогают, так как можно аналогичным образом перебрать всевозможные результаты обращений)

4) PCP[poly(n), 0] = coRP (по определению coRP)

5) PCP[0, poly(n)] = NP (по определению NP на языке сертификатов)

6) PCP[log(n), O(1)] = NP (PCP-теорема)