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