Изменения
→Доказательство
==Доказательство==
Первое утверждение верно, так как определить, принадлежит ли слово языку можно за один запрос от <tex>V</tex> к <tex>P</tex>. <tex>V</tex> посылает запрос к <tex>P</tex> и в ответ либо получает сертификат(если слово принадлежит языку), либо не получает(если слово не принадлежит языку).
Второе утверждение очевидно, так как для проверки принадлежности к [[Сложностный класс BPP|<tex>BPP</tex> ]] хватает вычислительной мощности <tex>V</tex>, и запросов к <tex>V</tex> делать не нужно.
==Определение==
<tex>I = IP[poly]</tex> - класс языков, распознаваемых с помощью интерактивного протокола доказательства с полиномиальным числом запросов от <tex>V</tex> к <tex>P</tex>.
