最小生成树(Kruskal算法和Prim算法)

本文深入解析连通图、强连通图、连通网等概念,详细讲解了Kruskal和Prim算法求解最小生成树的过程。通过实例演示算法步骤,包括边的排序、树的合并以及点的加入,帮助读者理解最小生成树算法的核心思想。

参考:https://blog.youkuaiyun.com/justinzengtm/article/details/82748556

转载:https://blog.youkuaiyun.com/a2392008643/article/details/81781766

在看题的时候,突然用到最小生成树的问题,结果忘记了,复习以下Kruskal和Prim算法


关于图的几个概念定义:

  • 连通图:在无向图中,若任意两个顶点vivi与vjvj都有路径相通,则称该无向图为连通图。
  • 强连通图:在有向图中,若任意两个顶点vivi与vjvj都有路径相通,则称该有向图为强连通图。
  • 连通网:在连通图中,若图的边具有一定的意义,每一条边都对应着一个数,称为权;权代表着连接连个顶点的代价,称这种连通图叫做连通网。
  • 生成树:一个连通图的生成树是指一个连通子图,它含有图中全部n个顶点,但只有足以构成一棵树的n-1条边。一颗有n个顶点的生成树有且仅有n-1条边,如果生成树中再添加一条边,则必定成环。
  • 最小生成树:在连通网的所有生成树中,所有边的代价和最小的生成树,称为最小生成树。 

下面介绍两种求最小生成树算法

1.Kruskal算法

此算法可以称为“加边法”,初始最小生成树边数为0,每迭代一次就选择一条满足条件的最小代价边,加入到最小生成树的边集合里。 
1. 把图中的所有边按代价从小到大排序; 
2. 把图中的n个顶点看成独立的n棵树组成的森林; 
3. 按权值从小到大选择边,所选的边连接的两个顶点ui,viui,vi,应属于两颗不同的树,则成为最小生成树的一条边,并将这两颗树合并作为一颗树。 
4. 重复(3),直到所有顶点都在一颗树内或者有n-1条边为止。

这里写图片描述

2.Prim算法

此算法可以称为“加点法”,每次迭代选择代价最小的边对应的点,加入到最小生成树中。算法从某一个顶点s开始,逐渐长大覆盖整个连通网的所有顶点。

  1. 图的所有顶点集合为VV;初始令集合u={s},v=V−uu={s},v=V−u;
  2. 在两个集合u,vu,v能够组成的边中,选择一条代价最小的边(u0,v0)(u0,v0),加入到最小生成树中,并把v0v0并入到集合u中。
  3. 重复上述步骤,直到最小生成树有n-1条边或者n个顶点为止。

由于不断向集合u中加点,所以最小代价边必须同步更新;需要建立一个辅助数组closedge,用来维护集合v中每个顶点与集合u中最小代价边信息,:

struct
{
  char vertexData   //表示u中顶点信息
  UINT lowestcost   //最小代价
}closedge[vexCounts]

这里写图片描述

代码:

#include <iostream>
#include<vector>

using namespace std;

#define MAX_INT 999999
pair<int,int> GetShortestEdge(const vector<vector<int> >& Graph, const vector<bool>& isIncluded )//求当前在MST之外距离MST最近的点的id
{
    int minID = -1;
    int minDist = MAX_INT;
    pair<int,int> minEdge;
    for(int i = 0; i < Graph.size(); i++)//i为MST内的点
    {
        if(!isIncluded[i]) continue;//如果不在MST里面,则跳过
        for(int j = 0; j < Graph.size(); j++) //j为MST外的点
            if(!isIncluded[j] && Graph[i][j] < minDist){ //找到不在MST内但是距离MST最近的点
                minID = j;
                minDist = Graph[i][j];
                minEdge = make_pair(i,j);
            }
    }
    return minEdge;
}

vector<pair<int,int> > Prim(const vector<vector<int> >& Graph, vector<bool>& isIncluded){
    vector<pair<int,int> > MST;
    isIncluded[0] = true;
    //MST.push_back();
    for(int i = 1; i < Graph.size(); i++){
        pair<int,int> minEdge = GetShortestEdge(Graph, isIncluded); //找到这次要放入的边i,j
        MST.push_back(minEdge); //放入
        isIncluded[minEdge.second] = true; //将j标记为已经放入
    }
    return MST;
}

void addEdge( const int& startP, const int& endP, const int& weight ,vector<vector<int> >& Graph)
{
    Graph[startP][endP] = weight;
    Graph[endP][startP] = weight;
}

