Приводится алгоритм который за один проход по стрелкам строит множество узлов и приписывает каждый узел его связной компоненте.
Прелесть этого алгоритма в том что он не ходит вдоль стрелок (или дуг).
Оказалось что это не нужно для разбиения множества узлов на связные компоненты!