强连通分量算法之kosaraju的一些理解

kosaraju计算有向图强连通分量算法的一点小理解

这个算法我认为主要是难理解为什么进行两次dfs，我们可以想一个图求反向图之后，从一个原点进行dfs然后访问完节点后回溯到最后肯定还是原点，那么反向图dfs过程中可以访问到的点在原图中一定是可以到达原点的(举个栗子 :如果反向图有a->b那么原图肯定有b->a),这样的话就好办了，我们在从最后回溯到的那个点(设为a)为起点对原图求一次dfs，如果发现又有一条a->b的边，那么a和b肯定属于同一个强连通分量中。