TARJAN SCC algorithm