并查集并查集 disjoint set要点

小学期学的算法和做OJ题的各种经验总结

原理：

如果a,b属于同一类，就放到一个集合中。
集合存储的方法为根树，每一个点都有根节点（初始化的情况下每个点根是自己），a, b加入到同一个集合就

• 不带rank: 把a点的父节点设为b点。
• 带rank：把rank大的（树深的）点作为父节点。深度相同rank++。

功能：

• 查询a,b是否在同一组（判断两个点根是否相同）
• 合并a,b所在的组（把两个点一个作为爸爸一个作为儿子）
• void init() int find() void unite() bool same()
• 可以用来判断图内是否有环（初始化：遍历相连的两个点加入到并查集中)。如果两个点已经在集合里说明他俩已经有一条路了，这时候如果当前边把这两个点相连那么他俩肯定能构成环）

※

• 虚点并查集：（记得数组最大范围也要加倍）
  • 不仅含x，还含不存在的点x+n；既要记录x和y的关系，也要记录x和y+n的关系； 的集合
  • x,y在集合内代表x和y具有相同关系； x和y+n在集合里代表x和y具有对立关系
  • 两个数在同一集合里代表这两个情况同时成立或同时不成立

代码实现：

不带rank

//不带rank
const int MAXV = 10;
int p[MAXV];

//默认一开始所有点都是独立的
void init(int v) {
	for (int i = 0; i <= v; i++){
		p[i] = i;
	}
}

// int root(int x) {
// 	if (p[x] == x) return x;
// 	return p[x] = root(p[x]); //路径压缩，当前节点的根一定是父节点的根
// }

//非递归，防止爆栈
int root(int x) {
	if (p[x] == x) return x;
	int rootx = p[x];
	while (rootx != p[rootx]) {
		rootx = p[rootx];
	}
	return p[x] = rootx;
}

bool same(int x, int y) {
	return root(x) == root(y);
}

bool unite(int x, int y) {
	x = root(x); y = root(y);
	if (x == y) return false;
	p[x] = y;
	return true;
}

带rank

//带rank
const int MAXV = 10;
int p[MAXV];
int rank[MAXV];

//默认一开始所有点都是独立的
void init(int v) {
	for (int i = 0; i <= v; i++){
		p[i] = i;
		rank[MAXV] = 0;
	}
}

int root(int x) {
	if (p[x] == x) return x;
	return p[x] = root(p[x]); //路径压缩，当前节点的根一定是父节点的根
}

bool same(int x, int y) {
	return root(x) == root(y);
}

bool unite(int x, int y) {
	x = root(x); y = root(y);
	if (x == y) return false;
	//深的树作为父节点
	if(rank[x]>rank[y]){
		p[y] = x;
	}else if(rank[x] < rank[y]){
		p[x] = y;
	}else{
		//深度一样随便选
		p[y] = x;
		rank[x]++;
	}
	return true;
}

不带rank结构体

//不带rank结构体

const int MAXV = 10;

struct Disset {

	int p[MAXV];
	//默认一开始所有点都是独立的
	void init(int v) {
		for (int i = 0; i <= v; i++) {
			p[i] = i;
		}
	}

	int root(int x) {
		if (p[x] == x) return x;
		return p[x] = root(p[x]); //路径压缩，当前节点的根一定是父节点的根
	}

	bool same(int x, int y) {
		return root(x) == root(y);
	}

	bool unite(int x, int y) {
		x = root(x); y = root(y);
		if (x == y) return false;
		p[x] = y;
		return true;
	}

};