# Complexidade SL

Na teoria da complexidade computacional, SL (Logspace Simétrica ou Sym-L) é a classe de complexidade dos problemas de log-espaço redutível a USTCON (não-s-t conectividade), é 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. Este problema também é chamado de problema da não-acessibilidade. Embora originalmente descrita em termos de máquinas simétricas de Turing, é equivalente a formulação uma muito complexa, e a definição de redutibilidade é o que é usado na prática.
USTCON é um caso especial de STCON (acessibilidade dirigida), o problema de determinar se um caminho dirigido entre dois vértices em um grafo direcionado existe, que é completa para o NL. USTCON é SL-completa, a maioria dos avanços mostram que o impacto USTCON têm também um impacto SL. Assim, eles são conectados, e discutidos em conjunto.
Em outubro de 2004 Omer Reingold mostrou que SL = L.

## Origem

SL foi desenvolvido em 1982 por Lewis e Papadimitriou, que estavam procurando uma classe na qual USTCON pertencia, que até este tempo poderia, na melhor das hipóteses, ser colocado somente na NL, apesar da aparente não requerer não determinismo. Eles definiram o máquina simétrica de Turing, e mostrou que USTCON foi para o SL-completa, e provou que
Onde L é a classe mais conhecida de problemas que podem ser resolvidos por uma máquina de Turing determinística no espaço logarítmico, e NL é a classe de problemas que podem ser resolvidos por máquinas de Turing não deterministas no espaço logarítmico. O resultado da Reingold, discutido mais adiante, mostra que, na verdade, quando limitado a log espaço, a máquina de Turing simétrica é equivalente em energia da máquina de Turing determinística.

## Problema da completude

Por definição, USTCON é SL-completa (i.e. todos os problemas em SL podem ser reduzidos a ela, incluindo ele próprio). Muitos outros problemas em SL-completa foram encontrados, a maioria por redução direta ou indiretamente, a partir de USTCON, e um compêndio deles foi feita por Àlvarez e Greenlaw. Muitos são problemas da teoria dos grafos. Alguns dos mais simples e mais importante SL-completa que eles descrevem incluem:
* USTCON
* Simulação de máquinas simétricas de Turing: um STM aceitar uma dada entrada em um determinado espaço, dado em unário?
* Vértice-disjunto de caminhos: há k caminhos entre dois vértices, o compartilhamento de vértices apenas nos pontos finais? (uma generalização da USTCON, o equivalente a perguntar se um grafo é k-edge-ligado)
* É um gráfico dado um grafo bipartido, ou equivalentemente, ele tem um gráfico de colorir usando 2 cores?
* Fazer dois não-gráficos de ter o mesmo número de componentes conectados?
* Faz um gráfico tiver um número par de componentes conectados?
* Dado um grafo, existe um ciclo contendo uma determinada borda?
* Fazer o que abrange florestas de dois gráficos de ter o mesmo número de arestas?
* Dado um gráfico onde todas as suas arestas possuem pesos distintos, é um dado de borda no peso mínimo de abrangência da floresta?
* Exclusiva ou 2-satisfiability: dada uma fórmula exigindo que x$_i$ xor x$_j$ segure para um número de pares de variáveis (x$_i$,x$_j$), há uma atribuição de variáveis que torna isso verdade?
O complemento de todos estes problemas estão no SL, uma vez que, como veremos, o SL é fechado sob complement.
A partir do fato de que L = SL, segue-se que muitos mais problemas SL-completo, com respeito a reduções em log-espaço: cada problema em L ou em SL é SL-completa; além disso, mesmo se as reduções são em alguns pequenos classe de L, L-integralidade é equivalente a SL-integralidade. Neste sentido, esta classe tornou-se algo trivial.

## Resultados importantes

