Теорема Голдвассера, Сипсера — различия между версиями
| Строка 1: | Строка 1: | ||
| − | '''Протокол Артура-Мерлина''' - интерактивный протокол доказательства, в котором | + | ==Определение== |
| + | '''Протокол Артура-Мерлина''' - интерактивный протокол доказательства, в котором P(prover) видит вероятностную ленту V(verifier)(''т.н. public coins'') | ||
==Теорема(Голдвассер, Сипсер)== | ==Теорема(Голдвассер, Сипсер)== | ||
AM = IP | AM = IP | ||
Версия 20:24, 17 мая 2010
Определение
Протокол Артура-Мерлина - интерактивный протокол доказательства, в котором P(prover) видит вероятностную ленту V(verifier)(т.н. public coins)
Теорема(Голдвассер, Сипсер)
AM = IP
