《数据结构》拓扑排序算法

拓扑排序：

        拓扑排序（Topological Sorting）是一种对有向无环图（DAG, Directed Acyclic Graph）进行排序的算法，它的目的是将图中的顶点线性排列，使得对于图中的每一条有向边 (u, v)，顶点 u 在排序中出现在顶点 v 之前。

拓扑排序的基本性质：

1. 图的要求:

   仅适用于有向无环图（DAG）。如果图中有环（即存在一条路径回到自己），则无法进行拓扑排序。

2. 排序的结果:

   排序后的顶点序列满足图中的所有有向边约束：对于任何有向边 (u, v)，u 在序列中排在 v 之前。 

 过程图示：

1.寻找入度为0的点，只有A。输出点A并删除A点及其所有出度

 输出序列：A

2.寻找入度为0的点，只有C。输出点C并删除C点及其所有出度

 输出序列：A C

3.寻找入度为0的点，有B，D。任选一点，我们这里选D点。输出点D并删除D点及其所有出度

 输出序列：A C D

4.寻找入度为0的点，有B，E。任选一点，我们这里选B点。输出点B并删除B点及其所有出度

 输出序列：A C D B

5.寻找入度为0的点，只有E。输出点E并删除E点及其所有出度

 输出序列：A C D B E

6.寻找入度为0的点，只有G。输出点G并删除G点及其所有出度

 输出序列：A C D B E G

7.寻找入度为0的点，只有F。输出点F并删除F点及其所有出度

 输出序列：A C D B E G F

至此，过程结束。输出序列为：A C D B E G F

在代码实现中，我们借用栈来存储入度为0的点，并进行相应操作。

 简易代码描述：

Status TopologicalSort(ALGraph G)
{
	FindInDegree(G,indegree);//对各顶点求入度函数
	InitStack(S);//建栈
	//建0入度顶点栈S
	for(i=0;i<G.vexnum;++i)
	{
		if(!indegree[i])//入度为0者入栈
			Push(S,i);
	}
	count =0;//对输出顶点计数
	while(!StackEmpty(S))
	{
		Pop(S,&i);
		printf(i,G.vertices[i].data);
		++count;//输出i号顶点并计数
		//对i号顶点的每个邻接点的入度减1，若入度减为0，则入栈
		for(p=G.vertices[i].firstarc;p;p=p->nextarc)
		{
			k=p->adjvex;
			if(!(--indegree[k]))
				Push(S,k);
		}
	}
	//判断是否为有环图
	if(count<G.vexnum)
		return ERROR;
	else
		return OK;
}

代码分析： 

• 遍历所有顶点，将入度为零的顶点推入栈。
• 从栈中弹出顶点，处理它，然后更新其所有邻接顶点的入度。
• 将入度变为零的邻接顶点推入栈中。
• 最后检查是否所有顶点都被处理，如果 count 不等于 G.vexnum，说明图中有环。