他复杂度类的关联.既然ZPP = RP ∩ coRP，ZPP自然包含在RP和coRP里面。复杂度类P包含在ZPP里面，有一些人猜想P = ZPP，换句话说，所有的拉斯维加斯演算法都有一个等同的决定型多项式时间演算法。如果证明了ZPP =EXPTIME（虽然这猜想几乎是不可能的）将代表P ≠ ZPP，因为P ≠ EXPTIME（参见时间谱系理论）。