题意

给一颗带点权的树，三种操作

  • \(1~s~t\) 修改从1到s的路径上的所有点，\(a[i]=a[i]|t\)
  • \(2~s~t\) 修改从1到s的路径上的所有点，\(a[i]=a[i]\&t\)
  • \(3~s~t\) 询问将1到s的路径上的所有点作为石头堆，再加上一个个数为\(t\)的石头堆，进行一次尼姆博弈，先手胜利输出YES，否则输出NO

分析

尼姆博弈先手必胜条件为所有石头堆异或和为0，将询问转化为求1到s的路径上的所有点的异或和，

先树链剖分一下给每个点重新编号，然后线段树维护区间异或和

怎么维护区间异或和？对二进制的每一位建一颗线段树维护区间和(当前二进制位为1的数量)，若区间和为奇数说明这一位的区间异或结果为1，否则为0

怎么修改？

  • 修改1为区间或操作：对于二进制的第\(i\)位，若\(t\)的二进制第\(i\)位为1，则会将从1到s的路径上的点权的二进制第\(i\)位全变为1，若\(t\)的二进制第\(i\)位为0，则无影响

  • 修改2为区间与操作：对于二进制的第\(i\)位，若\(t\)的二进制第\(i\)位为0，则会将从1到s的路径上的点权的二进制第\(i\)位全变为0，若\(t\)的二进制第\(i\)位为1，则无影响

Code

#include<bits/stdc++.h>
#define fi first
#define se second
#define pb push_back
#define lson l,mid,p<<1
#define rson mid+1,r,p<<1|1
#define ll long long
using namespace std;
const int inf=1e9;
const int mod=1e9+7;
const int maxn=1e5+10;
int n,q;
int a[maxn];
vector<int>g[maxn];
int sz[maxn],son[maxn],f[maxn],d[maxn],top[maxn],p[maxn],tot;
struct ppo{
    int tr[maxn<<2],tag[maxn<<2];
    void clear(){memset(tag,-1,sizeof(tag));}
    void pp(int p){
        tr[p]=(tr[p<<1]+tr[p<<1|1]);
    }
    void pd(int l,int r,int p,int k){
        tr[p]=(r-l+1)*k;tag[p]=k;
    }
    void up(int dl,int dr,int l,int r,int p,int k){
        if(l>=dl&&r<=dr){
            tr[p]=(r-l+1)*k;tag[p]=k;return;
        }int mid=(l+r)>>1;
        if(~tag[p]){pd(lson,tag[p]);pd(rson,tag[p]);tag[p]=-1;}
        if(dl<=mid) up(dl,dr,lson,k);
        if(dr>mid) up(dl,dr,rson,k);
        pp(p);
    }
    int qy(int dl,int dr,int l,int r,int p){
        if(l>=dl&&r<=dr){
            return tr[p]&1;
        }int mid=(l+r)>>1;int ret=0;
        if(~tag[p]){pd(lson,tag[p]);pd(rson,tag[p]);tag[p]=-1;}
        if(dl<=mid) ret^=qy(dl,dr,lson);
        if(dr>mid) ret^=qy(dl,dr,rson);
        return ret;
    }
}seg[33];
void add(int x){
    int k=a[x];
    for(int i=0;i<=30;i++) seg[i].up(p[x],p[x],1,n,1,(k>>i)&1);
}
void dfs1(int u){
    sz[u]=1;d[u]=d[f[u]]+1;
    for(int x:g[u]){
        if(x==f[u]) continue;
        f[x]=u;dfs1(x);
        sz[u]+=sz[x];
        if(sz[x]>sz[son[u]]) son[u]=x;
    }
}
void dfs2(int u,int t){
    top[u]=t;p[u]=++tot;add(u);
    if(son[u]) dfs2(son[u],t);
    for(int x:g[u]){
        if(x==f[u]||x==son[u]) continue;
        dfs2(x,x);
    }
}
void gao(int x,int y,int s,int k){
    while(top[x]!=top[y]){
        if(d[top[x]]<d[top[y]]) swap(x,y);
        seg[s].up(p[top[x]],p[x],1,n,1,k);x=f[top[x]];
    }
    if(d[x]<d[y]) swap(x,y);
    seg[s].up(p[y],p[x],1,n,1,k);
}
int cal(int x,int y,int s){
    int ret=0;
    while(top[x]!=top[y]){
        if(d[top[x]]<d[top[y]]) swap(x,y);
        ret^=seg[s].qy(p[top[x]],p[x],1,n,1);
        x=f[top[x]];
    }
    if(d[x]<d[y]) swap(x,y);
    return seg[s].qy(p[y],p[x],1,n,1)^ret;
}
int main(){
    //ios::sync_with_stdio(false);
    //freopen("in","r",stdin);
    scanf("%d%d",&n,&q);
    for(int i=0;i<=30;i++) seg[i].clear();
    for(int i=1;i<=n;i++) scanf("%d",&a[i]);
    for(int i=2,a,b;i<=n;i++){
        scanf("%d%d",&a,&b);
        g[a].push_back(b);
        g[b].push_back(a);
    }
    dfs1(1);dfs2(1,1);
    while(q--){
        int op,s,t;
        scanf("%d%d%d",&op,&s,&t);
        if(op==1){
            for(int i=0;i<=30;i++)
                if((t>>i)&1) gao(1,s,i,1);
        }else if(op==2){
            for(int i=0;i<=30;i++)
                if(!((t>>i)&1)) gao(1,s,i,0);
        }else{
            int ans=0;
            for(int i=0;i<=30;i++)
                if(cal(1,s,i)) ans|=(1<<i);
            if(ans^t) puts("YES");
            else puts("NO");
        }
    }
    return 0;
}