Изменения

'''Протокол Артура-Мерлина''' - интерактивный протокол доказательства, в котором P<tex>A<tex>(prover, Arthur) видит вероятностную ленту V<tex>M<tex>(verifier, Merlin)(''т.н. public coins'') ==Определение==<tex>AM[f(n)]<tex> - класс языков, для которых существует интерактивный протокол доказательства Артура-Мерлина, причем количество запросов Артура к Мерлину не превышает <tex>f(n)<tex>.