基本介绍
网上看了很多关于求解一个有向图的强连通分支个数的算法,其中最著名的莫过于:
Kosaraju 算法
看的比较晕!
过程如下:
1。 创建一个空的栈 S,并做一次 DFS 遍历。在 DFS 遍历中,当在递归调用 DSF 访问邻接顶点时,将当前顶点压入栈中;
2。 置换图(Transpose Graph);
3。 从栈 S 中逐个弹出顶点 v,以 v 为源点进行 DFS 遍历。从 v 开始的 DFS 遍历将输出 v 关联的强连通分支。直到S中元素全部弹出。
算法原理理解
先说一下强连通分支:
比如上图中1,0,2属于一个强连通分支。
讲述之前先说一个自己理解的重要基本知识点:
在一个有向图中,如果s和v连接(之间连着路,但并不表示s到v可达或者v到s可达,只是说连着)。将这个有向图的所有路径取反,在邻接矩阵中对应着矩阵转置,如果: s能够抵达v,那么:在原图中,一定是v能够抵达s。
这个结论很明显,明显的不需要证明。然而就是这么一个结论,是理解本算法的最关键的一点。
很明显在第一步DFS过程中,依次入栈的元素是:
1,2,4,3,0。
这个不解释!我之前一直调试不对的原因是把入栈元素代码放在最前面了。
int DFS_1(int *map, int v,bool *visited,int N, stack<int> &S)
{
visited[v] = 1;//v被访问过
//S.push(v);//入栈操作错误!
for (int i = 0; i < N; i++)
{
if (!visited[i] &&