拓扑排序可以用作检测有向图是否有环。 对于一个有向图明确偏序和全序。全序就是有向图中所有的节点都是可以明确比较的,如节点顺序a1<=a2,表示a1先于a2。偏序就是有向图中有一些节点两两之间不可以比较,这就可能形成环,当然也可能不是环。 如果把所有能比较的节点按顺序列出来:拓扑有序序列。如果所有的节点都在序列中就表明是有向无环图。 拓扑排序 有向无环图(directed acycline graph)