全序

具有以下性质： 如果这个图不是 DAG，那么它是没有拓扑序的； 如果是 DAG，那么它至少有一个拓扑序； 反之，如果它存在一个拓扑序，那么这个图必定是 DGA。 对一个有向无环图(Directed Acyclic Graph简称DAG)G进行拓扑排序，是将G中所有顶点排成一个线性序列，使得图中任意一对顶点u和v，若边(uv)∈E(G)，则u在线性序列中出现在v之前。 通常，这样的线性序列称为满足拓扑次序(Topological Order)的序列，简称拓扑序列