【数据结构与算法】拓扑排序与关键路径

「爱情、让人受尽委屈。」 2024-04-26 02:30 162阅读 0赞

> ? 本文由 [程序喵正在路上][Link 1] 原创，CSDN首发！  
> ? 系列专栏：[数据结构与算法][Link 2]  
> ? 首发时间：2022年12月4日  
> ? 欢迎关注?点赞?收藏?留言?  
> ? 一以贯之的努力 不得懈怠的人生

#### 阅读指南 ####

*  有向无环图描述表达式
 *   *  有向无环图（DAG）
     *  DAG 描述表达式
     *  解题方法
 *  拓扑排序
 *   *  AOV网
     *  拓扑排序
     *  逆拓扑排序
     *  逆拓扑排序的实现（DFS算法）
 *  关键路径
 *   *  AOE网
     *  求关键路径的步骤
     *  关键活动、关键路径的特性

## 有向无环图描述表达式 ##

### 有向无环图（DAG） ###

如果一个有向图中不存在环，则称之为有向无环图，简称  D A G DAG DAG 图（ D i r e c t e d A c y c l i c G r a p h Directed \\ Acyclic \\ Graph DirectedAcyclicGraph），比如下面这个图

![在这里插入图片描述][19119e7fcbb94ccfa138e946c289f41a.png]

### DAG 描述表达式 ###

有下面这样一个表达式：

( ( a + b ) ∗ ( b ∗ ( c + d ) ) + ( c + d ) ∗ e ) ∗ ( ( c + d ) ∗ e ) ((a + b) \* (b \* (c + d)) + (c + d) \* e) \* ((c + d) \* e) ((a\+b)∗(b∗(c\+d))\+(c\+d)∗e)∗((c\+d)∗e)

我们可以将其表示成树的形式：

![在这里插入图片描述][8a257dc28f0e46798c830b6d92a4f53f.png]

但是我们会发现，树中有些地方是重复的，比如  ( c + d ) ∗ e (c + d) \* e (c\+d)∗e 这部分，所以我们删除一部分，变成

![在这里插入图片描述][6967912b34cb4ed5919c5a717dbf315b.png]

接着我们发现还有  c + d c + d c\+d 这部分也重复了，也得删去

![在这里插入图片描述][4023d88b908c41289a5ad59460e6678f.png]

最后还有  b b b 也重复

![在这里插入图片描述][45c6f8b0560d4b32bd40d554525c257d.png]

规律：顶点中不可能出现重复的操作数

### 解题方法 ###

1.  把各个操作数不重复地排成一排  
    ![在这里插入图片描述][1f990d6e716d4433946955b0683f3762.png]
2.  标出每个运算符的生效顺序（先后顺序有点出入无所谓）  
    ![在这里插入图片描述][50ee42fd1c154fa5bd478d6c5bba636d.png]
3.  按顺序加入运算符，注意 “分层”  
    ![在这里插入图片描述][74feb1583d6c495e9e5a8edb8479b127.png]
4.  从底向上逐层检查同层的运算符是否可以合体  
    ![在这里插入图片描述][0e857015009948d59c8419408ff822d7.png]

## 拓扑排序 ##

### AOV网 ###

A O V AOV AOV 网（ A c t i v i t y O n V e r t e x N e t W o r k Activity \\ On \\ Vertex \\ NetWork ActivityOnVertexNetWork，用顶点表示活动的网）：用 D A G DAG DAG 图（有向无环图）表示一个工程。顶点表示活动，有向边 < V i , V j > <V\_i, V\_j> <Vi,Vj> 表示活动 V i V\_i Vi 必须先于活动 V j V\_j Vj 进行

### 拓扑排序 ###

在图论中，由一个有向无环图的顶点组成的序列，当且仅当满足下列条件时，称为该图的一个拓扑排序：

*  每个顶点出现且只出现一次
 *  若顶点  A A A 在序列中排在顶点  B B B 的前面，则在图中不存在从顶点  B B B 到顶点  A A A 的路径

