St-connectivity

In informatica, la st-connectivity (o STCON) è il problema decisionale che consiste nel verificare se, dati due vertici ${\displaystyle s}$ e ${\displaystyle t}$ di un grafo orientato, ${\displaystyle t}$ è raggiungibile da ${\displaystyle s}$.