一、拓扑排序介绍

拓扑排序(Topological Order)是指，将一个有向无环图(Directed Acyclic Graph简称DAG)进行排序进而得到一个有序的线性序列。

这样说，可能理解起来比较抽象。下面通过简单的例子进行说明！

例如，一个项目包括A、B、C、D四个子部分来完成，并且A依赖于B和D，C依赖于D。现在要制定一个计划，写出A、B、C、D的执行顺序。这时，就可以利用到拓扑排序，它就是用来确定事物发生的顺序的。

在拓扑排序中，如果存在一条从顶点A到顶点B的路径，那么在排序结果中B出现在A的后面。

二、拓扑排序的算法图解

拓扑排序算法的基本步骤：

1. 构造一个队列Q(queue) 和 拓扑排序的结果队列T(topological)；

2. 把所有没有依赖顶点的节点放入Q；

3. 当Q还有顶点的时候，执行下面步骤：

3.1 从Q中取出一个顶点n(将n从Q中删掉)，并放入T(将n加入到结果集中)；

3.2 对n每一个邻接点m(n是起点，m是终点)；

3.2.1 去掉边;

3.2.2 如果m没有依赖顶点，则把m放入Q;

注：顶点A没有依赖顶点，是指不存在以A为终点的边。

拓扑排序 - 图1

以上图为例，来对拓扑排序进行演示。

拓扑排序 - 图2

第1步：将B和C加入到排序结果中。

​ 顶点B和顶点C都是没有依赖顶点，因此将C和C加入到结果集T中。假设ABCDEFG按顺序存储，因此先访问B，再访问C。访问B之后，去掉边和，并将A和D加入到队列Q中。同样的，去掉边和，并将F和G加入到Q中。

​ (01) 将B加入到排序结果中，然后去掉边和；此时，由于A和D没有依赖顶点，因此并将A和D加入到队列Q中。

​ (02) 将C加入到排序结果中，然后去掉边和；此时，由于F有依赖顶点D，G有依赖顶点A，因此不对F和G进行处理。

第2步：将A,D依次加入到排序结果中。

​ 第1步访问之后，A,D都是没有依赖顶点的，根据存储顺序，先访问A，然后访问D。访问之后，删除顶点A和顶点D的出边。

第3步：将E,F,G依次加入到排序结果中。

因此访问顺序是：B -> C -> A -> D -> E -> F -> G

三、拓扑排序的代码说明

拓扑排序是对有向无向图的排序。下面以邻接表实现的有向图来对拓扑排序进行说明。

1. 基本定义

  1. public class ListDG {
  2.     // 邻接表中表对应的链表的顶点
  3.     private class ENode {
  4.         int ivex;       // 该边所指向的顶点的位置
  5.         ENode nextEdge; // 指向下一条弧的指针
  6.     }
  8.     // 邻接表中表的顶点
  9.     private class VNode {
  10.         char data;          // 顶点信息
  11.         ENode firstEdge;    // 指向第一条依附该顶点的弧
  12.     };
  14.     private VNode[] mVexs;  // 顶点数组
  16.     ...
  17. }

(01) ListDG是邻接表对应的结构体。 mVexs则是保存顶点信息的一维数组。

(02) VNode是邻接表顶点对应的结构体。 data是顶点所包含的数据，而firstEdge是该顶点所包含链表的表头指针。

(03) ENode是邻接表顶点所包含的链表的节点对应的结构体。 ivex是该节点所对应的顶点在vexs中的索引，而nextEdge是指向下一个节点的。

2. 拓扑排序

  1. /*
  2.  * 拓扑排序
  3.  *
  4.  * 返回值：
  5.  *     -1 -- 失败(由于内存不足等原因导致)
  6.  *      0 -- 成功排序，并输入结果
  7.  *      1 -- 失败(该有向图是有环的)
  8.  */
  9. public int topologicalSort() {
  10.     int index = 0;
  11.     int num = mVexs.size();
  12.     int[] ins;               // 入度数组
  13.     char[] tops;             // 拓扑排序结果数组，记录每个节点的排序后的序号。
  14.     Queue<Integer> queue;    // 辅组队列
  16.     ins   = new int[num];
  17.     tops  = new char[num];
  18.     queue = new LinkedList<Integer>();
  20.     // 统计每个顶点的入度数
  21.     for(int i = 0; i < num; i++) {
  23.         ENode node = mVexs.get(i).firstEdge;
  24.         while (node != null) {
  25.             ins[node.ivex]++;
  26.             node = node.nextEdge;
  27.         }
  28.     }
  30.     // 将所有入度为0的顶点入队列
  31.     for(int i = 0; i < num; i ++)
  32.         if(ins[i] == 0)
  33.             queue.offer(i);                 // 入队列
  35.     while (!queue.isEmpty()) {              // 队列非空
  36.         int j = queue.poll().intValue();    // 出队列。j是顶点的序号
  37.         tops[index++] = mVexs.get(j).data;  // 将该顶点添加到tops中，tops是排序结果
  38.         ENode node = mVexs.get(j).firstEdge;// 获取以该顶点为起点的出边队列
  40.         // 将与"node"关联的节点的入度减1；
  41.         // 若减1之后，该节点的入度为0；则将该节点添加到队列中。
  42.         while(node != null) {
  43.             // 将节点(序号为node.ivex)的入度减1。
  44.             ins[node.ivex]--;
  45.             // 若节点的入度为0，则将其"入队列"
  46.             if( ins[node.ivex] == 0)
  47.                 queue.offer(node.ivex);    // 入队列
  49.             node = node.nextEdge;
  50.         }
  51.     }
  53.     if(index != num) {
  54.         System.out.printf("Graph has a cycle\n");
  55.         return 1;
  56.     }
  58.     // 打印拓扑排序结果
  59.     System.out.printf("== TopSort: ");
  60.     for(int i = 0; i < num; i ++)
  61.         System.out.printf("%c ", tops[i]);
  62.     System.out.printf("\n");
  64.     return 0;
  65. }

说明：

(01) queue的作用就是用来存储没有依赖顶点的顶点。它与前面所说的Q相对应。

(02) tops的作用就是用来存储排序结果。它与前面所说的T相对应。