最小生成树算法

正文
      所谓最小生成树,就是在一个具备N个顶点的带权连通图G中,若是存在某个子图G',其包含了图G中的全部顶点和一部分边,且不造成回路,而且子图G'的各边权值之和最小,则称G'为图G的最小生成树。
      由定义咱们可得知最小生成树的三个性质:
      • 最小生成树不能有回路。
      • 最小生成树多是一个,也多是多个。
      • 最小生成树边的个数等于顶点的个数减一。html

本文将介绍两种最小生成树的算法,分别为克鲁斯卡尔算法(Kruskal Algorithm)和普利姆算法(Prim Algorithm)。node

1、克鲁斯卡尔算法(Kruskal Algorithm)ios

克鲁斯卡尔算法的核心思想是:在带权连通图中,不断地在边集合中找到最小的边,若是该边知足获得最小生成树的条件,就将其构造,直到最后获得一颗最小生成树。算法

克鲁斯卡尔算法的执行步骤:
第一步:在带权连通图中,将边的权值排序;
第二步:判断是否须要选择这条边(此时图中的边已按权值从小到大排好序)。判断的依据是边的两个顶点是否已连通,若是连通则继续下一条;若是不连通,那么就选择使其连通。
第三步:循环第二步,直到图中全部的顶点都在同一个连通份量中,即获得最小生成树。ide

下面我用图示法来演示克鲁斯卡尔算法的工做流程,以下图:spa

 

首先,将图中全部的边排序(从小到大),咱们将以此结果来选择。排序后各边按权值从小到大依次是:.net

HG < (CI=GF) < (AB=CF) < GI < (CD=HI) < (AH=BC) < DE < BH < DF3d

接下来,咱们先选择HG边,将这两个点加入到已找到点的集合。这样图就变成了,如图code

 

继续,此次选择边CI(当有两条边权值相等时,可随意选一条),此时需作判断。htm

判断法则:当将边CI加入到已找到边的集合中时,是否会造成回路?
     1.若是没有造成回路,那么直接将其连通。此时,对于边的集合又要作一次判断:这两个点是否在已找到点的集合中出现过?
          ①.若是两个点都没有出现过,那么将这两个点都加入已找到点的集合中;
          ②.若是其中一个点在集合中出现过,那么将另外一个没有出现过的点加入到集合中;
          ③.若是这两个点都出现过,则不用加入到集合中。
     2.若是造成回路,不符合要求,直接进行下一次操做。

根据判断法则,不会造成回路,将点C和点I连通,并将点C和点I加入到集合中。如图:

继续,此次选择边GF,根据判断法则,不会造成回路,将点G和点F连通,并将点F加入到集合中。如图:

继续,此次选择边AB,根据判断法则,不会造成回路,将其连通,并将点A和点B加入到集合中。如图:

继续,此次选择边CF,根据判断法则,不会造成回路,将其连通,此时这两个点已经在集合中了,因此不用加入。如图:

继续,此次选择边GI,根据判断法则,会造成回路,以下图,直接进行下一次操做:

 继续,此次选择边CD,根据判断法则,不会造成回路,将其连通,并将点D加入到集合中。如图:

继续,此次选择边HI,根据判断法则,会造成回路,直接进行下一次操做。
继续,此次选择边AH,根据判断法则,不会造成回路,将其连通,此时这两个点已经在集合中了,因此不用加入。
继续,此次选择边BC,根据判断法则,会造成回路,直接进行下一次操做。
继续,此次选择边DE,根据判断法则,不会造成回路,将其连通,并将点E加入到集合中。如图:

继续,此次选择边BH,根据法则,会造成回路,进行下一次操做。
最后选择边DF,根据法则,会造成回路,不将其连通,也不用加入到集合中。

好了,全部的边都遍历完成了,全部的顶点都在同一个连通份量中,咱们获得了这颗最小生成树。

经过生成的过程能够看出,可否获得最小生成树的核心问题就是上面所描述的判断法则。
那么,咱们如何用算法来描述判断法则呢?我认为只须要三个步骤便可:
    ⒈将某次操做选择的边XY的两个顶点X和Y和已找到点的集合做比较,若是
         ①这两个点都在已找到点的集合中,那么return 2;
         ②这两个点有一个在已找到点的集合中,那么return 1;
         ③这两个点都不在一找到点的集合中,那么return 0;
    ⒉当返回值为0或1时,可断定不会造成回路;
    ⒊当返回值为2时,断定能造成回路的依据是:假如能造成回路,设能造成回路的点的集合中有A,B,C,D四个点,那么以点A为起始点,绕环路一周后必能回到点A。若是能回到,则造成回路;若是不能,则不能造成回路。

#include<iostream>
#include<algorithm>
using namespace std;

const int size = 128; 
int n;
int father[size];
int rank[size];

//把每条边成为一个结构体,包括起点、终点和权值 
typedef struct node
{
    int val;
    int start;
    int end;    
}edge[SIZE * SIZE / 2];

