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