(u → v)uv是图必须是DAG。如果图中含有环（循环依赖），则不存在有效的拓扑序列。拓扑排序的结果并不唯一——。一个有向无环图至少会有一种拓扑排序，当存在多个并行不相关的依赖关系时，可能会有多种合法的拓扑序。在以上场景中，我们都可以抽象出一个有向无环图，其中节点表示任务/课程/模块等元素，有向边表示先后依赖关系。拓扑排序可以帮助我们在线性时间内找出满足所有依赖约束的序列。