Теорема Голдвассера, Сипсера — различия между версиями
(Новая страница: «==Теорема(Голдвассер, Сипсер)== AM = IP») |
|||
| Строка 1: | Строка 1: | ||
| + | '''Протокол Артура-Мерлина''' - интерактивный протокол доказательства, в котором прувер видит вероятностную ленту верифайера. (''т.н. public coins'') | ||
| + | |||
==Теорема(Голдвассер, Сипсер)== | ==Теорема(Голдвассер, Сипсер)== | ||
AM = IP | AM = IP | ||
Версия 20:21, 17 мая 2010
Протокол Артура-Мерлина - интерактивный протокол доказательства, в котором прувер видит вероятностную ленту верифайера. (т.н. public coins)
Теорема(Голдвассер, Сипсер)
AM = IP
