拓扑排序:
拓扑排序(Topological Sorting)是一种对有向无环图(DAG, Directed Acyclic Graph)进行排序的算法,它的目的是将图中的顶点线性排列,使得对于图中的每一条有向边 (u, v)
,顶点 u
在排序中出现在顶点 v
之前。
拓扑排序的基本性质:
-
图的要求:
仅适用于有向无环图(DAG)。如果图中有环(即存在一条路径回到自己),则无法进行拓扑排序。 -
排序的结果:
排序后的顶点序列满足图中的所有有向边约束:对于任何有向边(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,说明图中有环。