Tarjan's_strongly_connected_components_algorithm