Изменения

Перейти к: навигация, поиск

Теорема Голдвассера, Сипсера

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

Навигация