无向图:(特别简单,一条道走到黑visited最深节点,此时该节点相当于被消除掉了,再backtrack陆续viseted各末端节点,沿途标记边只有两种,途径的为tree,没走的就是backward。)
1、任取一点开始,沿通路找到下一个节点,将其标记为discovered,将该边标记为tree;
2、一直进行到最末节点,无路可走,将该节点标记为visited,并backtrack回到上一节点,若遇到回向边标记为backward。
有向图:
1、任取一点开始,沿着出边找到下一个节点,标记discovered,边标记为tree。
2、穷途末路之时标记为visited,backtrack,若遇到回向边,则标记为backward;
3、如果在backtrack时遇到出边指向一个visited点,则比较二者的dtime,若自己的时间较早,则是祖先,标记为forward(即指向孩子节点的边);若是较晚,则对方是兄长,标记为cross边。(注意这两种都是出边,且对方是visited状态的节点。)
4、最后,记得在算法的最外层包一层检查所有点是否都已经visited。
嵌套引理(括号引理):祖先的生存期一定包含后代的生存期,后代的生存期一定包含在祖先的生存期之中。因为我们记录了dtime(发现时间)和ftime(访问时间),所以生存期的包含关系O(1)可知!
例题:拓扑排序之零出度算法——调用DFS算法,0出度的点对应于visited操作的点,以栈压入之,最后弹栈输出,即可得拓扑排序的结果。