一个有向图的DFS森林可能具有的全部类型的边：
树向边、回边、从顶点到树中非子女子孙的前向边、交叉边。所有不属于前三种类型的边都属于交叉边。
一条回边的存在意味着有向图具有一个有向的回路。如果一个有向图的DFS森林没有回边，该有向图是一个无环有向图，即有向无环图的简称。
拓扑排序：
按某种次序列出有向图中的顶点，使得对于图中每一条边来说，边的起始顶点总是排在边的结束顶点之前。这个问题称为拜年排序。
拓扑排序的两个算法：
1，DFS。
执行一次DFS遍历，并记住顶点变成死端（即退出遍历栈）的顺序。将该顺序反过来就得到了拓扑排序的一个解。当然，在遍历的时候不能遇到回边。如果遇到一条回边，该图就不是无环有向图，并且对它顶点的拓扑排序是不可能的。
2，基于减治法：
不断地做这样的一件事，在余下的有向图中求出一个源，它是一个没有输入边的顶点，然后把它和所有从它出发的边都删除。如果有多个这样的源，可以任意选择一个。如果这样的源不存在，算法停止，因为该问题是无解的。
来源：https://www.cnblogs.com/cmleung/archive/2011/04/26/2028872.html