学习并查集回顾

1.例题：hdu1232 畅通工程

(1)题目搬运

题目背景

某省调查城镇交通状况，得到现有城镇道路统计表，表中列出了每条道路直接连通的城镇。省政府“畅通工程”的目标是使全省任何两个城镇间都可以实现交通（但不一定有直接的道路相连，只要互相间接通过道路可达即可）。问最少还需要建设多少条道路？

输入格式

测试输入包含若干测试用例。每个测试用例的第1行给出两个正整数，分别是城镇数目N ( < 1000 )和道路数目M；随后的M行对应M条道路，每行给出一对正整数，分别是该条道路直接连通的两个城镇的编号。为简单起见，城镇从1到N编号。
注意:两个城市之间可以有多条道路相通,也就是说
3 3
1 2
1 2
2 1
这种输入也是合法的
当N为0时，输入结束，该用例不被处理。

输出格式

对每个测试用例，在1行里输出最少还需要建设的道路数目。

输入样例

4 2
1 3
4 3
3 3
1 2
1 3
2 3
5 2
1 2
3 5
999 0
0

输出样例

1
0
2
998

(2)题目分析

由于题目本身给的输入样例太水了并且是多组数据输入，不好分析，所以我们先自己编一个样例，下面是我自己编的一个样例：
输入
10 7
1 2
2 4
2 3
7 8
5 8
2 9
6 10
输出
2
依照这个样例我们可以画出如下图所示的一幅图，其中每个城市用一个编号来表示，每条边表示这两个城市之间有一条路径

接下来我们来分析一下这个图，从这个图中我们可以看到有三个城市堆，分别是1、2、3、4、9城市一堆，5、7、8城市一堆和6、10城市一堆，这三个堆互不相连，所以这道题中要求的最少增加的路径数肯定等于把这三堆连起来所用的最少增加的路径数，同时也等于城市堆数减一
所以，问题转化为了求城市堆的个数，但是如何确定城市的堆数呢，我们可以在城市内部建立联系，我们可以让每个城市都有一个属于他自己的一个祖先，合并的时候把他们的祖先合并，然后看看有几个城市没有祖先了或者说他自己就是他自己的祖先，那么这些城市堆数加1

(3)代码实现

1.总体代码

#include<iostream>
using namespace std;
int f[1010];
int n,m,i,j,p,q;
int getf(int i)
{
	if(f[i]==i)
		return i;
	f[i]=getf(f[i]);
	return f[i];
}
void un(int x,int y)
{
	int fx,fy;
	fx=getf(x);
	fy=getf(y);
	if(fx!=fy)
		f[fy]=fx;
	return ;
}
int main()
{
	while(cin>>n && n!=0)
	{
		int ans=0;
		cin>>m;
		for(i=1;i<=n;i++)
			f[i]=i;
		for(i=1;i<=m;i++)
		{
			cin>>p>>q;
			un(p,q);
		}
		for(i=1;i<=n;i++)
			if(f[i]==i)
				ans++;
		cout<<ans-1<<endl;
	}
	return 0;
}

2.分步讲解

变量

int f[1010]; //储存第i个城市的祖先是f[i]
int n,m,i,j,p,q;

主体代码

int main()
{
	while(cin>>n && n!=0)
	{
		int ans=0;
		cin>>m;
		for(i=1;i<=n;i++)
			f[i]=i; //初始化每个城市的祖先都是自己
		for(i=1;i<=m;i++)
		{
			cin>>p>>q;
			un(p,q); //合并两个城市p，q
		}
		for(i=1;i<=n;i++)
			if(f[i]==i)
				ans++; //如果这个城市的祖先是他自己，那么城市堆数加1
		cout<<ans-1<<endl;
	}
	return 0;
}

查集

找祖先的过程

int getf(int i)
{
	if(f[i]==i) //如果他自己就是他的祖先，那么返回他
		return i;
	return getf(f[i]); //如果不是，继续一层层往下找
}

但是我们还会发现，每一次都从头往后找，有点太麻烦了，于是我们可以每次存储下来他们最终的祖先，这就叫做路径压缩

int getf(int i)
{
	if(f[i]==i) 
		return i;
	f[i]=getf(f[i]); //路径压缩
	return f[i];
}

并集

void un(int x,int y)
{
	int fx,fy;
	fx=getf(x); //找祖先
	fy=getf(y);
	if(fx!=fy)
		f[fy]=fx; //把他们祖先合并
	return ;
}