两者，则有了RLP，Co-RLP，BPLP，和ZPLP。随机计算对于定义大多数的交互式证明系统也是极为重要的，因为验证者机器需要随机性来避免被全能的证明者预测或者欺骗。 例如说，IP这个类别等同 PSPACE，但是如果把验证者的随机性移除，我们就只有NP，一个一般而言相信(但尚未证明)是比起IP要小的复杂度类。复杂度理论的其中一个重点问题是：是否随机性增加了演算法的能力？ 换句话说，是否有问题在多项式时间内可以以概率图灵机解决但是不能以决定型图灵机解决？或者是决定型图灵机可以在至多只有多项式时间的变