而不花费超过多项式时间或者对数空间的资源。有时RL这个名称使用于使用对数空间不限时间能解决的问题其复杂度类。然而，根据，上述这个类别可以使用概率计数器证明RL' = NL，因此一般直接使用NL来代表。我们也知道RL ⊆ NL里面。另外RL ⊆BPL内，这两个复杂度相似但是BPL允许双向容错（跟RL相比多出回答YES时可以犯错这部份）。显然地有RL ⊆ L，因为其定义比起L更一般化。Nisan于1992年证明了一个较弱的去随机化，推论出RL ⊆ SC，SC包含一般图灵机以多项式时间和多项式对数空间解