Starker Zusammenhang und Zusammenhangskomponenten

Der starke Zusammenhang definiert die wechselseitige Erreichbarkeit innerhalb gerichteter Strukturen.

Stark zusammenhängend: Zwei Knoten $u, v \in V (G)$ heißen stark zusammenhängend, wenn $u$ von $v$ aus erreichbar ist UND gleichzeitig $v$ von $u$ aus erreichbar ist.
Starke Zusammenhangskomponente (SCC): Ein maximaler Untergraph $C \subseteq G$ , in dem alle enthaltenen Knoten paarweise stark zusammenhängend sind. Die starken Zusammenhangskomponenten bilden eine Partition der Knotenmenge $V (G)$ in Äquivalenzklassen.