kluskal算法:
step1:
初始化并查集的p数组(存储父结点编号的)。
step2:
将存储边信息的edges数组按照边的权重从小到大的顺序排列
step3:
按照edges中的顺序,依次取出边的权重w和两端的结点编号a,b
step4:
判断编号a结点与编号b结点是否在一个集合之中,如果不在一个集合中,合并集合
题目如下:
给定一个 n 个点 m 条边的无向图,图中可能存在重边和自环,边权可能为负数。
求最小生成树的树边权重之和,如果最小生成树不存在则输出 impossible
。
给定一张边带权的无向图 G=(V,E),其中 VV 表示图中点的集合,EE 表示图中边的集合,n=|V|n=|V|。
由 V 中的全部 n 个顶点和 E 中 n−1 条边构成的无向连通子图被称为 G 的一棵生成树,其中边的权值之和最小的生成树被称为无向图 G 的最小生成树。
输入格式
第一行包含两个整数 n 和 m。
接下来 m 行,每行包含三个整数 u,v,w,表示点 u 和点 v 之间存在一条权值为 w 的边。
输出格式
共一行,若存在最小生成树,则输出一个整数,表示最小生成树的树边权重之和,如果最小生成树不存在则输出 impossible
。
数据范围
1≤n≤105
1≤m≤2∗105
图中涉及边的边权的绝对值均不超过 1000。
解答代码如下:
#include<iostream>
#include<cstring>
#include<algorithm>
using namespace std;
const int N = 100010,M = 200010;
int p[N];//如p[i],并查集存存储编号i结点父结点的数组
int n,m;
struct Edge
{
int a,b,w;
bool operator < (const Edge &W)const
{
return w < W.w;
}
}edges[M];//无向图是由两个有向图叠加,由编号x结点指向编号y结点的一条边就对应着一条由编号y结点指向编号x结点的一条反向的边
int find(int x)
{
if (p[x] != x)
p[x] = find(p[x]);
return p[x];
}
int kluskal()
{
int res= 0;//记录最后最小生成树中边的权重之和
int cnt = 0;//记录最终最小生成树中边的个数
for (int i = 0;i<m;++i)
{
int a = edges[i].a;
int b = edges[i].b;
int w = edges[i].w;
a = find(a);
b = find(b);
if (a != b)
{
p[a] = b;//集合合并操作
res+= w;
cnt++;
}
}
if (cnt < n-1)
return 0x3f3f3f3f;
else
return res;
}
int main()
{
ios::sync_with_stdio(false);
cin.tie(0);
cout.tie(0);
cin >> n >> m;
for (int i = 1;i<=n;++i)
p[i] = i;//初始化p数组
//初始时,任意一个结点就是一个集合,共有n个集合
for (int i = 0;i<m;++i)
{
int a,b,w;
cin >>a >> b >> w;
edges[i] = {a,b,w};
}
sort(edges,edges + m);
int t = kluskal();
if (t == 0x3f3f3f3f)
cout << "impossible" << endl;
else
cout << t << endl;
return 0;
}
(1)M是200010
因为图是无向图,无向图就是有向图的叠加,由编号x结点指向编号y结点的边,再构建一条由编号y结点指向编号x结点的边,两条方向相反的有向边叠加就是无向边
(2)不采用邻接矩阵存储图
因为本题的图是稀疏图(n和m的数据范围差不多)
(3)并查集p数组的初始化
p数组在初始时,每一个点就是一个集合,每个点之间没有一条边相连,因此每一个结点就是自己的祖宗结点,就满足 p[i] = i
关于并查集,可以去看并查集的blog
(4)将edges数组按照边的权重进行从小到大的排序
因为求最小生成树,要求要使生成树中的边的权重之和最小,所以要将边的权重按照从小到大的顺序排列
(5) 为什么要判断编号a结点与编号b结点是否在一个集合之中
因为最小生成树中不允许出现环,当编号 a 结点和编号 b 结点在同一集合中时,说明这两个结点已经联通了,不需要再额外添加一条边了
(具体可以看下面模拟)