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