求最小生成树 —— 卡鲁思卡尔算法

 

算法思想：

将图中边按照权值从小到大排序（可以使用堆排序），然后从最小的边开始扫描，设置一个边的集合来记录，如果该边并入不构成回路（可以使用并查集来判断是否构成回路）的话，则将该边并入当前生成树。直到所有的边都检测为止。

实现代码：

#define MAXSIZE 100

typedef struct {
    int a, b; //边的两个顶点
    int weight; //边的权值
} Edge; //边结构体


int Find(int *parent, int x) {
    while(parent[x]>=0)  //循环向上寻找下标为x顶点的根
        x=parent;
    return x;  //while循环结束时找到了根的下标
}

Edge edges[MaxEdge];  //边数组
int parent[MaxVex];  //父亲顶点数组（查并集）

void MiniSpanTree_Kruskal(Mgraph G) {
    int i, n, m;
    sort(edges);  //按权值由小到大对边排序
    for(i=0; i<G.vexnum; i++)  //初始化，各个顶点单独形成一个集合
        parent[i]=-1;
    for(i=0; i<G.arcnum; i++){  //扫描每条边
        n=Find(parent.edge[i].a);  //n是这条边的第一个顶点的根顶点所在的下标
        m=Find(parent.edge[i].b);  //m是这条边的第二个顶点的根顶点所在的下标
        if(n!=m){  //m和n不相等，这条边的加入不会构成环
                   //如果m和n相等，说明顶点a和顶点b都在正在构建的最小生成树中，而最小生成树是一
                   //种树形结构，顶点a和顶点b作为一条边的两个端点，其直接相连会使最小生成树形成
                   //回路，显然这是不符合要求的。原因详见查并集的工作原理                          
            parent[n]=m; //并操作
            //作为生成树的一条边打印出来
            print(“%d—>%d”, edges[i].a, edges[i].b);
        }
    }
}