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