题目描述:
给定n个点以及每个点的权值,要你处理接下来的m个操作。操作有4种。操作从0到3编号。点从1到n编号。
0:后接两个整数(x,y),代表询问从x到y的路径上的点的权值的xor和。保证x到y是联通的。
1:后接两个整数(x,y),代表连接x到y,若x到y已经联通则无需连接。
2:后接两个整数(x,y),代表删除边(x,y),不保证边(x,y)存在。
3:后接两个整数(x,y),代表将点x上的权值变成y。
题目分析:
最基本的LCT,维护Xor和即可
题目链接:
Ac 代码:
// luogu-judger-enable-o2
#include <cstdio>
#include <iostream>
#define il inline
const int maxm=1e7+100;
int n,m,val[maxm];
namespace LCT{
int top,son[maxm][2],fa[maxm],xr[maxm],stk[maxm],rev[maxm];
il void pushup(int x){xr[x]=xr[son[x][1]]^xr[son[x][0]]^val[x];}
il void pushdown(int x)
{
if(rev[x])
{
rev[son[x][1]]^=1,rev[son[x][0]]^=1,rev[x]=0;
std::swap(son[x][1],son[x][0]);
}
}
il bool isroot(int x){return (son[fa[x]][1]!=x&&son[fa[x]][0]!=x);}
void rotate(int x)
{
int fa1=fa[x],fa2=fa[fa1],l;
if(son[fa1][0]==x) l=0;
else l=1;
int r=l^1;
if(!isroot(fa1))
{
if(son[fa2][0]==fa1) son[fa2][0]=x;
else son[fa2][1]=x;
}
fa[x]=fa2;fa[fa1]=x;fa[son[x][r]]=fa1;
son[fa1][l]=son[x][r];son[x][r]=fa1;
pushup(fa1);pushup(x);
}
void splay(int x)
{
top=1;stk[top]=x;
for(int i=x;!isroot(i);i=fa[i]) stk[++top]=fa[i];
for(int i=top;i;i--) pushdown(stk[i]);
while(!isroot(x))
{
int y=fa[x],z=fa[y];
if(!isroot(y))
{
if((son[y][0]==x)^(son[z][0]==y)) rotate(x);
else rotate(y);
}
rotate(x);
}
}
il void access(int x){for(int t=0;x;t=x,x=fa[x]) splay(x),son[x][1]=t,pushup(x);}//打通重路径
il void makeroot(int x){access(x),splay(x),rev[x]^=1;}//变为此Slpay的root
il int findroot(int x){access(x),splay(x);while(son[x][0])x=son[x][0];return x;}//寻找x所在树的根
void split(int x,int y){makeroot(x);access(y);splay(y);}
void cut(int x,int y){split(x,y);if(son[y][0]==x) son[y][0]=0,fa[x]=0;}
void link(int x,int y){makeroot(x);fa[x]=y;}
};
int main()
{
//freopen("l.in","r",stdin);
scanf("%d%d",&n,&m);
for(int i=1;i<=n;i++) scanf("%d",&val[i]),LCT::xr[i]=val[i];
for(int i=1;i<=m;i++)
{
int opt,x,y;
scanf("%d%d%d",&opt,&x,&y);
//printf("%d %d %d %d\n",opt,x,y,i);
if(opt==0)
{
LCT::split(x,y);
printf("%d\n",LCT::xr[y]);
}
if(opt==1)
LCT::link(x,y);
if(opt==2)
LCT::cut(x,y);
if(opt==3)
LCT::access(x),LCT::splay(x),val[x]=y,LCT::pushup(x);
}
return 0;
}