数据结构（四）—— 图（5）：拓扑排序

数据结构系列内容的学习目录$\to$浙大版数据结构学习系列内容汇总。

5. 拓扑排序

  对一个有向无环图(Directed Acyclic Graph简称DAG)G进行拓扑排序，是将G中所有顶点排成一个线性序列，使得图中任意一对顶点u和v，若边<u,v>∈E(G)，则u在线性序列中出现在v之前。通常，这样的线性序列称为满足拓扑次序(Topological Order)的序列，简称拓扑序列。简单的说，由某个集合上的一个偏序得到该集合上的一个全序，这个操作称之为拓扑排序。

  例： 计算机专业排课如下表所示。假定一个计算机专业的学生必须完成列出的全部课程，课程代表活动，学习一门课程就表示进行一项活动，学习每门课程的先决条件是学完它的全部先修课程。

  为了形象地反映出整个工程中各个活动(课程)之间的先后关系，可用一个有向图来表示，图中的顶点代表活动(课程)，图中的有向边代表活动的先后关系，即有向边的起点的活动是终点活动的前序活动，只有当起点活动完成之后，其终点活动才能进行。通常，我们把这种顶点表示活动、边表示活动间先后关系的有向图称做顶点活动网(Activity On Vertex network)，简称AOV网，如下图所示。

  一个AOV网应该是一个有向无环图，即不应该带有回路，因为若带有回路，则回路上的所有活动都无法进行。

  在AOV网中，若不存在回路，则所有活动可排列成一个线性序列，使得每个活动的所有前驱活动都排在该活动的前面，我们把此序列叫做拓扑序列(Topological order)，由AOV网构造拓扑序列的过程叫做拓扑排序(Topological sort)。AOV网的拓扑序列不是唯一的，满足上述定义的任一线性序列都称作它的拓扑序列。

  ■ 拓扑序： 如果图中从V到W有一条有向路径，则V一定排在W之前。满足此条件的顶点序列称为一个拓扑序。
  ■ 获得一个拓扑序的过程就是拓扑排序。
  ■ AOV如果有合理的拓扑序，则必定是有向无环图(Directed Acyclic Graph, DAG)。

  上述计算机专业排课例子的拓扑排序过程如下图所示。

  拓扑排序算法的代码如下所示。

void TopSort()
{ 
    for ( cnt = 0 ; cnt <|V| ; cnt++ ){
        V = 未输出的入度为0的顶点;  // O(|V|)
        if(这样的V不存在){
            Error ("图中有回路");
            break;
        }
        输出V，或者记录V的输出序号;
        for ( V的每个邻接点W )
            Indegree[W]—-;
    }
}

  上述代码的时间复杂度：$T=O(|V{|}^2)$。

  改进做法： 随时将入度变为0的顶点放到一个容器里，代码如下所示。

void TopSort()
{ 
    for (图中每个顶点V)
        if(Indegree[V]==0)
            Enqueue ( V, Q );
    while ( !IsEmpty ()) 
    {
        V = Dequeue(Q);
        输出V，或者记录V的输出序号; 
        cnt++;
        for ( V的每个邻接点W )
            if ( --Indegree[W]==0 )
                Enqueue ( W,Q );
    }
    if ( cnt != |V| )
        Error ( "图中有回路" );
}

  上述所示改进做法代码的时间复杂度：$T=O(|V|+|E|)$。

  此算法可以用来检测有向图是否DAG。