错误写法parent[x] = find(parent[x])因C++求值顺序未定义,可能导致中间节点未被压缩;应改用两步递归或迭代实现确保所有路径节点直连根;按秩合并中rank仅为高度上界、不随路径压缩更新,而size始终准确,推荐优先使用按大小合并。

路径压缩写错,find 就不压缩;按秩合并用错,unionSet 就白优化。C++ 并查集的效率瓶颈几乎全卡在这两处。
为什么 parent[x] = find(parent[x]) 是危险写法
C++ 标准不保证赋值表达式右边先求值,parent[x] = find(parent[x]) 可能先读 parent[x]、再调用 find、最后才写入——中间节点没被改,压缩就漏了。现象是:多次 unionSet 后树高仍接近线性,find 耗时不降反升。
必须拆成两步:
- 先递归拿到根:
int root = find(parent[x]) - 再统一挂载:
parent[x] = root - 最后返回:
return root
或者直接用迭代版,逻辑更可控:
立即学习“C++免费学习笔记(深入)”;
int find(int x) {
int root = x;
while (root != parent[root]) root = parent[root];
while (x != root) {
int next = parent[x];
parent[x] = root;
x = next;
}
return root;
}
unionSet 里该用 rank 还是 size
rank 是上界估计,只在两根 rank 相等时才 +1;size 是真实节点数,每次合并都累加。路径压缩会让 rank 失真(树高变矮但 rank 不更新),而 size 始终准确。
推荐优先用 size,尤其当你需要:
- 查询连通分量大小(如岛屿面积)
- 保证合并方向稳定(小树永远挂大树)
- 避免因
rank滞后导致树失衡
合并逻辑示例:
int root_a = find(a), root_b = find(b); if (root_a == root_b) return; // 必须判重 if (size[root_a] < size[root_b]) swap(root_a, root_b); parent[root_b] = root_a; size[root_a] += size[root_b];
初始化和连通分量计数怎么不出错
初始 count = n 没问题,但每次 unionSet 都减一就错了——如果 a 和 b 已在同一集合,不该减。
正确做法只有三步:
- 先
find(a)和find(b)拿根 - 发现
root_a != root_b才执行合并 - 此时才
count--
漏掉判断会导致 count 变负,或 get_count() 返回远小于实际值。别图省事把判断塞进合并逻辑里,它必须是独立前置条件。
vector 下标当节点 ID 是最稳的起点
别用 map<int int></int> 存 parent,稀疏 ID 看似灵活,但 find 平均变慢,还破坏 O(1) 访问前提。真有大整数 ID,先离散化映射到 0~n-1。
也别为每个节点 new 结构体——容易浅拷贝、内存泄漏、指针混乱。直接:
vector<int> parent;
vector<int> size; // 或 rank
UnionFind(int n) : parent(n), size(n, 1) {
for (int i = 0; i < n; ++i) parent[i] = i;
}
下标即节点编号,值即父节点下标,干净、高效、无歧义。
真正难的不是写对一行 find,而是所有中间节点都得直连根——漏一个,下次查它还是走老路。压缩是否生效,得看树高有没有塌下来,而不是代码看起来“像在压缩”。


















