Бюрократы, editor, Администраторы
422
правки
Изменения
м
Свойство completeness можно достичь, а soundness достичь нельзя.
Нет описания правки
Если для интерактивного протокола выполняется <tex> \forall x \notin L \Rightarrow P(V(x) = 1) = 0 </tex>, то говорят, что он обладает свойством <b> soundness </b>.
}}
Свойство completeness можно достичь, а soundness достичь нельзя.
{{Теорема
