首页 > 代码库 > 可持久化并查集加强版 BZOJ 3674
可持久化并查集加强版 BZOJ 3674
http://www.lydsy.com/JudgeOnline/problem.php?id=3674
3674: 可持久化并查集加强版
Time Limit: 15 Sec Memory Limit: 256 MBSubmit: 3225 Solved: 1192
[Submit][Status][Discuss]
Description
Description:
自从zkysb出了可持久化并查集后……
hzwer:乱写能AC,暴力踩标程
KuribohG:我不路径压缩就过了!
ndsf:暴力就可以轻松虐!
zky:……
n个集合 m个操作
操作:
1 a b 合并a,b所在集合
2 k 回到第k次操作之后的状态(查询算作操作)
3 a b 询问a,b是否属于同一集合,是则输出1否则输出0
请注意本题采用强制在线,所给的a,b,k均经过加密,加密方法为x = x xor lastans,lastans的初始值为0
0<n,m<=2*10^5
Input
Output
Sample Input
5 6
1 1 2
3 1 2
2 1
3 0 3
2 1
3 1 2
1 1 2
3 1 2
2 1
3 0 3
2 1
3 1 2
Sample Output
1
0
1
0
1
题意很简单,就是要你写个可持久化并查集,建议做这题之前先去看我的上一篇博客——可持久化线段树,以及你必须会普通版的并查集。
如何构造一个可持久化并查集呢?我们知道并查集是由数组实现的,所以只要能写出可持久化数组,自然就能写出可持久化并查集了。查了一些资料,可持久化数组似乎就是可持久化线段树(这个我也不太确定),但是我们还是可以用线段树代替一下数组实现并查集,我们只需要线段树的叶节点去合并就可以了,实际上线段树上面的区间都是没什么用的,但是又不能删掉,因为我们还要维护root[i]。同时要注意并查集合并的时候不要路径压缩,因为压缩后会影响太多点,返回历史版本会很难,所以我们选择人畜无害的按秩合并,同样可以快到飞起。具体实现看代码吧。可持久化并查集可以用pb_ds库的rope,现成模板,我也贴一份模板在下面了,不过这个跑起来的时间是自己写的版本的两倍。
#include <iostream> #include <cstdio> #include <cstring> #include <cmath> #include <algorithm> #include <vector> #include <queue> #include <string> #include <stack> #include <map> #include <set> #include <bitset> #define X first #define Y second #define clr(u,v); memset(u,v,sizeof(u)); #define in() freopen("data","r",stdin); #define out() freopen("ans","w",stdout); #define Clear(Q); while (!Q.empty()) Q.pop(); #define pb push_back using namespace std; typedef long long ll; typedef pair<int, int> pii; const int maxn = 2e5 + 10; const int INF = 0x3f3f3f3f; struct Tree { int l, r, fa; } T[maxn<<5]; int root[maxn], cnt = 0; int deep[maxn];//并查集深度 int n, m; void build(int l, int r, int &x)//先建树,进行初始化,如果有多case记得cnt初始化为0 { x = ++cnt; if (l == r) { T[x].fa = l; deep[l] = 1; return ; } int mid = (l + r) >> 1; build(l, mid, T[x].l); build(mid + 1, r, T[x].r); } int query(int l, int r, int rt, int pos)//查询pos在线段树中的位置 { if (l == r) return rt; int mid = (l + r) >> 1; if (mid >= pos) return query(l, mid, T[rt].l, pos); else return query(mid + 1, r, T[rt].r, pos); } int find(int x, int cur)//并查集的找祖先 { int pos = query(1, n, root[cur], x); if (T[pos].fa != x) return find(T[pos].fa, cur); return T[pos].fa; } void update(int l, int r, int &x, int y, int pos, int fa) { T[++cnt] = T[y];//继承上一个版本 x = cnt;//与父节点连接 if (l == r) { T[x].fa = fa;//更新fa值 return ; } int mid = (l + r) >> 1; if (mid >= pos) update(l, mid, T[x].l, T[y].l, pos, fa); else update(mid + 1, r, T[x].r, T[y].r, pos, fa); } void mix(int x, int y, int cur) { int fx = find(x, cur), fy = find(y, cur); if (deep[fx] > deep[fy]) swap(fx, fy);//按秩合并 if (fx == fy) return ; deep[fy] += deep[fx]; update(1, n, root[cur], root[cur-1], fx, fy);//在线段树fx的位置上更新为fy } int main() { #ifdef LOCAL in(); #endif scanf("%d%d", &n, &m); build(1, n, root[0]); int cur = 0, lastans = 0; while (m--) { int op, a, b, k; scanf("%d", &op); if (op == 1) { scanf("%d%d", &a, &b); a ^= lastans; b ^= lastans; root[cur+1] = root[cur]; mix(a, b, ++cur); } else if (op == 2) { scanf("%d", &k); k ^= lastans; root[++cur] = root[k];//这里不建议改成cur = k ,因为他可能跳到前面后又跳回去,这样会覆盖掉历史版本 } else { scanf("%d%d", &a, &b); a ^= lastans; b ^= lastans; root[cur+1] = root[cur]; ++cur; lastans = (find(a, cur) == find(b, cur)); printf("%d\n", lastans); } } return 0; }
pb_ds库的rope:
#include <bits/stdc++.h> #include <cstdio> #include <ext/rope> using namespace std; using namespace __gnu_cxx; const int maxn = 2e5 + 10; rope <int> *f[maxn]; rope <int> :: iterator it; int id[maxn]; int n, m, op, a, b; int find (int &t, int x) { if (f[t]->at(x) == x) return x; int fa = find(t, f[t]->at(x)); if (fa == f[t]->at(x)) return fa; f[t]->replace(x, fa); return fa; } void mix(int &t, int x, int y) { int fx = find(t, x), fy = find(t, y); f[t]->replace(fy, fx); } int lastans = 0; int main() { scanf("%d%d", &n, &m); for (int i = 0; i <= n; ++i) id[i] = i; f[0] = new rope<int>(id, id + n + 1); for (int i = 1; i <= m; ++i) { f[i] = new rope <int>(*f[i-1]); scanf("%d", &op); if (op == 1) { scanf("%d%d", &a, &b); mix(i, a ^ lastans, b ^ lastans); } else if (op == 2) { scanf("%d", &a); f[i] = f[lastans^a]; } else if (op == 3) { scanf("%d%d", &a, &b); printf("%d\n", lastans = find(i, a ^ lastans) == find(i, b ^ lastans)); } } return 0; }
可持久化并查集加强版 BZOJ 3674
声明:以上内容来自用户投稿及互联网公开渠道收集整理发布,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任,若内容有误或涉及侵权可进行投诉: 投诉/举报 工作人员会在5个工作日内联系你,一经查实,本站将立刻删除涉嫌侵权内容。