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