每个  A O V AOV AOV 网都有一个或多个拓扑排序序列

拓扑排序的实现：

1.  从  A O V AOV AOV 网中选择一个没有前驱（入度为  0 0 0）的顶点并输出
2.  从网中删除该顶点和所有以它为起点的有向边
3.  重复  1 1 1 和  2 2 2 直到当前的  A O V AOV AOV 网为空或者当前网中不存在无前驱的顶点为止

#define MaxVertexNum 100				//图中顶点数目的最大值
 typedef struct ArcNode {
 				//边表结点
 	int adjvex;							//该弧所指向的顶点的位置
 	struct ArcNode *nextarc;			//指向下一条弧的指针
 	//InfoType info;					//网的边权值
 }ArcNode;
 
 typedef struct VNode {
 					//顶点表结点
 	VertexType data;					//顶点信息
 	ArcNode *firstarc;					//指向第一条依附该顶点的弧的指针
 }VNode, AdjList[MaxVertexNum];
 
 typedef struct {
 
 	AdjList vertices;					//邻接表
 	int vexnum, arcnum;					//图的顶点数和弧数
 }Graph;									//Graph是以邻接表存储的图类型
 
 bool TopologicalSort(Graph G) {
 
 	InitStack(S);				//初始化栈，存储入度为0的顶点
 	for (int i = 0; i < G.vexnum; ++i) {
 
 		if (indegree[i] == 0) Push(S, i);		//将所有入度为0的顶点进栈
 	}
 	int count = 0;				//计数，记录当前已经输出的顶点数
 	while (!IsEmpty(S)) {
 		//栈不空，则存在入度为0的顶点
 		Pop(S, i);				//栈顶元素出栈
 		print[count++] = i;		//输出顶点i
 		
 		for (p = G.vertices[i].firstarc; p; p = p->nextarc) {
 
 			//将所有i指向的顶点的入度减1，并且将入度减为0的顶点压入栈S
 			v = p->adjvex;
 			if (!(--indegree[v])) Push(S, v);	//入度为0，则入栈
 		}//for
 	}//while
 
 	if (count < G.vexnum) return false;		//排序失败，有向图中有回路
 	else return true;						//拓扑排序成功

其中 `indegree` 是记录各个顶点入度的数组，初始化为各顶点的入度；`print` 是记录拓扑序列的数组，初始化为  − 1 -1 −1

在这个拓扑排序中，每个顶点和每条边都需要处理一次，整体的时间复杂度为  O ( ∣ V ∣ + ∣ E ∣ ) O(|V| + |E|) O(∣V∣\+∣E∣)，如果是采用邻接矩阵存储的图，则需要  O ( ∣ V ∣ 2 ) O(|V|^2) O(∣V∣2) 的时间复杂度

### 逆拓扑排序 ###

逆拓扑排序的实现：

1.  从  A O V AOV AOV 网中选择一个没有后继（出度为  0 0 0）的顶点并输出
2.  从网中删除该顶点和所有以它为终点的有向边
3.  重复  1 1 1 和  2 2 2 直到当前的  A O V AOV AOV 网为空

### 逆拓扑排序的实现（DFS算法） ###

void DFSTraverse(Graph G) {
 				//对图G进行深度优先遍历
 	for (v = 0; v < G.vexnum; ++v) 		//初始化已访问标记数据
 		visited[v] = false;
 		
 	for (v = 0; v < G.vexnum; ++v)
 		if (!visited[v]) DFS(G, v);
 }
 
 void DFS(Graph G, int v) {
 				//从顶点v开始，深度优先遍历图G
 	visited[v] = true;					//设置已访问标记
 	for (w = FirstNeighbor(G, v); w >= 0; w = NextNeighbor(G, v, w))
 		if (！visited[w]) DFS(G, w);
 	
 	print(v);			//输出顶点
 }

如果图中存在回路，那么上面的程序就不再使用，我们需要给每个顶点添加一个是否已经入栈的标记来判断是否有回路即可

## 关键路径 ##

### AOE网 ###

在带权有向图中，以顶点表示事件，以有向边表示活动，以边上的权值表示完成该活动的开销（如完成该活动所需的时间），称之为哟个边表示活动的网络，简称  A O E AOE AOE 网（ A c t i v i t y O n E d g e N e t W o r k Activity \\ On \\ Edge \\ NetWork ActivityOnEdgeNetWork）

![在这里插入图片描述][62043f68e00e4dad9d41379dc57339cf.png]

A O E AOE AOE 网具有以下两个性质：

*  只有在某顶点所代表的事件发生后，从该顶点出发的各有向边所代表的活动才能开始
 *  只有在进入某顶点的各有向边所代表的活动都已结束时，该顶点所代表的事件才能发生。另外，有些活动是可以并行进行的

在  A O E AOE AOE 网中仅有一个入度为  0 0 0 的顶点，称为开始顶点（源点），它表示整个工程的开始；也仅有一个出度为  0 0 0 的顶点，称为结束顶点（汇点），它表示整个工程的结束

从源点到汇点的有向路径可能有多条，所有路径中，具有最大路径长度的路径称为关键路径，而把关键路径上的活动称为关键活动

完成整个工程的最短时间就是关键路径的长度，若关键活动不能按时完成，则整个工程的完成时间就会延长

事件  v k v\_k vk 的最早开始时间  v e ( k ) ve(k) ve(k) —— 决定了所有从  v k v\_k vk 开始的活动能够开工的最早时间

活动  a i a\_i ai 的最早开始时间  e ( i ) e(i) e(i) —— 指该活动弧的起点所表示的事件的最早发生时间

事件  v k v\_k vk 的最迟开始时间  v l ( k ) vl(k) vl(k) —— 它是指在不推迟整个工程完成的前提下，该事件最迟应该发生的时间

活动  a i a\_i ai 的最迟开始时间  l ( i ) l(i) l(i) —— 它是指该活动弧的终点所表示事件的最迟发生时间与该活动所需时间之差

活动  a i a\_i ai 的时间余量  d ( i ) = l ( i ) − e ( i ) d(i) = l(i) - e(i) d(i)=l(i)−e(i)，表示在不增加完成整个工程所需总时间的情况下，活动  a i a\_i ai 可以拖延的时间；若一个活动的时间余量为零，则说明该活动必须要如期完成， d ( i ) = 0 d(i) = 0 d(i)=0 即  l ( i ) = e ( i ) l(i) = e(i) l(i)=e(i) 的活动是关键活动，由关键活动组成的路径就是关键路径

### 求关键路径的步骤 ###

1.  求所有事件的最早发生时间  v e ( ) ve() ve()
2.  求所有事件的最迟发生时间  v l ( ) vl() vl()
3.  求所有活动的最早发生时间  e ( ) e() e()
4.  求所有活动的最迟发生时间  l ( ) l() l()
5.  求所有活动的时间余量  d ( ) d() d()

![在这里插入图片描述][faaad5662096411c8f7f9b690233e670.png]

① 求所有事件的最早发生时间  v e ( ) ve() ve()

按拓扑排序序列，依次求各个顶点的  v e ( k ) ve(k) ve(k)：

*   v e ve ve( 源点 )  = 0 = 0 =0
 *   v e ( k ) = M a x \{ v e ( j ) + W e i g h t ( v j , v k ) \} ve(k) = Max\\\{ve(j) + Weight(v\_j, v\_k)\\\} ve(k)=Max\{ ve(j)\+Weight(vj,vk)\}，  v j v\_j vj 为  v k v\_k vk 的任意前驱

上图的拓扑序列为： V 1 、 V 3 、 V 2 、 V 5 、 V 4 、 V 6 V\_1、V\_3、V\_2、V\_5、V\_4、V\_6 V1、V3、V2、V5、V4、V6

那么

v e ( 1 ) = 0 ve(1) = 0 ve(1)=0

v e ( 3 ) = 2 ve(3) = 2 ve(3)=2

v e ( 2 ) = 3 ve(2) = 3 ve(2)=3

v e ( 5 ) = 6 ve(5) = 6 ve(5)=6

v e ( 4 ) = m a x \{ v e ( 2 ) + 2 , v e ( 3 ) + 4 \} = 6 ve(4) = max\\\{ve(2) + 2, ve(3) + 4\\\} = 6 ve(4)=max\{ ve(2)\+2,ve(3)\+4\}=6

v e ( 6 ) = m a x \{ v e ( 5 ) + 1 , v e ( 4 ) + 2 , v e ( 3 ) + 3 \} = 8 ve(6) = max\\\{ve(5) + 1, ve(4) + 2, ve(3) + 3\\\} = 8 ve(6)=max\{ ve(5)\+1,ve(4)\+2,ve(3)\+3\}=8

② 求所有事件的最迟发生时间  v l ( ) vl() vl()

按逆拓扑排序序列，依次求各个顶点的  v l ( k ) vl(k) vl(k)：

*   v l vl vl(汇点)  = = =  v e ve ve(汇点)
 *   v l ( k ) = M i n \{ v l ( j ) + W e i g h t ( v k , v j ) \} vl(k) = Min\\\{vl(j) + Weight(v\_k, v\_j)\\\} vl(k)=Min\{ vl(j)\+Weight(vk,vj)\}，  v j v\_j vj 为  v k v\_k vk 的任意后继

上图的逆拓扑序列为： V 6 、 V 5 、 V 4 、 V 2 、 V 3 、 V 1 V\_6、V\_5、V\_4、V\_2、V\_3、V\_1 V6、V5、V4、V2、V3、V1

那么

v l ( 6 ) = 8 vl(6) = 8 vl(6)=8

v l ( 5 ) = 7 vl(5) = 7 vl(5)=7

v l ( 4 ) = 6 vl(4) = 6 vl(4)=6

v l ( 2 ) = m i n \{ v l ( 5 ) − 3 , v l ( 4 ) − 2 \} = 4 vl(2) = min\\\{vl(5) - 3, vl(4) - 2\\\} = 4 vl(2)=min\{ vl(5)−3,vl(4)−2\}=4

v l ( 3 ) = m i n \{ v l ( 4 ) − 4 , v l ( 6 ) − 3 \} = 2 vl(3) = min\\\{vl(4) - 4, vl(6) - 3\\\} = 2 vl(3)=min\{ vl(4)−4,vl(6)−3\}=2

v l ( 1 ) = m i n \{ v l ( 2 ) − 3 , v l ( 3 ) − 2 \} = 0 vl(1) = min\\\{vl(2) - 3, vl(3) - 2\\\} = 0 vl(1)=min\{ vl(2)−3,vl(3)−2\}=0

③ 求所有活动的最早发生时间  e ( ) e() e()

若边 < v k , v j > <v\_k, v\_j> <vk,vj> 表示活动 a i a\_i ai，则有 e ( i ) = v e ( k ) e(i) = ve(k) e(i)=ve(k)，说白了就等于活动 a i a\_i ai 所在弧的弧尾的事件的最早发生时间 v e ( k ) ve(k) ve(k)，所以

e ( 1 ) = v e ( 1 ) = 0 , e ( 2 ) = v e ( 1 ) = 0 , e ( 3 ) = v e ( 2 ) = 3 , e ( 4 ) = 4 , e ( 5 ) = v e ( 3 ) = 2 , e ( 6 ) = 2 , e ( 7 ) = 6 , e ( 8 ) = 6 e(1) = ve(1) = 0, \\ e(2) = ve(1) = 0, \\ e(3) = ve(2) = 3, \\ e(4) = 4, \\ e(5) = ve(3) = 2, \\ e(6) = 2, \\ e(7) = 6, \\ e(8) = 6 e(1)=ve(1)=0,e(2)=ve(1)=0,e(3)=ve(2)=3,e(4)=4,e(5)=ve(3)=2,e(6)=2,e(7)=6,e(8)=6

④ 求所有活动的最迟发生时间  l ( ) l() l()

若边 < v k , v j > <v\_k, v\_j> <vk,vj> 表示活动 a i a\_i ai，则有 l ( i ) = v l ( j ) − W e i g h t ( v k , v j ) l(i) = vl(j) - Weight(v\_k, v\_j) l(i)=vl(j)−Weight(vk,vj)，所以

l ( 1 ) = v l ( 2 ) − 3 = 1 , l ( 2 ) = v l ( 3 ) − 2 = 0 , l ( 3 ) = 4 , l ( 4 ) = 4 , l ( 5 ) = 2 , l ( 6 ) = 5 , l ( 7 ) = 6 , l ( 8 ) = 7 l(1) = vl(2) - 3 = 1, \\ l(2) = vl(3) - 2 = 0, \\ l(3) = 4, \\ l(4) = 4, \\ l(5) = 2, \\ l(6) = 5, \\ l(7) = 6, \\ l(8) = 7 l(1)=vl(2)−3=1,l(2)=vl(3)−2=0,l(3)=4,l(4)=4,l(5)=2,l(6)=5,l(7)=6,l(8)=7

⑤ 求所有活动的时间余量  d ( ) d() d()

d ( i ) = l ( i ) − e ( i ) d(i) = l(i) - e(i) d(i)=l(i)−e(i)

关键活动： a 2 、 a 5 、 a 7 a\_2、a\_5、a\_7 a2、a5、a7

关键路径： V 1 − > V 3 − > V 4 − > V 6 V\_1 -> V\_3 -> V\_4 -> V\_6 V1−>V3−>V4−>V6

### 关键活动、关键路径的特性 ###

*  若关键活动耗时增加，则整个工程的工期将增长
 *  缩短关键活动的时间，可以缩短整个工程的工期
 *  当缩短到一定程度时，关键活动可能会变成非关键活动
 *  可能有多条关键路径，只提高一条关键路径上的关键活动并不能缩短整个工程的工期，只有加快那些包括在所有关键路径上的关键活动才能达到缩短工期的目的

[Link 1]: https://blog.csdn.net/weixin_62511863?spm=1011.2421.3001.5343
[Link 2]: https://blog.csdn.net/weixin_62511863/category_11984530.html?spm=1001.2014.3001.5482
[19119e7fcbb94ccfa138e946c289f41a.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/26/583f0bbb6fd84a8693cd06751239cc48.png
[8a257dc28f0e46798c830b6d92a4f53f.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/26/83d2753a303046fcb72ca021b40a9e35.png
[6967912b34cb4ed5919c5a717dbf315b.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/26/df3ccf5c770d4e878c74357856c02281.png
[4023d88b908c41289a5ad59460e6678f.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/26/8479d41bc43a4899bd1d0a194745acb1.png
[45c6f8b0560d4b32bd40d554525c257d.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/26/ade1d7457e3f4d2e82ee4a1a266faade.png
[1f990d6e716d4433946955b0683f3762.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/26/941bd9484e2a4b09ab6a5554a4227c5c.png
[50ee42fd1c154fa5bd478d6c5bba636d.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/26/5c45193d1665495eb4202411ea8a1423.png
[74feb1583d6c495e9e5a8edb8479b127.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/26/1c8639d272e54b96b5df0cb3f8328911.png
[0e857015009948d59c8419408ff822d7.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/26/9e7a8e1a4f6242bb92394a00e56ba422.png
[62043f68e00e4dad9d41379dc57339cf.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/26/c30515a2e7d447cdbfa3e0894f5422fd.png
[faaad5662096411c8f7f9b690233e670.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/26/fb3f045ccf4e43aba34233ccf599ad27.png