有向無環圖的拓撲排序有限有向圖存在topological ordering恰當其無directed cycle。atlas-topological-ordering-dag · canonical_mko有向無環圖的拓撲排序前置節點有限有向圖實數大小與順序算法正確性數學歸納法