Изменения
→Свойства
|statement = <tex>\mathrm{PCP}[poly(n), 0]</tex> = <tex>\mathrm{coRP}</tex>.
|proof =
TODO: По-моему, бред и равен <tex>\mathrm{BPP}</tex>, т.к. ошибка как минимум, двухсторонняя.
Очевидно следует из [[Вероятностные вычисления. Вероятностная машина Тьюринга#Вероятностные сложностные классы|определения coRP]].
}}
