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