最小生成树（MST）

最新推荐文章于 2024-07-01 10:25:42 发布

啵啵张

最新推荐文章于 2024-07-01 10:25:42 发布

阅读量779

点赞数

文章标签：算法

本文链接：https://blog.csdn.net/m0_56945100/article/details/132124492

版权

一、基本概念

注意：我们讨论的最小生成树问题是对于连通无向图的。

生成树：设连通无向图 $G=\left ( V,E \right )$ 边集 $E$ 的一个子集 $T$ ，若 $T$ 是无环的，并且连通所有的结点（此时 $T$ 一定为一棵树），则称为 $G$ 的生成树。

最小生成树：图 $G$ 生成树中，权重最小的。

切割：无向图 $G=\left ( V,E \right )$ 的一个切割 $\left ( S,V-S \right )$ 是点集 $V$ 的一个划分，如图一所示。

横跨：如果一条边 $\left ( u,v \right )\in E$ 的一个端点位于集合 $S$ 另一个端点位于集合 $V-S$ ，则称该条边横跨切割 $\left ( S,V-S \right )$ 。

尊重：如果集合 $A$ 中不存在横跨该切割的边，则称该切割尊重集合 $A$ 。

轻量级边：在横跨一个切割的所有边中，权重最小的边称为轻量级边。

图一黑色结点位于集合S，白色结点位于集合V-S，横跨该切割的边是那些连接白色结点和黑色结点的边，其中边（d，c）是唯一轻量级边。加阴影的边属于子集A，则该切割尊重集合A。

安全边：设边集合 $A$ 是图的某棵最小生成树的一个子集，若将边 $\left ( u,v \right )\in E$ 加入到集合 $A$ 中使得 $A\cup \left \{ \left ( u,v \right ) \right \}$ 也是某棵最小生成树的子集，则称边 $\left ( u,v \right )$ 为 $A$ 的安全边。

生成最小生成树的基本框架是：初始化 $A=\varnothing$ ，然后不断向 $A$ 中加入安全边直到生成最小生成树。（不同的最小生成树算法选择安全边的策略有所不同。）伪代码如下：

定理：设 $G=\left ( V,E \right )$ 是一个在边 $E$ 上定义了实数值权重函数 $\omega$ 的连通无向图。设集合 $A$ 为 $E$ 的一个子集，且 $A$ 包括在图 $G$ 的某棵最小生成树中，设 $\left ( S,V-S \right )$ 是图 $G$ 中尊重集合 $A$ 的任意一个切割，又设 $\left ( u,v \right )$ 是横跨切割 $\left ( S,V-S \right )$ 的一条轻量级边。那么边 $\left ( u,v \right )$ 对于集合 $A$ 是安全的。

该定理可以更好地理解GENERIC-MST算法：随着算法的运行，集合 $A$ 总是保持无环状态。在任意时刻，图 $G_{A}=\left ( V,A \right )$ 是一个森林， $G_{A}$ 中每个连通分量则是一棵树。重要的是，每次添加的安全边 $\left ( u,v \right )$ 所连接的是 $G_{A}$ 中不同的连通分量（否则产生环）。该算法while循环共执行 $\left | V \right |-1$ 次，初始时， $A=\varnothing$ ， $G_{A}$ 中有 $\left | V \right |$ 棵树（即每个结点是一棵树），每次循环树的数量将减少一棵直到仅剩一棵树时，算法终止，该树就是图 $G=\left ( V,E \right )$ 的一棵最小生成树。

重要的是，由该定理引出的如下推论将是我们得出最小生成树算法的直接理论依据。

推论：设 $G=\left ( V,E \right )$ 是一个在边 $E$ 上定义了实数值权重函数 $\omega$ 的连通无向图。设集合 $A$ 为 $E$ 的一个子集，且 $A$ 包括在图 $G$ 的某棵最小生成树中，并设 $C= \left ( V_{C},E_{C } \right )$ 为 $G_{A}=\left ( V,A \right )$ 森林中的一个连通分量（树）。如果边 $\left ( u,v \right )$ 是连接 $C$ 和 $G_{A}$ 中某个其他连通分量的一条轻量级边，则边 $\left ( u,v \right )$ 对于集合 $A$ 是安全的。

二、Kruskal算法

算法介绍：在Kruskal算法中，集合 $A$ 是一个森林，每次加入到 $A$ 中的安全边是连接两个不同分量的边中权重最小的。初始每个结点均为一个连通分量，算法的过程是不断找到连接不同连通分量中最小的边，则由推论可保证正确性。等价的实现过程是，首先按权值大小对边进行排序，按从小到大的顺序检查边，如果连接不同连通分量则保留，如果在同一连通分量中则忽略。

伪代码：

解释：我们使用不相交集合数据结构实现不同连通分量的表示。初始时，MAKE-SET为每个结点创造一个集合。FIND-SET检查 $u$ 和 $v$ 是否属于同一连通分量（不相交集合），若不属于，则UNION合并 $u$ 和 $v$ 所在连通分量。

时间复杂度： $O(ElgV)$ 。

