408数据结构-图的应用1-最小生成树自学知识点整理

前置知识：图的遍历

图的应用是408初试历年考查的重点。不过一般而言，这部分内容直接以算法设计题形式考查的可能性极小，更多的是结合图的实例来考查算法的具体操作过程，要求掌握的是手推模拟给定图的各个算法执行过程。此外，还需对给定模型建立相应的图去解决问题。

最小生成树

知识点回顾：图的基本概念-生成树

一个连通图的生成树包含图的所有顶点，并且只含尽可能少的边。对于生成树来说，若砍去(减少)它的一条边，则会使生成树变成非连通图；若给它增加一条边，则会形成图中的一条回路(环)。
对于一个带权连通无向图 $G$ ，生成树不同，每棵树的权（即树中所有边上的权值之和）也可能不同。权值之和最小的那棵生成树称为 $G$ 的最小生成树（ $M inim u m - Sp annin g - T ree$ ， $MST$ ）。

最小生成树的性质

若图 $G$ 中存在权值相同的边，则 $G$ 的最小生成树可能不唯一，即最小生成树的树形可能不唯一。当图 $G$ 中的各边权值互不相等时， $G$ 的最小生成树是唯一的；若无向连通图 $G$ 的边数比顶点数少 $1$ ，即 $G$ 本身是一棵树时，则图 $G$ 的最小生成树就是其本身；只有连通图才有生成树，非连通图只有生成森林。
虽然最小生成树可能不唯一，但其对应的边的权值之和总是唯一的，并且是最小的。
最小生成树的边数为顶点数减 $1$ 。（树的性质）

注意：最小生成树中所有边的权值之和最小，不代表任意两个顶点之间的路径是最短路径。

构造最小生成树有多种算法，但大多数算法都利用了最小生成树的下列性质：假设 $G = (V, E)$ 是一个带权连通无向图， $U$ 是顶点集 $V$ 的一个非空子集。若 $(u, v)$ 是一条具有最小权值的边，其中 $u \in U, v \in V - U$ ，则必存在一棵包含边 $(u, v)$ 的最小生成树。

基于该性质的最小生成树算法主要有 $P r im$ 算法和 $Kr u s ka l$ 算法，它们都是基于贪心算法的策略，即通过多个局部最优解得到全局最优解。408初试中，需要掌握这两个算法的本质含义和基本思想，并能够手动模拟推演出其算法的实现步骤。
王道书上给出了一个通用的最小生成树算法的伪代码：

GENERIC_MST(G) {
	T=NULL;
	while T 未形成一棵生成树;
		do 找到一条最小代价边(u,v)并加入T后不会产生回路;
			T=T∪(u,v);
}

$P r im$ 算法

$P r im$ （普里姆）算法的执行非常类似于寻找图的最短路径的 $D ijk s t r a$ 算法（下一节会讲）。

$P r im$ 算法构造最小生成树的过程如下图 $6.15$ 所示（王道考研408数据结构2025 - P241）。初始时选取图中任一顶点（如顶点 $1$ ）加入树 $T$ ，此时树中只含有一个顶点，之后选择一个与当前 $T$ 中顶点集合距离最近的顶点，并将该顶点和相应的边加入 $T$ ，每次操作后 $T$ 中的顶点数和边数都增加 $1$ 。以此类推，直至图中所有的顶点都并入 $T$ ，得到的 $T$ 就是最小生成树。
（图片来自王道考研408数据结构2025）

$P r im$ 算法的步骤如下：

假设 $G= \{V,E\}$ 是连通图，其最小生成树 $T=(U,E_T)$ ， $E_T$ 是最小生成树中边的集合。
初始化：向空树 $T=(U,E_T)$ 中添加图 $G = (V, E)$ 的任意一个顶点 $u_0$ ，使 $U=\{u_0\}$ ， $E_T=\emptyset$ 。
循环（重复下列操作直至 $U = V$ ）：从图 $G$ 中选择满足 $\left \{ \left ( u,v \right ) \mid u \in U, v \in V-U \right \}$ 且具有最小权值的边 $(u, v)$ ，加入树 $T$ ，置 $\cup \left \{ v \right \}$ ， $E_T = E_T \cup \left \{ \left ( u,v \right ) \right \}$ 。

