PCP-система — различия между версиями

Текущая версия на 09:55, 4 августа 2008

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

«completeness»

, существует оракул , такой что,

«soundness»

, и для любого оракула выполняется: