ST-Connectivity è il problema di determinare se esiste un percorso diretto tra due vertici distinti e t in un grafico diretto G ( V , E ) . Se questo problema può essere risolto nello spazio dei registri, è un problema aperto di vecchia data. Questo è chiamato problema N L vs L.
Qual è la complessità di ST-Connectivity, quando il grafico non orientato sottostante di ha limitato la larghezza degli alberi.
È noto per essere NL-difficile? È noto un limite superiore ?