Изменения
→Доказательство
Второе утверждение очевидно, так как для проверки принадлежности слова к языку из [[Сложностный класс BPP|BPP]] хватает вычислительной мощности <tex>V</tex>, и запросов к <tex>P</tex> делать не нужно.
==Замечание==
На самом деле <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>.
