Изменения
→Замечание
==Замечание==
На самом деле '''NP ⊂ dIP[1]''', где '''dIP[1]''' - аналог '''IP[1]''', за исключением того, что <tex>V<\/tex> из '''dIP[1]''' - детерминированная машина Тьюринга.
==Определение==
'''IP = IP[poly]''' - класс языков, распознаваемых с помощью интерактивного протокола доказательства с полиномиальным числом запросов от <tex>V</tex> к <tex>P</tex>.