复杂度分析：运行时间依赖于不相交集合数据结构的实现，我们使用不相交集合森林实现，并运用按秩合并和路径压缩两个策略，这时迄今为止渐进时间最快的实现方式。第4行排序算法最快 $O\left ( ElgE \right )$ 。2至8行一共执行 $E$ 次FIND-SET和UNION操作和 $V$ 次MAKE-SET操作，则运行时间为 $O\left ( \left ( V+E \right )lg^{*} V\right )$ 。则总运行时间为 $O\left ( ElgE \right )$ ，也即 $O\left ( ElgV \right )$ （ $O\left ( lgE \right )=O\left ( lgV \right )$ ）。

举例：

三、Prim算法

算法介绍：在Prim算法中，集合 $A$ 是一棵树，每次加入到 $A$ 中的安全边是连接 $A$ 和 $A$ 之外某个结点中的最小边，初始时 $A$ 中包含任意一个结点。算法实现过程是，将不在 $A$ 中的结点都存放在一个基于 $key$ 属性的最小优先队列 $Q$ 。 $v.key$ 保存的是结点 $v$ 连接树 $A$ 的所有边的最小权重。 $v.\pi$ 保存的是 $v$ 在树中的父结点。

伪代码：

解释： $r$ 为我们任意选择的根结点，将 $r$ 外的结点 $key$ 值初始化为 $\infty$ ， $\pi$ 初始化为NIL， $r.key$ 设置为0以便我们第一个选择。最小优先队列 $Q$ 初始化为所有结点。

时间复杂度：依赖于最小优先队列的实现：

（1）一般数组： $O\left ( V^{2} \right )$ 。

（2）普通二叉堆： $O\left ( ElgV \right )$ 。

（3）斐波那契堆： $O\left ( E+VlgV \right )$ 。

复杂度分析：1至4行初始化共需要 $O\left ( V \right )$ 时间，11行 $key$ 值更新后隐含DECREASE-KEY操作。对于第9行判断结点是否在 $Q$ 中，我们可以为每个结点添加一个标记，在 $Q$ 中为True，不在则为False，当结点从 $Q$ 中删除时，该标记由True变为False，于是判断操作为常数时间。算法共需执行一次建堆BUILD-MIN-HEAP， $V$ 次EXTRACT-MIN， $E$ 次DECREASE-KEY。

（1）一般数组：EXTRACT-MIN为 $O\left ( V \right )$ ，DECREASE-KEY为 $O\left ( 1 \right )$ ，运行时间为 $O\left ( V^{2} +E\right )$ ，也即 $O\left ( V^{2} \right )$ 。

（2）普通二叉堆：EXTRACT-MIN为 $O\left ( lgV \right )$ ，DECREASE-KEY为 $O\left ( lgV \right )$ ，运行时间为 $O\left ( \left ( V+E \right )lgV\right )$ ，也即 $O\left (ElgV \right )$ 。

（3）斐波那契堆：EXTRACT-MIN为 $O\left ( lgV \right )$ ，DECREASE-KEY为 $O\left ( 1 \right )$ ，运行时间为 $O\left ( E+VlgV\right )$ 。

举例：

四、Boruvka算法

算法介绍：Boruvka算法是最早的计算MST的算法，它的过程类似于Kruskal和Prim的结合，其用一句话总结就是：从当前每个连通块开始向外找到连接其他连通块的最小边，直到只剩一个连通块。Boruvka算法最大的一个特点是，该算法允许并行化运行，而以上两个算法本质上都是连续的。

伪代码：

解释：图 $F$ 存储图 $G$ 的所有顶点及发现的最小生成树中的边。 $count$ 用来记录当前连通块的个数。循环检查 $count$ ，当其降为1说明最小生成树已经生成。函数COUNTANDLABEL完成两件工作，不仅计算当前图 $F$ 的连通块个数，还为每个结点分配其所属连通块。显然COUNTANDLABEL可用DFS或BFS运行搜索一次完成。

函数ADDALLSAFEEDGES用来合并连通块。 $safe\left [ i \right ]$ 用来记录当前第 $i$ 个连通块连接其它连通块权值最小的边，所以 $safe$ 数组每次只有前 $count$ 个记录有意义。 $comp\left ( u \right )$ 返回结点 $u$ 所属的连通块标号，其值即为DFS或BFS过程中生成的森林中的第几棵树。ADDALLSAFEEDGES每次执行都遍历一遍图 $G$ 的所有边集 $E$ 。如果边 $uv$ 连接的是同一个连通块的两个结点，则该边已经在 $F$ 中生成或者不在最终的最小生成树中，不考虑即可。如果边 $uv$ 连接的是不同连通块的两个结点，则检查是否可以更新 $safe$ 数组。遍历结束后，将新生成的边加入到图 $F$ 。

时间复杂度：邻接表： $O\left ( ElgV \right )$ ；邻接矩阵： $O\left ( V^{2}lgV \right )$ 。

复杂度分析：我们首先分析while循环次数。每次连通块合并，至少使连通块减半，初始连通块数为 $V$ （每个顶点即一个连通块），所以循环次数为 $O\left ( lgV \right )$ 。ADDALLSAFEEDGES函数显然为 $O\left ( V+E \right )$ ，COUNTANDLABEL则为 $O\left ( V+E \right )$ 。故复杂度为 $O\left ( \left ( V+E \right ) lgV\right )$ ，即为 $O\left ( ElgV \right )$ 。