Erreichbarkeitsproblem in Graphen

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.