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