Kosaraju 算法求解一个有向图的强连通分支个数

基本介绍

网上看了很多关于求解一个有向图的强连通分支个数的算法，其中最著名的莫过于：
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] &&