Изменения
→Определение
Классом <tex>IP[f(n)]</tex> (IP = interactive proof) называется множество языков, распознаваемых с помощью интерактивного протокола доказательства. При этом:
1) <tex>x \in L \Rightarrow PPr(V^{P}(x)=1)\ge \frac{2}{3} \ </tex>, где <tex>(V^{P}(x)=1)</tex> - вероятность того, что <tex>V</tex> допустит <tex>x</tex>
2) <tex>\forall Q \ x \notin L \Rightarrow PPr(V^{Q}(x)=1)\le \frac{1}{3} </tex>
3) количество обращений к <tex>P \le f(n) </tex>
