Tarjan nutzt eine einzige Tiefensuche mit Stack, Entdeckungszeiten und Lowlink-Werten.
Wenn ein Knoten sein eigener Lowlink-Wurzelknoten ist, wird eine SCC vom Stack entfernt.