1. 最小生成树
最小生成树是无向联通带权图的最小联通分量(带权)。只用n-1条边连接n个顶点,且边的权值和最小。
使用贪心算法,贪心和动态规划比,还有一个更强的性质,局部最优解即为全局最优解。
2. 求解算法思想
2.1. 通用的思想
算法没一步都确定一条边,使得加入后仍然为最小生成树的子集。一般都是基于贪心算法思想来实现。
2.2. 克鲁斯卡尔(Kruskal)算法
思想:使用类似求解联通分量的方法。从当前的森林中找出所有连接不同森林的权值最小的边,并将该边加入森林(如果该边是不同树之间的边),并合并联通的森林。直到检查完所有边。
基于边的算法。初始n个顶点为n棵树,逐步将这n棵树合并为1棵树。
对边的处理一般可以先按权排序,再对边进行升序方式的访问。以便确定该边是否要加入树。
使用不相交集合数据结构来表示森林。
2.3. 普里姆(Prim)算法
思想:使用的方法类似迪杰斯特拉(Dijkstra)求解单源点最短路径的算法。
算法始终只有一棵树,算法从任何顶点开始都可以,初始点为树的起始,循环找出到该树中任何顶点权值最小的连接孤立点的边,并将该边和该孤立点加入树。直到无孤立点。算法使用一个最小优先队列,以便方便的查询出一个孤立点到中间树权值最小的边。是基于顶点的算法。
算法的复杂度取决于该队列如何实现。
找权值最小的边的一种实现思路是:对每个顶点v定义key域(代表所有将v与树中某一顶点相连的边中的最小权值),以及p域代表v的父(生成树中,v的父节点)。队列是作用在key域上的。算法执行时,会逐步的调整key域和p域。
从根据key域排序后的队列中取(取后会从队列中移除)最小值对应的顶点u,并修改调整该顶点的连接表对应的顶点的key域和p域。如果相连的顶点v还在队列中(说明此时v还没有加入到树中),且对应的key域大于w(u,v)(即v的key域大于u,v边的权;表示v已经加入到树中,但v到树中的边有更近的路径)则修改其key域和p域。
队列对于复杂度的影响有两个地方:取最小键值;降低key后的代价(维护队列为小堆的性质)。