RP，Co-RP，BPP and ZPP。 如果我们把多项式时间的限制改成对数空间的限制，我们则有了跟上面雷同的RL，Co-RL，BPL，和ZPL。如果我们同时限制两者，则有了RLP，Co-RLP，BPLP，和ZPLP。随机计算对于定义大多数的交互式证明系统也是极为重要的，因为验证者机器需要随机性来避免被全能的证明者预测或者欺骗。 例如说，IP这个类别等同 PSPACE，但是如果把验证者的随机性移除，我们就只有NP，一个一般而言相信(但尚未证明)是比起IP要小的复杂度类。复杂度理论的其中一个重点问题