学习笔记-图论-Prim算法的两种描述

ywsdxxzj

已于 2022-04-11 09:56:57 修改

阅读量754

点赞数 1

分类专栏：数据结构数学推导文章标签：图论

于 2022-04-10 20:50:45 首次发布

本文链接：https://blog.csdn.net/ywsdxxzj/article/details/124081133

版权

数据结构同时被 2 个专栏收录

4 篇文章 0 订阅

订阅专栏

数学推导

2 篇文章 0 订阅

订阅专栏

简介

在前几个学期学习离散数学和数据结构的时候学习过图论的基本知识，这个学期学通信网络基础时候把一些算法又学了一遍。其中Prim算法的描述稍有差异，以下对这两种描述进行简要介绍，并说明其等价性。

描述一：集合版本

数据结构课程中多采用此种描述。例子引自：知乎-Prim算法——最小生成树。

具体内容

用两个集合A{}, B{}分别表示找到的点集和未找到的点集；
以A中的点为起点a，在B中找一个点为终点B，这两个点构成的边(a,b)应为其余边中最小的；
重复2，直至B中点集为空，A中点集为满。

算法例子

描述1解析

描述二：权值矩阵版本

以下的这段描述看似复杂，实际上只是讲得稍微啰嗦了一点。

主要的区别，在于用权值矩阵一个数据结构就表达了描述一中的集合A、B，以及边的权重。可能代码实现起来会更方便吧。

具体内容

写出图G的权值矩阵；
由点 $v_{1}$ 开始，在行1中找出最小元素 $w_{1j}$ ；
在行1和行j中，剔除列1和列j的元素，并在这两行余下的元素中找出最小元素，如 $w_{jk}$ （如有多个最小元素可任选其中一个）；
在行1、行j和行k中，圈去列1、列j和列k的元素，并在这三行余下的元素中找出最小元素；
直至矩阵中所有元素均被圈去，即找到图G的一棵最小生成树。

算法例子

用描述2的方式解描述1的同一道题，便于理解两种描述实际上讲的是同一个东西。
描述1解析

总结

通过例子可以看出找到的生成树是一样的，实际上两种描述显然是等价的。

描述1中的集合A、B；在描述2中体现为未被划掉的、已被划掉的元素(实际上是这些元素所在的行/列)。
描述1中，以A中节点a为起点，以B中节点b为终点；在描述2中体现为寻找行i中的元素 $w_{ij}$ 。

胡言乱语

实际上，你愿意倒着来的话，按描述2做法，但是将划掉某列改成划掉某行，显然也是能做的。换成描述1就等于以A中节点a为终点，以B中节点b为起点的做法。

补充1：Dijkstra算法

不同于用于求解最小生成树的Kruscal算法和Prim算法。Dijkstra算法和Prim算法是用于求解最短路径问题的。
Dijkstra算法与Flod 如上图，Dijkstra算法运行一次就可以获得某一点 $v_{i}$ 到其他所有点 $G-\{v_{i}\}$ 的所有最短路径(故称之单源最短路径)。这是其与Floyd算法的不同之处

具体内容

对于图 $G$ ，选定源节点 $v_{i}$ ， $G_{p}=\{v_{i}, \}$ ；
维护一个列表 $l i s t 1$ ，记录 $v_{i}$ 到 $\forall v_{j}\in G-G_{p}$ 的距离 $d(v_{i}, v_{j})$ ；
对于 $\forall v_{j}\in G-G_{p}$ ，查询 $min\ d(v_{i}, v_{j})$ ，将 $v_{j}$ 加入 $G_{p}$ 中；
以 $v_{j}$ 为转节点，查询是否有“ $v_{i}$ 出发，经过 $v_{j}$ 到 $\forall v_{k}\in G-G_{p}$ 的更短路径”，有则更新表 $l i s t 1$ 中的距离 $d(v_{i}, v_{k})$ ；
对于2中新得到的 $G_{p}$ 重复执行2~4，不断更新 $l i s t 1$ 和 $G_{p}$ 直至 $G_{p}=G$ 为止。

算法例子

Dijkstra算法例子

与Prim的异同

容易看出此处 $G_{p}$ 和 $G-G_{p}$ 其实就是Prim算法(描述1)中的集合 $A$ 和集合 $B$ 。

区别在于，Prim算法中更新 $A$ 时，考虑的是 $\forall v_{h} \in A$ 到 $\forall v_{j} \in B$ 的最短距离 $d_{h,j}$ ；而Dijkstra算法中，我们不关心节点到联通分量 $G_{p}$ 的距离，而是要溯源于 $v_{i}$ ——因此，考虑 $v_{i}$ 到 $\forall v_{j} \in G-G_{p}$ 的距离 $d_{ij}$ 。