\begin{slide}{Starker Zusammenhang}

(für gerichtete Graphen)

Kanten sind gerichtet, also auch Wege.

(Die Relation $x \sim_G y$ falls es eine Weg von $x$ nach $y$ gibt
ist keine Äquivalenz.)

Die Relation $x \equiv_G y$ falls
es einen Weg von $x$ nach $y$ und einen Weg von $y$ nach $x$ gibt,
\emph{ist} eine Äquivalenzrelation.

Die Äquivalenzklassen heißen
\emph{starke Zusammenhangskomponenten}
(SCC: strongly connected components)

\end{slide}
