LCT维护子树信息

有些题目，在要求支持link-cut之外，还会在线询问某个子树的信息。LCT可以通过维护虚边信息完成这个操作。

对于LCT上每个节点，维护两个两sz和si，后者维护该点所有虚儿子的信息，前者维护该点的所有信息和。

那么显然有：$si[x]=\sum sz[pson]$，$sz[x]=sz[lson]+sz[rson]+si[x]+v[x]$。

其中pson是虚儿子，lson,rson是LCT上的实儿子，v是节点本身的信息。

那么，考虑在哪些操作下需要更新这两个值。

1.access  每次将旧虚儿子从si中减去，加入新虚儿子的贡献。

2.link f[x]=y后，将x的信息计入si[y]。

别的操作要注意pushup。

这样我们维护了sz和si这两个变量，当想查询y的子树的信息和的时候，只需access(y),splay(y)后查询si[y]即可。

[BZOJ4530][BJOI2014]大融合

n个点，n-1次加边，最后形成一棵树。加边过程中会询问某条边现在被多少对点(x,y)之间的路径经过。

显然是link的过程中查询子树大小，最后询问的就是(整个连通块的大小-x子树的大小)*(x子树的大小)。

按上面的方法维护子树大小即可。

 #include<cstdio>
 #include<algorithm>
 #define lc ch[x][0]
 #define rc ch[x][1]
 #define rep(i,l,r) for (int i=(l); i<=(r); i++)
 typedef long long ll;
 using namespace std;

 const int N=;
 char op;
 int n,Q,u,v,sz[N],f[N],ch[N][],rev[N],si[N];

 bool isrt(int x){ return (!f[x]) || (ch[f[x]][]!=x && ch[f[x]][]!=x); }
 void upd(int x){ sz[x]=sz[lc]+sz[rc]+si[x]+; }
 void put(int x){ swap(lc,rc); rev[x]^=; }
 void push(int x){ if (rev[x]) put(lc),put(rc),rev[x]=; }
 void pd(int x){ if (!isrt(x)) pd(f[x]); push(x); }

 void rot(int x){
     int y=f[x],z=f[y],w=ch[y][]==x;
     if (!isrt(y)) ch[z][ch[z][]==y]=x;
     f[x]=z; f[y]=x; f[ch[x][w^]]=y;
     ch[y][w]=ch[x][w^]; ch[x][w^]=y; upd(y);
 }

 void splay(int x){
     pd(x);
     while (!isrt(x)){
         int y=f[x],z=f[y];
         if (!isrt(y)) (ch[y][]==x)^(ch[z][]==y) ? rot(x) : rot(y);
         rot(x);
     }
     upd(x);
 }

 void access(int x){
     for (int y=; x; y=x,x=f[x])
         splay(x),si[x]=si[x]+sz[rc]-sz[y],rc=y,upd(x);
 }

 void mkrt(int x){ access(x); splay(x); put(x); }

 void link(int x,int y){
     mkrt(x); access(y); splay(y);
     f[x]=y; si[y]+=sz[x]; upd(y);
 }

 ll que(int x,int y){ mkrt(x); access(y); splay(y); return 1ll*(sz[y]-sz[x])*sz[x]; }

 int main(){
     scanf("%d%d",&n,&Q);
     rep(i,,n) sz[i]=;
     while (Q--){
         scanf(" %c%d%d",&op,&u,&v);
         if (op=='A') link(u,v); else printf("%lld\n",que(u,v));
     }
     return ;
 }

[BZOJ3510]首都

link的同时询问某个连通块的重心，以及所有连通块重心编号的异或和。

仍然考虑用LCT维护子树大小。每次link两个连通块时，先作普通的link操作，然后求出新的连通块的重心。

显然新重心一定在原来两个连通块重心的连线上，split出这条链后在链上二分。

用ls,rs分别维护这条链两端已被二分排除的部分的大小,每次如果发现当前点合法则更新答案，否则往大的子树那边跳。

