最小生成树(C语言简单实现)

最小生成树

本文参考自《大话数据结构》

一个连通图的生成树是一个极小的连通子图，它含有图中全部的顶点，但只有足以构成一棵树的n-1条边。我们把构造连通网的最小代价生成树称为最小生成树 。

找连通网的最小生成树，经典的有两种算法：普里姆算法和克鲁斯卡尔算法。

普里姆(Prim)算法

/* Prim算法生成最小生成树 */
void MiniSpanTree_Prim(MGraph G){
   
	int min, i, j, k;
	int adjvex[MAXVEX];	//保存相关顶点下标
	int lowcost[MAXVEX];	//保存相关顶点间边的权值
	lowcast[0] = 0;	//初始化第一个权值为0，即v0加入生成树，lowcost的值为0，在这里就是此下标的顶点已经加入生成树
	adjvex[0] = 0;	//初始化第一个顶点下标为0
	for(i = 1;i<G.numVertexes;i++){
   	//循环除下标为0外的全部顶点
		lowcost[i] = G.arc[0][i];		//将v0顶点与之有边的权值存入数组
		adjvex[i] = 0;	//初始化都为v0的下标
	}
	for(i=1;i<G.numVertexes;i++){
   
		min = INFINITY;	//初始化最小权值为无穷大，通常设置为很大的数字
		j = 1;
		k = 0;
		while(j<G.numVertexes){
   		//循环全部顶点
			if(lowcost[j] != 0 && lowcost[j] < min){
   	//如果权值不为0且权值小于min
				min = lowcost[j];		//让当前权值成为最小值
				k = j;		//将当前最小值的下标存入k
			}
			j++;
		}
		printf("(%d,%d)",adjvex[k],k);	//打印当前顶点边中权值最小边
		lowcost[k] = 0;	//将当前顶点的权值设置为0，表示此顶点已经完成任务
		for(j=1;j<G.numVertexes;j++){
   	//循环所有顶点
			if(lowcost[j] != 0 && G.arc[k][j] < lowcost[j]){
   	//若下标为k顶点各边权值小于此前这些顶点未被加入生成树权值
				lowcost[j] = G.arc[k][j];		//将较小权值存入lowcost
				adjvex[j] = k;	//将下标为k的顶点存入adjvex
			}
		}
	}
}

假设N=(P,{E})是连通网，TE是N上最小生成树中边的集合。算法从U={u0}（u0∈V），TE={}开始。重复执行下述操作：在所有u∈U，v∈V-U的边（u，v）∈E中找一条代价最小的边（u0，v0）并入集合TE，同时v0并入U，直至U=V为止。此时TE中必有n-1条边，则T=(V,{TE})为N的最小生成树。

由算法代码中的循环嵌套可得此算法复杂度为O(n^2)。

克鲁斯卡尔(Kruskal)算法

普里姆算法是以某顶点为起点，逐步找各顶点上最小权值的边来构建最小生成树的。
而克鲁斯卡尔算法是以边为目标进行构建，因为权值是在边上，直接去找最小值的边来构建生成树也是很自然的想法，只不过构建时要考虑是否会形成环路而已。

edge边集数组结构的定义代码：

/* 对边集数组Edge结构的定义 */
typedef struct{
   
	int begin;
	int end;
	int weight;
}Edge;

克鲁斯卡尔算法代码如下：