bzoj3674: 可持久化并查集加强版

题目描述：

自从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

思路：

其实是用主席树维护并查集每个时间节点的形态。

以下代码：

#include<bits/stdc++.h>
#define il inline
#define _(d) while(d(isdigit(ch=getchar())))
using namespace std;
const int N=2e5+5;
int n,m,ans,cnt,rt[N];
struct node{
    int l,r,d,fa;
}t[N*40];
il int read(){
    int x,f=1;char ch;
    _(!)ch=='-'?f=-1:f;x=ch^48;
    _()x=(x<<1)+(x<<3)+(ch^48);
    return f*x;
}
il void build(int &x,int l,int r){
    x=++cnt;
    if(l==r){t[x].d=1;t[x].fa=l;return;}
    int mid=(l+r)>>1;
    build(t[x].l,l,mid);build(t[x].r,mid+1,r);
}
il int query(int x,int l,int r,int pos){
    if(l==r)return x;
    int mid=(l+r)>>1;
    if(pos<=mid)return query(t[x].l,l,mid,pos);
    return query(t[x].r,mid+1,r,pos);
}
il int getfa(int root,int x){
    int now=query(root,1,n,x);
    if(t[now].fa==x)return now;
    return getfa(root,t[now].fa);
}
il void update(int &x,int y,int l,int r,int A,int Fa){
    x=++cnt;
    if(l==r){t[x].fa=Fa;t[x].d=t[y].d;return;}
    t[x].l=t[y].l;t[x].r=t[y].r;
    int mid=(l+r)>>1;
    if(A<=mid)update(t[x].l,t[y].l,l,mid,A,Fa);
    else update(t[x].r,t[y].r,mid+1,r,A,Fa);
}
il void add(int &x,int y,int l,int r,int pos){
    x=++cnt;
    if(l==r){t[x].d=t[y].d+1;t[x].fa=pos;return;}
    int mid=(l+r)>>1;t[x].l=t[y].l;t[x].r=t[y].r;
    if(pos<=mid)add(t[x].l,t[y].l,l,mid,pos);
    else add(t[x].r,t[y].r,mid+1,r,pos);
}
int main()
{
    n=read();m=read();
    build(rt[0],1,n);
    for(int i=1;i<=m;i++){
        rt[i]=rt[i-1];int op=read();
        if(op==1){
            int a=read()^ans,b=read()^ans;
            int x=getfa(rt[i],a),y=getfa(rt[i],b);
            if(t[x].fa==t[y].fa)continue;
            if(t[x].d>t[y].d)swap(x,y);
            update(rt[i],rt[i-1],1,n,t[x].fa,t[y].fa);
            if(t[x].d==t[y].d)add(rt[i],rt[i],1,n,t[y].fa);
        }
        else if(op==2){
            int x=read()^ans;rt[i]=rt[x];
        }
        else{
            int a=read()^ans,b=read()^ans;
            int x=getfa(rt[i],a),y=getfa(rt[i],b);
            if(t[x].fa==t[y].fa)ans=1;else ans=0;
            printf("%d\n",ans);
        }
    }
    return 0;
}