Изменения
Нет описания правки
==Определение==
<tex>AMfAM[f(n)]</tex> - класс языков, для которых существует интерактивный протокол доказательства Артура-Мерлина, причем количество запросов Артура к Мерлину не превышает <tex>f(n)</tex>.
==Теорема(Голдвассер, Сипсер)==
AM = IP
