計算複雑性理論におけるSLとは、USTCON問題に対数領域還元可能な問題の複雑性クラスである（SymmetricLogspaceの略）。
在计算复杂度理论，SL（SymmetricLogspace，对称对数空间），是一个复杂度类，是能被对称图灵机（英语：SymmetricTuringmachine）在对数空间下解决的判定问题的集合。