王道书上给出的 $P r im$ 算法简单实现的伪代码如下，感兴趣的读者可以尝试完善之：

void Prim(G, T){
	T=∅;				//初始化空树
	U={w};				//添加任意一个顶点w
	while((V-U)!=∅){	//若树中不含全部顶点
		设(u,v)是使u∈U与v∈(V−U)，且权值最小的边
		T=T∪{(u,v)};	//边归入树
		U=U∪{v};		//顶点归入树
	}
}

$P r im$ 算法的时间复杂度为 $O(|V|^2)$ ，不依赖于 $∣ E ∣$ ，因此它适用于求解稠密图的最小生成树。虽然采用其他方法能改进 $P r im$ 算法的时间复杂度，但增加了实现的复杂性。

相关例题：PTA 7-50 畅通工程之局部最小花费问题（传送门）

$Kr u s ka l$ 算法

与 $P r im$ 算法从顶点开始扩展最小生成树不同， $Kr u s ka l$ （克鲁斯卡尔）算法是一种按权值的递增次序选择合适的边来构造最小生成树的方法。
$Kr u s ka l$ 算法构造最小生成树的过程如下图 $6.16$ 所示（王道考研408数据结构2025 - P241）。初始时为只有 $n$ 个顶点而无边的非连通图 $\left \{ V,\left \{ \right \} \right \}$ ，每个顶点自成一个连通分量。然后按照边的权值由小到大的排序，不断选取当前未被选取过且权值最小的边，若该边依附的顶点落在 $T$ 中不同的连通分量上（使用并查集判断这两个顶点是否属于同一棵集合树），则将此边加入 $T$ ，否则舍弃此边而选择下一条权值最小的边。以此类推，直至 $T$ 中所有顶点都在一个连通分量上。
（图片来自王道考研408数据结构2025）

知识点回顾：并查集

$Kr u s ka l$ 算法的步骤如下：

假设 $G= \{V,E\}$ 是连通图，其最小生成树 $T=(U,E_T)$ 。
初始化： $U = V$ ， $E_T=\emptyset$ 。即每个顶点构成的一棵独立的树， $T$ 此时是一个仅含 $∣ V ∣$ 个顶点的森林。
循环（重复直至 $T$ 是一棵树）：按 $G$ 的边的权值递增顺序依次从 $E-E_T$ 中选择一条边，若这条边加入 $T$ 后不构成回路，则将其加入 $E_T$ ，否则舍弃，直到 $E_T$ 中含有 $n - 1$ 条边。

王道书上给出的 $Kr u s ka l$ 算法简单实现的伪代码如下，感兴趣的读者可以尝试完善之：

void Kruskal(V,T){
	T=V;						//初始化树T，仅含顶点
	numS=n;						//连通分量数
	while(numS>1){				//若连通分量数大于1
		从E中取出权值最小的边(v,u);
		if(v和u属于T中不同的连通分量){
			T=T∪{(v,u)};		//将此边加入生成树中
			numS--;				//连通分量数减1
		}
	}
}

根据图的相关性质，若一条边连接了两棵不同树中的顶点，则对这两棵树来说，它必定是连通的，将这条边加入森林中，完成两棵树的合并，直到整个森林合并成一棵树。
在 $Kr u s ka l$ 算法中，最坏情况下需要对 $∣ E ∣$ 条边各扫描一次。通常采用堆（第 $7$ 章里会讲）来存放边的集合，每次选择最小权值的边需要 $O(log_2|E|)$ 的时间；每次使用并查集来快速判断两个顶点是否属于一个集合所需的时间为 $O (α (∣ V ∣))$ ， $α (∣ V ∣)$ 的增长极其缓慢，可视为常数。算法的总时间复杂度为 $O(|E|log_2|E|)$ ，不依赖于 $∣ V ∣$ ，因此 $Kr u s ka l$ 算法适合顶点较多的稀疏图。