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