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