PCP-система

Материал из DISCOPAL
Версия от 09:55, 4 августа 2008; WikiSysop (обсуждение) (1 версия)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

PCP-cистемой, т. е. системой вероятностной проверки доказательств (от Probability Checkable Proof) для языка L, называется вероятностная машина Тьюринга с оракулом M, для которой выполняются следующие условия:

«completeness»
, существует оракул , такой что,
«soundness»
, и для любого оракула выполняется:

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.