在一些应用中,需将n个不同的元素划分成一组不相交的集合。开始时,每个元素自成一个集合,然后按一定顺序将属于同一组元素的集合合并。期间要反复用到查询某个元素属于哪个集合的运算。适合于描述这类问题的抽象数据类型称为并查集。他的数学模型是一组不相交的集合S=(A,B,C,……),他支持的运算如下:
(1)Union(A, B):将A和B集合合并,结果取名为A;
(2)Find(x):找出包含x元素的集合,并返回该集合的名字。
在并查集中需要两种类型的参数,集合名字的类型和集合元素的类型。在许多情况下,可以用整数作为集合的名字。如果集合中共有n个元素,那么可以用1~n范围内的整数来表示集合中的元素。实现并查集的一个简单方法就是使用向量来表示元素及其所属集合的关系。其中用向量下标表示元素,用向量单元记录该元素所属的名字。如果元素类型不是整形,则可以构造一个映射,将每个元素映射成为一个整数。这种映射可以用散列表或者其他方式来实现。
class union_find{
public:
union_find(int size);
inf Find(int e);
void Union(int i, int j);
private:
int n;
vector<int> a;
}
union_find::union_find(int size){
n = size;
a.resize(n+1);
for (int i = 1; i <= n; i ++) a[i] = i;
}
union_find::Find(int e){
return a[e];
}
union_find::Union(int i, int j){
for (int k = 1; k <= n; k ++)
if (a[k] == j) a[k] = i;
}