Изменения

<tex>I = IP[poly]</tex> - класс языков, распознаваемых с помощью интерактивного протокола доказательства с полиномиальным числом запросов от <tex> PV</tex> к <tex>VP</tex>.