Tarjan算法详解

Tarjan算法详解

　　今天偶然发现了这个算法，看了好久，终于明白了一些表层的知识、、、、在这里和大家分享一下。。。

　　Tarjan算法是一个求解极大强联通子图的算法，相信这些东西大家都在网络上百度过了，这里不再赘述。

　　在这个算法中，定义了两个数组，一个是dfn数组，一个是low数组，相信大家在这里就晕了（我也晕了、、），不过自己模拟了几次算法执行过程之后，就理解了这个算法的意思，如果大家不明白，也可以这样做

　　我觉得突破点主要在dfn数组和low数组的含义该如何诠释：

dfn数组：　意思就是在dfs的过程中，当前的这个节点是第几个被访问的

low数组：　有些并查集的意思，就是在dfs的过程中，标记如果当前节点是极大强联通子图的话，他的根节点的标号就是对应的low值：

　　　　　  如果下一个要遍历的节点在栈中，那么就要把当前节点的low值设置成 下一个节点（在栈中）的dfn值，dfn值是什么呢？就是记录这个节点是第几个被遍历到的。

　　　　　  如果下一个要遍历的节点不再栈中，那么就要把当前节点的low值设置成下一个节点和当前节点的low值中最小的那个。

如果还是不太明白，仔细看两遍把、、、、要不然还可以看看下面的模拟过程吧：

（1）假如从1号节点开始遍历，开始dfs，并不断设置当前节点的dfn值和low值，并压入栈中，那么第一次在6处停止，因为6没有出度。那么此时的dfn和low值分别为：（初始化所有的low和dfn为0）

节点: 1　　2　　3　　4　　5　　6

dfn:  1　　0　　2　　0　　3　　4

low:  1　　0　　2　　0　　3　　4

栈：   1　　3　　5　　6

（2）6号节点没有能出边了，那么6号节点自己就成为一个极大强联通子图，弹出6，对5来说，6被访问过了，所以它也没有能访问的边了，那么5 也是一个极大强联通子图，弹出5

（3）现在模拟指针在3的位置，3遍历到4，四再遍历1号节点，因为1号节点还在栈中，那么就代表着栈中的现有的所有元素构成了一个强联通图（仔细想想、、），而且4号节点访问到了1号节点，那么就把low[4]的值设置为1号节点的根吧（low[1]）那么现在的low[4] = 1（代表着4的根节点是1），再接着访问4的下一个子节点，6号节点，而6已经被访问过了，所以退出循环，退到3号节点处，3号节点也没有能访问的下一个节点了，退回到1号节点处。

（4）现在访问1号节点的下一个能访问的节点，2号节点，然后再访问4号节点，因为4号节点现在在栈中，那么还是像刚才一样，把二号节点的low值设置成4号节点的根（low[4]），现在，退回到1，遍历结束。

现在栈中有元素1，3，4，2，剩下的就是极大强联通子图了。。。

网上有许多详解Tarjan算法的例子，如果刚才我描述的还是看不懂，可以参见http://wenku.baidu.com/view/112c64096c85ec3a87c2c527.html?re=view