Изменения

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

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

256 байт добавлено, 20:21, 17 мая 2010

Нет описания правки

'''Протокол Артура-Мерлина''' - интерактивный протокол доказательства, в котором прувер видит вероятностную ленту верифайера. (''т.н. public coins'')

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

AM = IP

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/1077»