拓扑排序[理论]

什么是拓扑序列

通常，这样的线性序列称为满足拓扑次序(Topological Order)的序列，简称拓扑序列。简单的说，由某个集合上的一个偏序得到该集合上的一个全序，这个操作称之为拓扑排序。离散数学中关于偏序和全序的定义：

若集合X上的关系是R,且R是自反的、反对称的和传递的，则称R是集合X上的偏序关系。

设R是集合X上的偏序（Partial Order）,如果对每个x,y属于X必有xRy 或 yRx，则称R是集合X上的全序关系。

比较简单的理解：偏序是指集合中只有部分成员可以比较，全序是指集合中所有的成员之间均可以比较。

注意：

①若将图中顶点按拓扑次序排成一行，则图中所有的有向边均是从左指向右的。

②若图中存在有向环，则不可能使顶点满足拓扑次序。

③一个DAG的拓扑序列通常表示某种方案切实可行。

一般应用

拓扑排序常用来确定一个依赖关系集中，事物