摘要： 给定一个有向图G，对于任意一条有向边<Vi,Vj>，称Vi是Vj的直接前驱，Vj是Vi的直接后继，这种前驱与后继的关系具有传递性。 如果一个图的任何一个节点都具有反自反性，也就是说任何一个节点都不是自己的前驱或后继，那么这个有向图是拓扑有序的。拓扑序列：通常，这样的线性序列称为满足拓扑次序(Topological Order)的序列，简称拓扑序列。简单的说，由某个集合上的一个偏序得到该集合上的一个全序，这个操作称之为拓扑排序。离散数学中关于偏序和全序的定义： 若集合X上的关系是R是自反的、反对称的和传递的，则称R是集合X上的偏序关系。 设R是集合X上的偏序（Partial Orde 阅读全文