Strongly connected subgraphs (Tarjan).