Изменения
→Теорема(Голдвассер, Сипсер)
<tex>AM[f(n)]</tex> - класс языков, распознаваемых с помощью интерактивного протокола доказательства Артура-Мерлина, причем количество запросов <tex>V</tex> к <tex>P</tex> не превышает <tex>f(n)</tex>.
==Теорема(Голдвассер, Сипсер)Формулировка теоремы==
<tex>IP[f(n)] = AM[f(n)+2]</tex>
