bzoj2819: Nim(博弈+树剖)

2819: Nim

题目：传送门

---

题解：

　　 很久之前学博弈的时候看过的一道水题，其实算不上博弈吧...

　　 直接套上一个裸的树剖啊，把路径上的点值全都xor（xor满足结合率所以就不管那么多随便搞啦）

　　 dog B 肉老师，竟然不告诉我它卡常，搞得我TLE几百年

　　

---

代码：

 #include<cstdio>
 #include<cstring>
 #include<cstdlib>
 #include<cmath>
 #include<algorithm>
 #include<iostream>
 using namespace std;
 inline int read()
 {
     int f=,x=;char ch;
     while(ch<'' || ch>''){if(ch=='-')f=-;ch=getchar();}
     while(ch>='' && ch<=''){x=x*+ch-'';ch=getchar();}
     return f*x;
 }
 struct node
 {
     int x,y,next;
 }a[];int len,last[];
 inline void ins(int x,int y)
 {
     len++;a[len].x=x;a[len].y=y;
     a[len].next=last[x];last[x]=len;
 }
 struct trnode
 {
     int l,r,c,lc,rc;
 }tr[];int trlen;
 inline void bt(int l,int r)
 {
     int now=++trlen;
     tr[now].l=l;tr[now].r=r;tr[now].c=;
     tr[now].lc=tr[now].rc=-;
     if(l<r)
     {
         int mid=(tr[now].l+tr[now].r)/;
         tr[now].lc=trlen+;bt(l,mid);
         tr[now].rc=trlen+;bt(mid+,r);
     }
 }
 inline void change(int now,int p,int c)
 {
     if(tr[now].l==tr[now].r){tr[now].c=c;return ;}
     int lc=tr[now].lc,rc=tr[now].rc,mid=(tr[now].l+tr[now].r)/;
     if(p<=mid)change(lc,p,c);
     else change(rc,p,c);
     tr[now].c=tr[lc].c^tr[rc].c;
 }
 inline int getsum(int now,int l,int r)
 {
     if(tr[now].l==l && r==tr[now].r)return tr[now].c;
     int lc=tr[now].lc,rc=tr[now].rc,mid=(tr[now].l+tr[now].r)/;
     if(r<=mid)return getsum(lc,l,r);
     else if(mid+<=l)return getsum(rc,l,r);
     return getsum(lc,l,mid)^getsum(rc,mid+,r);
 }
 int n,fa[],son[],dep[],tot[];
 inline void pre_tree_node(int x)
 {
     son[x]=;tot[x]=;
     for(register int k=last[x];k;k=a[k].next)
     {
         int y=a[k].y;
         if(y!=fa[x])
         {
             dep[y]=dep[x]+;
             fa[y]=x;
             pre_tree_node(y);
             if(tot[y]>tot[son[x]])son[x]=y;
             tot[x]+=tot[y];
         }
     }
 }
 int top[],ys[],id,tp;
 inline void pre_tree_edge(int x)
 {
     int tt=tp;top[x]=tp;ys[x]=++id;
     if(son[x]!=)pre_tree_edge(son[x]);
     for(register int k=last[x];k;k=a[k].next)
     {
         int y=a[k].y;
         if(y!=son[x] && y!=fa[x])
         {
             tp=y;
             pre_tree_edge(y);
             tp=tt;
         }
     }
 }
 int sol(int x,int y)
 {
     int ans=,tx=top[x],ty=top[y];
     while(tx!=ty)
     {
         if(dep[tx]>dep[ty])swap(tx,ty),swap(x,y);
         ans^=getsum(,ys[ty],ys[y]);
         y=fa[ty];ty=top[y];
     }
     if(x==y)return ans^getsum(,ys[x],ys[x]);
     else
     {
         if(dep[x]>dep[y])swap(x,y);
         return ans^getsum(,ys[x],ys[y]);
     }
 }
 int st[],Q;
 char s[];
 int main()
 {
     //freopen("a.in","r",stdin);freopen("a.out","w",stdout);
     n=read();for(int i=;i<=n;++i)st[i]=read();
     len=;memset(last,,sizeof(last));
     for(register int i=;i<n;++i)
     {
         int x=read(),y=read();
         ins(x,y);ins(y,x);
     }
     fa[]=;dep[]=;pre_tree_node();
     id=;tp=;pre_tree_edge();
     trlen=;bt(,id);
     for(register int i=;i<=n;++i)change(,ys[i],st[i]);
     Q=read();
     while(Q--)
     {
         scanf("%s",s+);int x=read(),y=read();
         if(s[]=='Q')
         {
             if(sol(x,y)!=)printf("Yes\n");
             else printf("No\n");
         }
         else change(,ys[x],y);
     }
     return ;
 }