记得pushdown。多splay以保证复杂度。

 #include<cstdio>
 #include<algorithm>
 #define lc ch[x][0]
 #define rc ch[x][1]
 #define rep(i,l,r) for (int i=(l); i<=(r); i++)
 typedef long long ll;
 using namespace std;

 const int N=;
 char op[];
 int n,Q,ans,x,y,sz[N],fa[N],f[N],ch[N][],rev[N],si[N];

 int get(int x){ return fa[x]==x ? x : fa[x]=get(fa[x]); }
 bool isrt(int x){ return (!f[x]) || (ch[f[x]][]!=x && ch[f[x]][]!=x); }
 void upd(int x){ sz[x]=sz[lc]+sz[rc]+si[x]+; }
 void put(int x){ swap(lc,rc); rev[x]^=; }
 void push(int x){ if (rev[x]) put(lc),put(rc),rev[x]=; }
 void pd(int x){ if (!isrt(x)) pd(f[x]); push(x); }

 void rot(int x){
     int y=f[x],z=f[y],w=ch[y][]==x;
     if (!isrt(y)) ch[z][ch[z][]==y]=x;
     f[x]=z; f[y]=x; f[ch[x][w^]]=y;
     ch[y][w]=ch[x][w^]; ch[x][w^]=y; upd(y);
 }

 void splay(int x){
     pd(x);
     while (!isrt(x)){
         int y=f[x],z=f[y];
         if (!isrt(y)) (ch[y][]==x)^(ch[z][]==y) ? rot(x) : rot(y);
         rot(x);
     }
     upd(x);
 }

 void access(int x){
     for (int y=; x; y=x,x=f[x])
         splay(x),si[x]=si[x]+sz[rc]-sz[y],rc=y,upd(x);
 }

 void mkrt(int x){ access(x); splay(x); put(x); }

 void split(int x,int y){ mkrt(x); access(y); splay(y); }

 void link(int x,int y){
     mkrt(x); mkrt(y); f[x]=y; si[y]+=sz[x]; upd(y);
     x=get(x); y=get(y); split(x,y);
     int s=n+,now=y,ls=,rs=,lim=sz[y]/;
     while (now){
         push(now); int s1=ls+sz[ch[now][]],s2=rs+sz[ch[now][]];
         if (s1<=lim && s2<=lim) s=min(s,now);
         if (s1>s2) rs+=sz[ch[now][]]+si[now]+,now=ch[now][];
             else ls+=sz[ch[now][]]+si[now]+,now=ch[now][];
     }
     splay(s); fa[x]=fa[y]=fa[s]=s; ans=ans^x^y^s;
 }

 int main(){
     scanf("%d%d",&n,&Q);
     rep(i,,n) ans^=i,sz[i]=,fa[i]=i;
     while (Q--){
         scanf("%s",op);
         if (op[]=='X') printf("%d\n",ans);
         else if (op[]=='Q') scanf("%d",&x),printf("%d\n",get(x));
             else scanf("%d%d",&x,&y),link(x,y);
     }
     return ;
 }

[UOJ#207]共价大爷游长沙

支持：往询问集合中添加删除路径，link-cut，询问某条边是否被集合中的所有路径经过。

一个显然的结论是，一条边(x,y)被所有路径经过，当且仅当整棵树以x为根时，所有路径恰有一个端点在y子树内。

于是我们将所有路径的两端都加上一个随机权值（不同路径用不同权值，同一路径两端用同一个权值），再询问y子树内所有点的权值异或和。

若等于所有路径随机权值的异或和则说明所有路径均恰有一端点在子树内。

随机种子要带时间戳否则会被Hack数据卡掉。

 #include<cstdio>
 #include<ctime>
 #include<algorithm>
 #define lc ch[x][0]
 #define rc ch[x][1]
 #define rep(i,l,r) for (int i=(l); i<=(r); i++)
 typedef long long ll;
 using namespace std;

 const int N=;
 int op;
 int n,Q,ans,x,y,tot,sz[N],fa[N],f[N],ch[N][],rev[N],si[N],w[N*],tx[N*],ty[N*];

 int Rand(){ return (rand()<<)+rand(); }
 int get(int x){ return fa[x]==x ? x : fa[x]=get(fa[x]); }
 bool isrt(int x){ return (!f[x]) || (ch[f[x]][]!=x && ch[f[x]][]!=x); }
 void upd(int x){ sz[x]=sz[lc]^sz[rc]^si[x]; }
 void put(int x){ swap(lc,rc); rev[x]^=; }
 void push(int x){ if (rev[x]) put(lc),put(rc),rev[x]=; }
 void pd(int x){ if (!isrt(x)) pd(f[x]); push(x); }

 void rot(int x){
     int y=f[x],z=f[y],w=ch[y][]==x;
     if (!isrt(y)) ch[z][ch[z][]==y]=x;
     f[x]=z; f[y]=x; f[ch[x][w^]]=y;
     ch[y][w]=ch[x][w^]; ch[x][w^]=y; upd(y);
 }

 void splay(int x){
     pd(x);
     while (!isrt(x)){
         int y=f[x],z=f[y];
         if (!isrt(y)) (ch[y][]==x)^(ch[z][]==y) ? rot(x) : rot(y);
         rot(x);
     }
     upd(x);
 }

 void access(int x){
     for (int y=; x; y=x,x=f[x])
         splay(x),si[x]=si[x]^sz[rc]^sz[y],rc=y,upd(x);
 }

 void mkrt(int x){ access(x); splay(x); put(x); }
 void split(int x,int y){ mkrt(x); access(y); splay(y); }
 void link(int x,int y){ mkrt(x); access(y); splay(y); f[x]=y; si[y]^=sz[x]; }
 void cut(int x,int y){ split(x,y); f[x]=ch[y][]=; upd(y); }
 void add(int x,int k){ mkrt(x); sz[x]^=k; si[x]^=k; }

 int main(){
     srand(time(NULL));
     scanf("%*d%d%d",&n,&Q);
     rep(i,,n) scanf("%d%d",&x,&y),link(x,y);
     while (Q--){
         scanf("%d",&op);
         if (op==) scanf("%d%d",&x,&y),cut(x,y),scanf("%d%d",&x,&y),link(x,y);
         if (op==){
             tot++; scanf("%d%d",&tx[tot],&ty[tot]); w[tot]=Rand();
             ans^=w[tot]; add(tx[tot],w[tot]); add(ty[tot],w[tot]);
         }
         if (op==) scanf("%d",&x),ans^=w[x],add(tx[x],w[x]),add(ty[x],w[x]);
         if (op==) scanf("%d%d",&x,&y),split(x,y),puts((si[y]==ans)?"YES":"NO");
     }
     return ;
 }