在无条件去随机化里面可以说是一个被追寻的圣杯。这问题其中一个重大迈进是Omer Reingold证明了SL = L。
SL.在计算复杂度理论，SL（Symmetric Logspace，对称对数空间），是一个复杂度类，是能被在对数空间下解决的判定问题的集合。其存在以下重要性质：<br>USTCON问题（undirected s-t connectivity，关于无向图两点之间是否存在一个路径的问题）作为一个SL完全（SLC，SL-complete）的SL下的重要特例，通常和SL