大话数据结构---（六）拓扑排序

1.拓扑排序

说了两个有环的图应用，现在我们来谈谈无环的图应用。在一个表示工程的有向图中，用顶点表示活动，用弧表示活动之间的优先关系，这样的有向图为顶点表示活动的网，我们称为AOV网（Activity On Vertex Network）。设G=(V,E)是一个具有n个顶点的有向图，V中的顶点序列V1,V2…Vn，满足若从顶点Vi到Vj有一条路径，则在顶点序列中顶点Vi之前。则我们称这样的顶点序列为一个拓扑序列。所谓拓扑排序，其实就是对一个有向图构造拓扑序列的过程。
拓扑排序算法：从AOV网中选择一个入度为0的顶点输出，然后删去此顶点，并删除以此顶点为尾的弧，继续重复此步骤，直到输出全部顶点或者AOV网中不存在入度为0的顶点为止。由于拓扑排序的过程需要删除顶点，显然用邻接表会更加方便。考虑到算法过程中始终要查找入度为0的顶点，我们在原来顶点表结点结构中，增加一个入度域in，结构如表所示，其中in就是入度的数字。

在拓扑排序算法中，涉及的结构代码如下。

typedef struct EdgeNode//边表结点
{
  int adjvex;//邻接点域，存储该顶点对应的下标
  int weight;//用于存储权值，对于非网图可以不需要
  struct EdgeNode *next;
}EdgeNode;
typedef struct VertexNode//顶点表结点
{
   int in;//顶点入度
   int data;//顶点域，存储顶点信息
   EdgeNode *firstedge;//边表头指针
}VertexNode,AdjList[MAXVEX];
typedef struct
{
   AdjList adjList;
   int numVertexes,numEdges;//图中当前顶点数和边数
}graphAdjList,*GraphAdjList;

在算法中，我们还需要辅助的数据结构—栈，用来存储处理过程中入度为0的顶点，目的是为了避免每个查找时都要去遍历顶点表找有没有入度为0的顶点。现在我们来看代码：

//拓扑排序，若GL无回路，则输出拓扑排序序列并返回OK，若有回路返回ERROR
Status TopologicalSort(GraphAdjList GL)
{
  EdgeNode *e;
  int i,k,gettop;
  int top=0;//用于栈指针下标
  int count=0;//用于统计输出顶点的个数
  int *stack;//建栈存储入度为0的顶点
  stack=(int *)malloc(GL->numVertexes*sizeof(int));
  for(i=0;i<GL->numVertexes;i++)
    if(GL->adjList[i].in==0)
      stack[++top]=i;//将入度为0的顶点入栈
  while(top!=0)
  {
    gettop=stack[top--];//出栈
    cout<<GL->adjList[gettop].data;//打印此顶点
    count++;//统计输出顶点数
    for(e=GL->adjList[gettop].firstedge;e;e=e->next)
    {
      //对顶点弧表遍历
      k=e->adjvex;
      if(!(--GL->adjList[k].in))//将k好顶点邻接点的入度减1
      stack[++top]=k;//若为0则入栈，以便于下次循环输出
    }
  }
  if(count<GL->numVertexes)//如果count小于顶点数，说明存在环
    return ERROR;
  else
    return OK;
}