一、最小生成树
📌什么是生成树?
连通图的生成树是包含图中所有顶点的一个极小连通子图,通俗地讲,就是“边尽可能少,但需保持连通”。
规律: 对于一个顶点数|V|=n的树,其生成树的边数|E|=n-1。如果将|E|+1,必然会形成回路;如果将|E|-1,则会成为非连通图。

📌什么是最小生成树?
最小生成树,也称最小代价树(Minimum Spanning Tree,MST)
是带权连通无向图的生成树中边的权值之和最小的一棵树,联系实际问题不难理解其中“最小代价”的意味。
Prim(普利姆算法),Kruskal(克鲁斯卡尔算法)就是寻找最小生成树的常用算法。
1.Prim(普利姆算法)
从某一顶点开始,每次将代价最小的新顶点纳入生成树,直至所有顶点都纳入为止。
图示
易知,此方法得到的最小生成子树是不唯一的。
代码实现
|
|
2.Kruskal(克鲁斯卡尔算法)
每次选择一条权值最小的边,使这条边的两头连通(原本已经连通的就不选),直到所有结点都连通。
图示

代码实现
|
|
时间复杂度
| 算法 | 时间复杂度 | 适用方向 |
|---|---|---|
| P | O(V^2) | 边稠密图 |
| K | $O(E\log_2 E)$ | 边稀疏图 |
二、最短路径
| 最短路径问题 | 算法 |
|---|---|
| 单源路径问题 | BFS (无权图) Dijkstra(带权图、无权图) |
| 各点间路径 | Floyd(带权图、无权图) |
1.BFS
之所以叫BFS,是因为该方法求最短路径是在图的广度优先遍历算法(BFS)的基础上,求得了最短路径。
代码实现
|
|
🧐实际上就是对DFS算法中visit这个没有具体实现的方法的修改操作,在 visit一个顶点时,修改其最短路径长度d[]并在path[]记录前驱结点。要注意出现的三个数组的意义:d[] path[] visited[]

如图,是从2出发得到的数组,则2→8的最短路径长度d[8]=3,路径为8←7←6←2
2.Dijkstra(迪杰斯特拉算法)
图示

使用
对于最后得到的结果:
例如求 V0到V2的最短路径,查表知,最短路径长dist[2]=9,其路径为 V2←V1←V4←V0
复杂度
时间复杂度为$O(|V|^2)$
代码实现
代码实现上有点类似Prim算法
|
|
一点不足
Dijkstra(迪杰斯特拉算法)无法处理存在负权值的图,这点Floyd算法可以。
3.Floyd(弗洛伊德算法)
算法思想(动态规划)
Floyd算法:求出每一对顶点之间的最短路径
使用动态规划思想,将问题的求解分为多个阶段
对于n个顶点的图G,求任意一对顶点Vi → Vj之间的最短路径可分为如下几个阶段:
#️⃣:不允许在其他顶点中转,最短路径是?
0️⃣:若允许在V0中转,最短路径是?
1️⃣:若允许在V0、V1 中转,最短路径是?
2️⃣:若允许在V0、V1、 V2中转,最短路径是?
⏩. . .
⏹:若允许在V0、V1、V2 …. Vn-1中转,最短路径是?
实例演示
对于一个有向带权图:

#️⃣初始条件下,即不允许在其他顶点中转,有:

0️⃣:若允许在V0中转,计算得知,A和path更新为:

1️⃣:若允许在V0、V1 中转,经计算,A和path更新为:

2️⃣:若允许在V0、V1、 V2中转,经计算,A和path更新为:

即,从$A^{(-1)},path^{(-1)}$出发,经过n轮递推,得到$A^{(n-1)},path^{(n-1)}$
根据$A^{(2)}$可知,$V_0$到$V_2$最短路径长度为10,根据$path^{(2)}$可知,完整路径信息为$V_0→V_2→V_0$
代码实现
核心更新代码如下:
|
|
复杂度
时间复杂度:$O(|V|^3)$
空间复杂度:$O(|V|^2)$
一点不足
对于有回路的带负权图(负权回图),会陷入死循环……

因为这种图本身可能就无解,即无最短路径,循环次数越多,路径越短。
4.总结
| BFS算法 | Dijkstra算法 | Floyd算法 | |
|---|---|---|---|
| 无权图 | ✔ | ✔ | ✔ |
| 带权图 | ❌ | ✔ | ✔ |
| 带负权值的图 | ❌ | ❌ | ✔ |
| 带负权回路的图 | ❌ | ❌ | ❌ |
| 时间复杂度 | $O(V^2)$或$O(V+E)$ | $O(V^2)$ | $O(V^3)$ |
| 通常用于 | 求无权图的单源最短路径 | 求带权图的单源最短路径 | 求带权图中各顶点间的最短路径 |
三、有向无环图相关
📌什么是有向无环图?
若一个有向图中不存在环,则称为有向无环图,简称DAG图(Directed Acyclic Graph)

1.描述表达式
对于给定的一个表达式,可通过有向无环图将其表示出来。
示例
👉$((a+b)(b(c+d))+(c+d)e)((c+d)*e)$
1️⃣将各个操作数不重复地排成一排,之后把所有的运算符按照执行的先后顺序排序

