定义
我们称有向图 G = ( V , E ) G = (V, E) G=(V,E)是强连通的当且仅当对于 G G G中任意两点 u , v u, v u,v都存在一条 u u u到 v v v的路径和一条 v v v到 u u u的路径。
如果 G ′ G' G′为 G G G的一个子图且 G ′ G' G′是强连通的,则称 G ′ G' G′是一个强连通子图。若 G ′ G' G′满足极大性,则称 G ′ G' G′是一个强连通分量。
那么,如果我们将所有的强连通分量都缩成一个点,就可以得到一张 D A G DAG DAG。因为如果存在环的话,就可以继续缩点。
如何求强连通分量(dfs version)

性质1
如果我们从节点 u u