概念導讀三頂點DAG的全部排列與Kahn trace完整列valid orders並核source-removal invariant。有向無環圖的拓撲排序derivation-mko-topological-ordering-dag-01