AOV网络
在有向图中,用顶点表示活动,用有向边<Vi, Vj>表示活动Vi必须先于活动Vj进行。这种有向图叫作顶底表示活动的网络(Active on vertices),记作AOV网络。
在AOV网络中,如果活动Vi必须在Vj之前进行,则存在有向边<Vi, Vj>,并称Vi是Vj的直接前驱,Vj是Vi的直接后继。这种前驱与后继的关系具有传递性和反自反性,这要求AOV网络中不能出现回路,即有向环。因此,对于给定的AOV网络,必须先判断它是否存在有向环。
拓扑排序
检测有向环可以通过对AOV网络构造它的拓扑有序序列(即进行拓扑排序,topological sorting)。该过程将各个顶点排列成一个线性有序的序列,使得AOV网络中所有的前驱和后继关系都能得到满足。
如果拓扑排序能够将AOV网络的所有顶点都排入一个拓扑有序的序列中,则说明该AOV网络中没有有向环,否则AOV网络中必然存在有向环。AOV网络的顶点的拓扑有序序列不唯一。
拓扑排序算法的伪代码
- 栈S初始化;累加器count初始化;
- 扫描顶点表,将没有前驱(即入度为0)的顶点压栈;
- 当栈S非空时循环
3.1 vj=退出栈顶元素;输出vj;累加器加1;
3.2 将顶点vj的各个邻接点的入度减1;
3.3 将新的入度为0的顶点入栈;- if (count<vertexNum) 输出有回路信息;

本文介绍了AOV网络,即顶底表示活动的有向图,并详细讲解了拓扑排序的概念,用于检测网络中是否存在有向环。拓扑排序算法通过构建栈S和扫描顶点表来实现,当所有顶点都能被排序时表明无有向环,否则存在有向环。算法的时间复杂度为O(n+e)。
最低0.47元/天 解锁文章
761

被折叠的 条评论
为什么被折叠?



