错误写法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
或者直接用迭代版,逻辑更可控:
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滞后导致树失衡
合并逻辑示例:
count = n
- 先
find(a)和find(b)拿根 - 发现
root_a != root_b才执行合并 - 此时才
count--
漏掉判断会导致 count 变负,或 get_count() 返回远小于实际值。别图省事把判断塞进合并逻辑里,它必须是独立前置条件。
vector 下标当节点 ID 是最稳的起点
别用 map 存 parent,稀疏 ID 看似灵活,但 find 平均变慢,还破坏 O(1) 访问前提。真有大整数 ID,先离散化映射到 0~n-1。
也别为每个节点 new 结构体——容易浅拷贝、内存泄漏、指针混乱。直接:
find
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











