Изменения
Нет описания правки
Таким образом, построенный протокол удовлетворяет условию теоремы.
}}
== См. также ==
*[[Вероятностные вычисления. Вероятностная машина Тьюринга]]
*[[Недетерминированные вычисления. Классы NP и Σ₁]]
[[Категория: Теория сложности]]
