ST-Conectividade é o problema de determinar se existe um caminho entre dois vértices dirigidos distintos e em um grafo orientado G (V, E) . Se esse problema pode ser resolvido no espaço de logs, é um problema aberto de longa data. Isso é chamado de problema NL vs L.
Qual é a complexidade da conectividade ST, quando o gráfico não direcionado subjacente de limita a largura de árvore.
É conhecido por ser NL-difícil? Existe um limite superior conhecido?
fonte