Componente tare conexe (Kosaraju)

Două parcurgeri DFS — pe graf și pe transpus — separă CTC-urile.