强连通分量

有向图中互相可达的点组成的极大集合。Tarjan 算法一遍 DFS 就能求出。