Изменения
Нет описания правки
==Определение=='''Протокол Артура-Мерлина''' - интерактивный протокол доказательства, в котором прувер P(prover) видит вероятностную ленту верифайера. V(verifier)(''т.н. public coins'')
==Теорема(Голдвассер, Сипсер)==
AM = IP