int main()
{
    int vertex_num = 6;
    vector<vector<int> > Graph(vertex_num, vector<int>(vertex_num, MAX_INT));
    addEdge(0,1,6 ,Graph);
    addEdge(0,2,1 ,Graph);
    addEdge(0,3,5 ,Graph);
    addEdge(1,2,5 ,Graph);
    addEdge(1,4,3 ,Graph);
    addEdge(2,3,5 ,Graph);
    addEdge(2,4,6 ,Graph);
    addEdge(2,5,4,Graph);
    addEdge(3,5,2,Graph);
    addEdge(4,5,6,Graph);
    vector<bool> isIncluded(vertex_num, false);
    vector<pair<int,int> >  MST = Prim(Graph, isIncluded);
    for(int i = 0; i < MST.size(); i++) //按照放入MST的顺序依次输出
        cout << MST[i].first+1 << "->" << MST[i].second+1 << endl;
    return 0;
}

 

### 最小生成树 Kruskal 算法 vs Prim 算法 #### 1. 算法思想对比 Kruskal算法是一种贪心算法,其核心在于按照边的权重从小到大依次选取不构成回路的边加入最小生成树中[^2]。而Prim算法则是从任意一个顶点开始构建最小生成树,在每次迭代过程中选择连接已有的部分剩余未访问节点之间的最短路径作为新的边加入当前的部分最小生成树内[^3]。 #### 2. 初始化方式不同 对于Kruskal算法而言,初始化时只需要将所有的边按权重升序排列即可;而对于Prim算法来说,则是从某个特定起点出发,初始状态下只有该起始结点被纳入考虑范围之内[^4]。 #### 3. 数据结构的选择差异 为了高效地执行这两种算法,所采用的数据结构也有所不同: - **Kruskal**: 使用并查集(Union-Find Set)来检测新增加的一条边是否会形成环路; - **Prim**: 则更倾向于利用优先队列(Priority Queue),比如二叉堆或斐波那契堆等高级数据结构来进行优化处理,从而快速找到下一个最优候选边。 #### 4. 时间复杂度分析 当涉及到时间效率方面: - 对于稀疏图 (edge数远小于vertex平方),由于Kruskal主要依赖于对所有edges的操作,因此它的时间性能较好; - 而针对稠密图(edge数目接近vertex数量级), Prim因为可以更好地控制局部搜索空间,所以往往表现得更为出色一些。 #### 5. Python代码实现示例 以下是两种算法简单的Python实现版本: ##### Kruskal Algorithm Implementation ```python from collections import defaultdict class Graph: def __init__(self, vertices): self.V = vertices self.graph = [] # 添加新边的方法 def addEdge(self,u,v,w): self.graph.append([u,v,w]) # 查找函数用于查找子集合 def find(self,parent,i): if parent[i] == i: return i return graph.find(parent ,parent[i]) # 合并两个子集合 def union(self,parent,rank,x,y): rootX = self.find(parent,x) rootY = self.find(parent,y) if rank[rootX] < rank[rootY]: parent[rootX]=rootY elif rank[rootX]>rank[rootY]: parent[rootY]=rootX else : parent[rootY]=rootX rank[rootX]+=1 def kruskalMST(self): result=[] e=0 self.graph=sorted(self.graph,key=lambda item:item[2]) parent=[] rank=[] for node in range(self.V): parent.append(node) rank.append(0) while(e<self.V-1 and len(self.graph)>e): u,v,w=self.graph[e] e+=1 x=self.find(parent,u) y=self.find(parent,v) if(x!=y): result.append((u,v,w)) self.union(parent,rank,x,y) minimumCost=0 print ("Edges in the constructed MST") for u,v,weight in result: minimumCost += weight print("%d -- %d == %d"%(u,v,weight)) print("Minimum Spanning Tree",minimumCost) ``` ##### Prim's Algorithm Implementation ```python import sys class Graph(): def __init__(self,vertices): self.V=vertices self.graph=[[0 for column in range(vertices)]for row in range(vertices)] def printSolution(self,dist): print("Vertex tDistance from Source") for node in range(self.V): print(node,"t",dist[node]) def minKey(self,dist,mstSet): min=sys.maxsize for v in range(self.V): if dist[v]<min and mstSet[v]==False: min=dist[v] min_index=v return min_index def primMST(self): key=[sys.maxsize]*self.V parent=[None]*self.V key[0]=0 mstSet=[False]*self.V parent[0]=-1 for cout in range(self.V): u=self.minKey(key,mstSet) mstSet[u]=True for v in range(self.V): if self.graph[u][v]>0 and mstSet[v]==False and key[v]>self.graph[u][v]: key[v]=self.graph[u][v] parent[v]=u self.printSolution(key) ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值