Não são conhecidos algoritmos clássicos, tais como a pesquisa de profundidade-primeiro e amplitude-a primeira pesquisa que resolve USTCON em tempo e espaço linear. A sua existência, mostrado muito antes de SL foi definido, prova que o SL está contido em P. Também não é difícil mostrar que USTCON, e então SL, é na NL, desde que nós podemos apenas não-determinismo acho que em cada vértice vértice que a próxima visita, a fim de descobrir um caminho, se houver.
A primeira tarefa (não trivial) resultado para o SL, no entanto, foi o teorema de Savitch, revelou-se em 1970, o que proporcionou um algoritmo que resolve USTCON no log$^2$ n espaço. Ao contrário de pesquisa de profundidade-primeiro, no entanto, este algoritmo é impraticável para a maioria das aplicações devido a seus potenciais superpolynomial tempo de execução. Uma conseqüência disso é que USTCON, e então SL, é no DSPACE(log$^2$n). (na realidade, o teorema de Savitch dá o resultado mais forte que NL é no DSPACE(log$^2$n).)
Apesar de não existirem (uniforme) determinista espaço melhorias no Savitch do, um algoritmo muito prático probabilística log-espaço foi encontrado em 1979 por Aleliunas et al.: basta iniciar um vértice e de efetuar um passeio aleatório até encontrar o outro (aceitar) ou até |V|$^3$ em que o tempo passou (rejeitar). Falsas rejeições são feitos com uma pequena delimitada probabilidade de que diminui exponencialmente mais o passeio aleatório é a continuação. Isto mostrou que o SL está contido no RLP, a classe de problemas resolvidos em tempo polinomial e logarítmica espaço com probabilística máquinas que rejeitar incorretamente menos de 1/3 do tempo. Substituindo o passeio aleatório por um universal transversal sequência, Aleliunas et al. mostrou também que o SL está contido em L/poly, um não-uniforme classe de complexidade dos problemas resolvidos de forma determinística em logarítmica espaço com o polinômio de aconselhamento.
Em 1989, Borodin et al. fortalecido esse resultado mostra que o complemento de USTCON, determinar se dois vértices são ligados diferentes componentes, é também na RLP. Esta colocado USTCON, e SL, em co-RLP e na interseção da RLP e co-RLP, que é ZPLP, a classe de problemas que têm de log-espaço, o esperado em tempo polinomial, sem erro algoritmos randomizados.
Em 1992, Nisan, Szemerédi, e Wigderson , finalmente, encontrado um novo algoritmo determinístico para resolver USTCON usando apenas o registo$^{de1,5}$ n espaço. Este foi melhorado um pouco, mas não haveria mais significativos ganhos de até Reingold.
Em 1995, Nissan e Ta-Shma mostrou o resultado surpreendente de que o SL é fechado em complemento, o que na época foi considerado por muitos para ser falsa; isto é, SL = co-SL. Equivalentemente, se um problema pode ser resolvido reduzindo-o a um gráfico e perguntando se dois vértices estão na mesma componente, ele também pode ser resolvido reduzindo-o a um outro gráfico e perguntando se dois vértices são em diferentes componentes. No entanto, Reingold do papel viria a tornar este resultado redundante.
Um dos mais importantes corolários do SL = co-SL é que L$^{SL}$ = SL; isto é, um determinista, log-espaço máquina com um oracle para o SL pode resolver problemas no SL (trivialmente), mas não pode resolver outros problemas. Isto significa que não importa se usamos Turing reducibility ou muitos-um reducibility para mostrar o problema está no SL; eles são equivalentes.
Uma descoberta de outubro de 2004, do papel por Omer Reingold mostrou que USTCON é, na verdade, na L. Desde USTCON é SL-completo, isto implica que SL = L, essencialmente, eliminando a utilidade da consideração do SL como uma classe separada. Algumas semanas mais tarde, estudante de pós-graduação Vladimir Trifonov mostrou que USTCON poderia ser resolvido de maneira determinística utilizando O(log n log log n) o espaço—um resultado mais fraco—como utilizar diferentes técnicas.

## Consequências de L = SL

O colapso de L e SL tem uma série de conseqüências importantes. Mais obviamente, todas SL-completa problemas estão agora em L, e pode ser uma actividade assalariada, na concepção determinista de log-espaço e polylogarithmic-espaço de algoritmos. Em particular, temos um novo conjunto de ferramentas para usar em log-espaço para reduções. Agora também é sabido que o problema é em L se e somente se ela é log-espaço redutível a USTCON.