2️⃣分层(上层运算必须依赖下层结果)按顺序加入运算符



最终:

4️⃣自下而上逐层检查各层运算符之间是否可以合并

最终结果就是:

真题
29.【2019统考真题】用有向无环图描述表达式$(x+y)(x+y)/x)$,需要的顶点个数至少是( )。
A.5 B.6 C.8 D.9
答案:A

2.拓扑排序
什么是拓扑排序?拓扑排序 - 中文维基百科 拓扑排序_百度百科
可见拓扑排序针对的是有向无环图,对于特殊的有向无环图——顶点活动网(Activity On Vertex network),简称AOV网。整个AOV网通常表示一项具体的工程,其中顶点表示活动,用弧表示活动之间的优先关系。例如:

算法描述
对于一个给定的AOV网,通过以下几个步骤即可找到拓扑排序的序列:
1️⃣从AOV中选择没有前驱(入度为0)的顶点输出;
2️⃣ 删除与输出顶点相关的边;
3️⃣ 重复1️⃣2️⃣直至AOV网为空;
代码实现
|
|
注意💬
🔸其中用到了两个数组:indegree[] 表示当前顶点的入度;print[] 用于记录拓扑序列;
🔸代码中的图用邻接表的形式保存;
🔸还引入辅助栈S,用于保存入度为0的结点;
🔸最后还加入一步判断,用之前定义的int count ,记录输出的顶点数。如果count < G.vexnum ,提前退出while循环,原因是图中存在回路,导致栈在某时刻为空,因为拓扑排序针对无环图,所以拓扑排序失败!
时间复杂度
每个顶点要处理一次,每条边也要处理一次,因此时间复杂度为$O(E+V)$,如果采用邻接矩阵则需要 $O(V^2)$。
逆拓扑排序
对一个AOV网,如果采用下列步骤进行排序,则称之为逆拓扑排序:
①从AOV网中选择一个没有后继(出度为0)的顶点并输出。
②从网中删除该顶点和所有以它为终点的有向边。
③重复①和②直到当前的AOV网为空。
参照拓扑排序实现
|
|
DFS算法实现
|
|
特性
💨拓扑,逆拓扑排序序列可能不唯一。
💨如果存在回路,则没有拓扑,逆拓扑排序序列。
3.关键路径
什么是关键路径?关键路径_百度百科
用顶点表示事件,弧表示活动,弧上的权值表示活动持续的时间的有向图叫AOE(Activity On Edge Network)网。
几个术语
开始顶点(源点)
结束顶点(汇点)
关键路径 从源点到汇点的延时最长的路径
关键活动 关键路径上的所有活动。
事件&活动

图中$V_k$表示事件,$a_i$表示活动。
| 事件$v_k$的最早发生时间$ve(k)$ | 决定了所有从开始的活动能够开工的最早时间 |
|---|---|
| 活动$a_i$的最早开始时间$e(i)$ | 该活动弧的起点所表示的事件的最早发生时间 |
| 事件$v_k$的最迟发生时间$vl(k)$ | 在不推迟整个工程完成的前提下,该事件最迟必须发生的时间 |
| 活动$a_i$的最迟开始时间$l(i)$ | 该活动弧的终点所表示事件的最迟发时间与该活动所需时间之差 |

求关键路径的步骤
对图中有向无环图求关键路径:

1️⃣求所有事件的最早发生时间ve(k)
按拓扑排序序列,依次求各个顶点的$ve(k)$:
$ve(源点) = 0$
$ve(k) = Max\left {ve(j) + Weight(vj, vk)\right }$, vj为vk 的任意前驱

2️⃣求所有事件的最迟发生时间vl(k)
按逆拓扑排序序列,依次求各个顶点的 $vl(k)$:
$vl(汇点) = ve(汇点)$
$vl(k) = Min\left {vl(j) - Weight(vk, vj)\right }$ , vj为vk的任意后继

3️⃣求所有活动的最早发生时间e(k)
若边$<vk,vj>$表⽰活动$ai$,则有$e(k) = ve(k)$

(ai对应于图中已标注的弧,但图中的数值表示该弧的权值)
4️⃣求所有活动的最迟发生时间l(k)
若边$<vk,vj>$表⽰活动$ai$,则有$l(i) = vl(j) - Weight(vk, vj)$

5️⃣求所有活动的时间余量d(k)
$d(k)=l(k)-e(k)$

此时,时间余量为0的活动就是关键活动,由关键活动组成关键路径
即,关键活动:a2, a5, a7 => 关键路径:V1→V3→V4→V6
关键路径特点
🌚 若关键活动耗时增加,则整个⼯程的⼯期将增⻓
🌚 缩短关键活动的时间,可以缩短整个⼯程的⼯期
🌚 当缩短到⼀定程度时,关键活动可能会变成⾮关键活动
🌚 可能有多条关键路径,只提高一条关键路径上的关键活动速度并不能缩短整个工程的工期,只有加快那些包括在所有关键路径上的关键活动才能达到缩短工期的目的
代码实现
|
|
说明:文中图片来自王道考研辅导机构。