Изменения

Перейти к: навигация, поиск

Интерактивные протоколы. Класс IP. Класс AM

Нет изменений в размере, 00:55, 30 апреля 2016
м
Нет описания правки
# <tex>\mathit{Verifier}</tex> ограничен полиномиальным временем работы.
}}
[[Файл:IPS.png|250px600px|thumb|right|Схема интерактивного протокола.]]
<tex>\mathit{Verifier}</tex>, обменивающийся сообщениями с <tex>\mathit{Prover}</tex>, будем обозначать <tex>\mathit{Verifier^{Prover}}</tex>.
210
правок

Навигация