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