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