给定一个有向无环图(DAG) G=(V,E),其中V是顶点集合,E是边集合。
问题:对图G进行拓扑排序,得到一个线性序列,使得对于每一条有向边(u,v) ∈ E,顶点u在序列中出现在顶点v之前。
前置知识点
偏序关系:在集合S上定义的二元关系R,如果满足以下三个性质,则称R为偏序关系:
-
自反性:对于所有a ∈ S,有(a,a) ∈ R。
-
反对称性:对于所有a,b ∈ S,如果(a,b) ∈ R且(b,a) ∈ R,则a = b。
-
传递性:对于所有a,b,c ∈ S,如果(a,b) ∈ R且(b,c) ∈ R,则(a,c) ∈ R。
DAG:有向无环图(Directed Acyclic Graph),是一种特殊的有向图,其中不存在从某个顶点出发经过若干条有向边后又回到该顶点的路径。
拓扑排序算法
利用AOV网的拓扑排序算法
基本思想:
-
选出一个没有前驱的顶点,将其输出到拓扑序列中。
-
从图中删除该顶点及其所有出边。
-
重复上述步骤,直到所有顶点都被输出或图中不存在没有前驱的顶点。
NOTE如果图中仍有顶点未被输出,但不存在没有前驱的顶点,则说明图中存在环,无法进行拓扑排序。
拓扑排序只是DAG的一种线性表示方式,DAG可能有多个不同的拓扑排序结果。
Kahn算法(队列)
-
计算图中每个顶点的入度。
-
初始化一个队列,将所有入度为0的顶点加入队列。
-
初始化一个空的拓扑序列。
-
当队列不为空时,执行以下操作:
-
从队列中取出一个顶点u,将其加入拓扑序列。
-
对于u的每个邻接顶点v,减少v的入度。如果v的入度变为0,则将v加入队列。
-
利用DFS的拓扑排序算法(栈)
-
初始化一个空的栈和一个访问标记数组。
-
对图中的每个顶点执行以下操作:
- 如果该顶点未被访问,则调用DFS函数。
- 在DFS函数中,标记当前顶点为已访问,递归访问其所有未被访问的邻接顶点。
- 在所有邻接顶点都被访问后,将当前顶点压入栈中。
-
最后,从栈中依次弹出顶点,得到拓扑序列。
应用:关键路径法(CPM)
关键路径法(Critical Path Method, CPM)是一种用于项目管理的技术,用于确定项目中各个任务的最早开始时间、最晚完成时间以及关键路径。
CPM的数据结构
AOE网:有向图,顶点表示事件,边表示事件依赖的活动以及持续时间。
事件 的最早发生时间 :表示事件 可以最早发生的时间。
事件 的最晚发生时间 :表示事件 可以最晚发生的时间。
活动 的最早开始时间 :表示活动 可以最早开始的时间。
如果活动 恰好在边 上进行,则有 。
活动 的最晚开始时间 :表示活动 可以最晚开始的时间。
如果活动 恰好在边 上进行,则有 。
关键路径上的活动:对于活动 ,如果满足 ,则称该活动为关键活动,关键路径由所有关键活动组成。