强连通分量（dfs version）

定义

我们称有向图$G=(V,E)$是强连通的当且仅当对于$G$中任意两点$u,v$都存在一条$u$到$v$的路径和一条$v$到$u$的路径。

如果$G^{\prime }$为$G$的一个子图且$G^{\prime }$是强连通的，则称$G^{\prime }$是一个强连通子图。若$G^{\prime }$满足极大性，则称$G^{\prime }$是一个强连通分量。

那么，如果我们将所有的强连通分量都缩成一个点，就可以得到一张$DAG$。因为如果存在环的话，就可以继续缩点。

如何求强连通分量（dfs version)

性质1

如果我们从节点 u u