算法分析与设计——最小生成树Kruskal算法

---

一、问题

给定一张带边权的无向图G=(V,E)，n=|V|，m=|E|。由V中全部n个顶点和E中n-1条边构成的无向连通子图被称为一颗生成树，而其中边权之和最小的生成树则是该无向图G的最小生成树，应该如何得到一张图G的最小生成树？

二、解析

首先，任意一颗最小生成树一定包含无向图中权值最小的边。

否则通过反证法，最小生成树不含权值最小的边，则可以把这条最小边加到树上，n点n条边必定会构成一个环，把该环上任意另一条边去掉，剩下的仍是联通的生成树，且树的权值总和小于此前的树，则此前的树不满足最小生成树的定义。

Kruskal算法可以利用这一结论，它总是维护无向图的最小生成森林，开始可以认为生成森林由0条边构成，在任意时刻，从剩余的边中选出一条权值最小的，并且这两个点此时还未联通（生成森林不构成闭环），把它加入生成森林，直到所有点加入。

三、设计

图中节点连通情况可以用并查集维护
边可以以（x,y,z）的形式，指x到y有一条边权为z的边

1.建立并查集

2.把所有边按照权值从小到大排列，依次扫描每条边（x,y,z）

3.若x,y属于同一合集（连通），则跳过该边

4.否则合并x,y所在的集合

5.所有边扫描完成后，处理过的边就成为了最小生成树

四、分析

由于此处主要是对边的排序耗时较多，采用快速排序的时间复杂度为O(m logm)

因为要存储所有点两两之间的关系，用邻接矩阵存储的话空间复杂度为O(n²)

五、实例

六、代码

#include<stdio.h>
#include<stdlib.h>
#include<memory.h>
#include<string.h>
#include<algorithm>

using namespace std;

const int INF = 0x3f3f3f3f;
const int N = 1005;
//创建存边的结构体
struct node { 
	int x, y, z;
}edge[N];

int fa[N], n, m, ans;

//重载运算符，方便排序
bool operator <(node a, node b) {
	return a.z < b.z;
}

//并查集操作函数
void init(){
	for (int i = 0; i < N; i++)
		fa[i] = i;
}
int find(int x){
	return fa[x] == x ? x : fa[x] = find(fa[x]);
}

int main(void)
{
	scanf("%d%d", &n, &m);
	for (int i = 1; i <= m; i++) {
		scanf("%d%d%d", &edge[i].x, &edge[i].y, &edge[i].z);
	}
	sort(edge + 1, edge + m + 1);//按边权排序
	init();//初始化并查集
	printf("加入顺序:\n");
	//求最小生成树
	for (int i = 1; i <= m; i++) {
		int x = find(edge[i].x);
		int y = find(edge[i].y);
		if (x == y) continue;//如果x点和y点已经连通（被选进生成森林里了）
		fa[x]=y;//合并
		printf("v%d v%d\n", edge[i].x, edge[i].y);
		ans += edge[i].z;
	}
	printf("最小生成树边权和为:\n%d\n", ans);
}
/*测试例子
6 10
1 2 6
1 3 1
1 4 5
2 3 5
2 5 3
3 4 5
3 5 6
3 6 4
4 6 2
5 6 6
*/