Das
Erreichbarkeitsproblem in Graphen (auch STCON, GAP, PATH oder REACH) behandelt die Frage, ob es in einem
Graphen einen
Weg von einem Knoten
zu einem Knoten
gibt. Existiert solch ein Weg, so ist
von
aus
erreichbar. Andernfalls ist
von
aus
nicht erreichbar.