最小生成树——普利姆 克鲁斯卡尔

Posted qq2210446939

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了最小生成树——普利姆 克鲁斯卡尔相关的知识,希望对你有一定的参考价值。

最小生成树

生成树定义:是原图的一个极小连通子图,含有原图的全部顶点,但只有n-1条边。它连通但边只有n-1,也就是说任意让两点连边必定成环,不过这结论好像没啥用。

最小生成树:对于一张图的生成树可能有多种,对于边权和最小的一种就是最小生成树了。

 

prim算法

 

首先首先,我们来几个标识,原图是N={V,E},TE是N上最小生成树的边集,然后有个已选点集合U,那么未选点集就是V-U了。

首先,先来个起点,加入到U里面。

然后,在所以边(a,b),a属于U,b属于V-U里面,找一条权值最小的边(a0,b0),并入集合TE,同时b0加入到U。

 

最终,经过不断的重复,U越来越多,达到n个点,也就是说U=V;

 

证明:    设prim生成的图为G0

    假设存在Gmin使得cost(Gmin)<cost(G0),则Gmin存在边<u,v>不属于G0;

    将<u,v>加入Gmink可以得到一个环,且<u,v>不是该环的最长边

    这与prim每次生成最短边矛盾;

prim的实现:

  首先会用到closedge结构体数组,包括adjvex域和lowcost域;

 

struct node{
    int adjvex;
    int lowcost;
}closedge[maxn];   //closedge[i]中,i和closedge[i].adjvex组成一条边,权值为lowcost
//整个数组用于记录U到V-U具最小权值的边,每次选最小的就是上面的步骤二了

 先来看看算法分析:

struct node{
    int adjvex;
    int lowcost;//一开始初始化为正无穷
}closedge[maxn];   //closedge[i]中,i和closedge[i].adjvex组成一条边,权值为lowcost
//整个数组用于记录U到V-U具最小权值的边,每次选最小的就是上面的步骤二了

void prim(AMGRAPH G, char u)
{//以名字u为起点,在邻接矩阵表示的图G中,构建最小生成树
    int k=locate(G,u);//寻找u名字在定点表中的下标
    for(int i=0;i<n;i++)
        if(i!=k) closedge[i]={u,G.arc[k][j]};//对起点的邻接点初始化
    closedge[k].lowcost =0;//为0就代表着选过了
    for(int i=1;i<G.vexnum;i++)
    {//选择其余n-1个点
        k=min(closedge);//找出closedge中lowcost最小的编号(下标)
        int u0=closedge[k].adjvex;//属于U
        int v0=G.vexs[k];         //属于V-U
        cout<<u0<<v0;
        closedge[k].lowcost =0;
        for(int j=0;j<G.vexnum;++j){
            if(G.arc[k][j]<closedge[j].lowcost )
                closedge[j].lowcost=G.arc[k][j];
                closedge[j].adjvex =G.vex[k];
        }
    }
}

正式代码:

技术图片
 1 struct node{
 2     int adjvex; /*或者*/ char adjvex;//一个是编号一个是名字
 3     int lowcost;//一开始初始化为正无穷
 4 }closedge[maxn];   //closedge[i]中,i和closedge[i].adjvex组成一条边,权值为lowcost
 5 //整个数组用于记录U到V-U具最小权值的边,每次选最小的就是上面的步骤二了
 6 
 7 int locate(AMGRAPH G,char u)
 8 {
 9     for(int i=0;i<=n;i++)
10         if(G.vexs[i]==u)
11             return i;
12 }
13 
14 void prim(AMGRAPH G, char u)
15 {//以名字u为起点,在邻接矩阵表示的图G中,构建最小生成树
16 
17     int k=locate(G,u);//寻找u名字在定点表中的下标
18     for(int i=0;i<n;i++)
19         if(i!=k) closedge[i]={u,G.arc[k][j]};//对起点的邻接点初始化
20     closedge[k].lowcost =0;//为0就代表着选过了
21     
22     for(int i=1;i<G.vexnum;i++)
23     {//选择其余n-1个点
24     
25         int temp=INT-MAX,k;
26         for(int j=0;j<G.vexnum;j++)
27         {
28             if(closedge[j].lowcost<temp&&closedge[j].lowcost!=0)//对于未选的最小权值的点
29                 k=j;
30         }
31         
32         char u0=closedge[k].adjvex;//属于U
33         char v0=G.vexs[k];         //属于V-U
34         cout<<u0<<v0;
35         
36         closedge[k].lowcost =0;//标记k,代表选了
37         
38         for(int j=0;j<G.vexnum;++j){//刷新与k的邻接点,若权值比lowcost小,就刷新
39             if(G.arc[k][j]<closedge[j].lowcost )
40                 closedge[j].lowcost=G.arc[k][j];
41                 closedge[j].adjvex =G.vex[k];
42         }
43     }
44 }
View Code

 好啦,这算是彻底领悟了,那就看看更简单的克鲁斯卡尔算法;

克鲁斯卡尔

 与prim不同,kruskal是加边

与课本不同,这是另一种描述,很像哈夫曼树

 

克鲁斯卡尔算法:先构造一个只含n个顶点,但边集为空的子图,

        把子图中各个顶点看成各棵树的根节点,之后,

        从边集选权值最小的边,若该边的两个顶点属于不同的树

        就加进子图,把两棵树并成一颗,以此类推,直至森林中只有一棵树。

这个定义本质还是不断让两个连通分量变成一个,知道子图连通。

 

证明:这这这显而易见啊,不过还是要证的,网上的术语好烦,这里以后补。

 

那么如何判断一条边连的是不是两个不同的连通分量呢?

如果是同一连通分量,那么加入这条边就一定成环,我们可以判断它成不成环

或者直接判断属不属于同一个连通分量,答案呼之欲出——并查集

代码:

 

技术图片
 1 struct node{
 2     int u,v,w;
 3 }map[maxn];
 4 
 5 bool cmp(node a,node b)
 6 {
 7     return a.w <b.w ;
 8 }
 9 
10 int find(int x)
11 {
12     return x==p[x]?x:p[x]=find(p[x]);//并查集,一直找掌门,并将中间赋值
13 }
14 
15 void kelusikaer (node map[] ,int u)
16 {//对图map图,计算最小生成树的边权和
17     int p[maxn];
18     for(int i=0;i<n;i++)
19         p[i]=i;
20     /*这里输入数据*/
21     sort(map,map+k,cmp);//k为边的数目
22     int ans=0;
23     for(int i=0;i<k;i++)
24     {
25         int x=find(map[i].u );
26         int y=find(map[i].v );
27         if(x!=y){//如果不等,就代表不是同一个连通分量
28             ans+=map[i].w ;
29             p[x]=y;//代表合并了两个连通分量
30         }
31     }
32     cout<<ans<<endl;
33 }
View Code

 

 

 

  

 

 

 

 

 

    

 

以上是关于最小生成树——普利姆 克鲁斯卡尔的主要内容,如果未能解决你的问题,请参考以下文章

数据结构 普利姆与克鲁斯卡尔的最小生成树(Swift面向对象版)

普利姆算法

克鲁斯卡尔算法

最小生成树

数据结构最小生成树克鲁晓夫法和普利姆算法分析总结

使用克鲁斯卡尔算法为以下无向图构造出一棵最小生成树,请画出构造的每一步骤