:::NL.L是NL的子集，NL是可以被非确定型图灵机利用对数空间解决的判定问题集合。利用萨维奇定理的建构式证明，可得证NL包含在复杂度P之内，也就是可以被确定型图灵机在多项式空间解决的判定问题集合中。存在几个已知的NL-完全问题，如。根据萨维奇定理，我们已知有以下重要性质：
RL.在计算复杂度理论内，RL（Randomized Logarithmic-space，随机对数空间），或者说RLP（Randomized Logarithmic-space Polynomial-