ZPP

$L \in ZPP \iff$ существует ВМТ (не обязательно полиномиальная на каждом входе):

• $x \in L \iff M(x) = 1$
• $\exists \varepsilon > 0:~\mathbb{E}(T(x,r)^{\varepsilon}) \leq n$