强连通分量Kosaraju算法

优秀博客
[C++图论] 强连通
强连通图的算法

---

概念

  强连通： 在有向图G中，如果两个点u、v是互相可达的，即从u出发可以到达v，从v出发也能到达u，则称u和v是强连通的。如果G中的任意两个点都是互相可达的，称G是强连通图。
  强连通分量： 如果一个有向图G不是强连通图，那么可以把他分成多个子图，其中每个子图的内部是强连通的，而且这些子图已经扩展到最大，不能与子图外的任意点强连通，称这样的一个 “极大强连通” 子图是G的一个强连通分量（SCC）。

---

算法原理

• 一个有向图G，把G所有的边反向，建立反图rG，反图rG不会改变原图的强连通性。也就是说，图G的SCC数量和rG的SCC数量相同。
• 对原图G和反图rG各做一次DFS，可以确定SCC数量。

---

算法步骤

• 在G上做一次DFS，标记点的先后顺序。在DFS的过程中标记所欲呕经过的点，把递归到最底层的那个点标记为最小，然后在回退的过程中，其他点的标记逐个递增。（并不需要找一个特殊的点作为起点）
• 在反图rG上再做一次DFS，顺序从标记最大的点开始到最小的点。首先是f，记录所有它能到达的点，这些点组成了第一个SCC，途中点f只能到达它自己。然后删除f，从剩下的最大的点继续DFS，这次是点e，是第二个SCC。最后从点a开始搜，返回{c，d，b，a}，这是第三个SCC。