Question

定义：对有向无回路图 G=(V,E) 进行须拓扑排序后，结果为该图所有顶点的一个线性序列，满足如果 G 包含边(u, v)，则在该序列中，u 就出现在 v 的前面（如果图是有回路的，就不可能存在这样的线性序列）。

定理：一个有向图 G 是无回路图，当且仅当对 G 进行深度优先搜索时没有得到反向边。