Na teoria da complexidade computacional, SL é a classe de complexidade dos problemas de log-espaço redutível a USTCON, é o problema de determinar se existe um caminho entre dois vértices em um grafo não direcionado, caso contrário, descrito como o problema de determinar se dois vértices estão no mesmo componente conectado. Wikipedia