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