Function petgraph::algo::kosaraju_scc

pub fn kosaraju_scc<G>(g: G) -> Vec<Vec<G::NodeId>>where
    G: IntoNeighborsDirected + Visitable + IntoNodeIdentifiers,

[Generic] Compute the strongly connected components using Kosaraju’s algorithm.

Return a vector where each element is a strongly connected component (scc). The order of node ids within each scc is arbitrary, but the order of the sccs is their postorder (reverse topological sort).

For an undirected graph, the sccs are simply the connected components.

This implementation is iterative and does two passes over the nodes.