//把每一个元素初始化为一个集合 
void make_set()
{
    for(int i = 0; i < n; i ++){
        father[i] = i;
        rank[i] = 1;    
    }    
    return ;
}

//查找一个元素所在的集合,即找到祖先 
int find_set(int x)
{
    if(x != father[x]){
        father[x] = find_set(father[x]);    
    }    
    return father[x];
}

//合并x,y所在的两个集合:利用Find_Set找到其中两个
//集合的祖先,将一个集合的祖先指向另外一个集合的祖先。
void Union(int x, int y)
{
    x = find_set(x);    
    y = find_set(y);
    if(x == y){
        return ;    
    }
    if(rank[x] < rank[y]){
        father[x] = find_set(y);    
    }
    else{
        if(rank[x] == rank[y]){
            rank[x] ++;    
        }    
        father[y] = find_set(x);
    }
    return ;
}

bool cmp(pnode a, pnode b)
{
    return a.val < b.val;    
}

int kruskal(int n) //n为边的数量 
{
    int sum = 0;
    make_set();
    for(int i = 0; i < n; i ++){   //从权最小的边开始加进图中 
        if(find_set(edge[i].start) != find_set(edge[i].end)){
            Union(edge[i].start, edge[i].end);
            sum += edge[i].val;    
        }    
    }
    return sum;    
}

int main()
{
    while(1){
        scanf("%d", &n);    
        if(n == 0){
            break;    
        }
        char x, y;
        int m, weight;
        int cnt = 0;
        for(int i = 0; i < n - 1; i ++){
            cin >> x >> m; 
            //scanf("%c %d", &x, &m);    
            //printf("%c %d ", x, m);
            for(int j = 0; j < m; j ++){
                cin >> y >> weight; 
                //scanf("%c %d", &y, &weight);
                //printf("%c %d ", y, weight);    
                edge[cnt].start = x - 'A';
                edge[cnt].end = y - 'A';
                edge[cnt].val = weight;
                cnt ++;
            }
        }
        
        sort(edge, edge + cnt, cmp); //对边按权从小到大排序 
        cout << kruskal(cnt) << endl; 
    }    
}
View Code

 

 2、普利姆算法(Prim Algorithm)

普利姆算法的核心步骤是:在带权连通图中,从图中某一顶点v开始,此时集合U={v},重复执行下述操做:在全部u∈U,w∈V-U的边(u,w)∈E中找到一条权值最小的边,将(u,w)这条边加入到已找到边的集合,而且将点w加入到集合U中,当U=V时,就找到了这颗最小生成树。

其实,由步骤咱们就能够定义查找法则:在全部u∈U,w∈V-U的边(u,w)∈E中找到一条权值最小的边。

ok,知道了普利姆算法的核心步骤,下面我就用图示法来演示一下工做流程,如图:

首先,肯定起始顶点。我以顶点A做为起始点。根据查找法则,与点A相邻的点有点B和点H,比较AB与AH,咱们选择点B,以下图。并将点B加入到U中。

继续下一步,此时集合U中有{A,B}两个点,再分别以这两点为起始点,根据查找法则,找到边BC(当有多条边权值相等时,可选任意一条),以下图。并将点C加入到U中。

继续,此时集合U中有{A,B,C}三个点,根据查找法则,咱们找到了符合要求的边CI,以下图。并将点I加入到U中。

继续,此时集合U中有{A,B,C,I}四个点,根绝查找法则,找到符合要求的边CF,以下图。并将点F加入到集合U中。

继续,依照查找法则咱们找到边FG,以下图。并将点G加入到U中。

继续,依照查找法则咱们找到边GH,以下图。并将点H加入到U中。

 

 继续,依照查找法则咱们找到边CD,以下图。并将点D加入到U中。

 

 继续,依照查找法则咱们找到边DE,以下图。并将点E加入到U中。

 

此时,知足U = V,即找到了这颗最小生成树。
附注:prim算法最小生成树的生成过程当中,也有可能构成回路,需作判断。判断的方法和克鲁斯卡尔算法同样。

int prime(int cur)
{
    int index;
    int sum = 0;
    memset(visit, false, sizeof(visit));
    visit[cur] = true;
    for(int i = 0; i < m; i ++){
        dist[i] = graph[cur][i];    
    }
    
    for(int i = 1; i < m; i ++){
        
        int mincost = INF;
        for(int j = 0; j < m; j ++){
            if(!visit[j] && dist[j] < mincost){
                mincost = dist[j];
                index = j;    
            }    
        }
        
        visit[index] = true;
        sum += mincost;
        
        for(int j = 0; j < m; j ++){
            if(!visit[j] && dist[j] > graph[index][j]){
                dist[j] = graph[index][j];
            }    
        }    
    } 
    return sum;    
}
View Code

 

 

转载:http://blog.csdn.net/fengchaokobe/article/details/7521780
        http://www.cnblogs.com/aiyelinglong/archive/2012/03/26/2418707.html