210
правок
Изменения
м
Нет описания правки
Если для интерактивного протокола выполняется <tex> \forall x \notin L \Rightarrow \forall P : \mathbb{P}(V_{P}(x) = 1) \leqslant 1 - \alpha </tex>, то говорят, что он обладает свойством ''' soundness ''' равным <tex> \alpha </tex>.
}}
Если soundeness soundness равно <tex> 1 </tex>, это означет, что если утверждение ложно, то никакой <tex>P</tex> не может убедить <tex>V</tex>, что утверждение истино.
Свойство completeness можно достичь, а soundness достичь нельзя.
