Изменения
→Определение
3) количество обращений к <tex>P \le f(n) </tex>
==Теорема==
<tex>NP subset IP[1] </tex>, <tex>BPP subset IP[0] </tex>
==Определение==
I = IP[poly] - класс языков, распознаваемых с помощью интерактивного протокола доказательства с полиномиальным числом запросов от <tex> P</tex> к <tex>V</tex>.
