【bzoj3729】【GTY的游戏】【阶梯博弈+splay】

Description

某一天gty在与他的妹子玩游戏。
妹子提出一个游戏，给定一棵有根树，每个节点有一些石子，每次可以将不多于L的石子移动到父节点，询问
将某个节点的子树中的石子移动到这个节点先手是否有必胜策略。
gty很快计算出了策略。
但gty的妹子十分机智，她决定修改某个节点的石子或加入某个新节点。
gty不忍心打击妹子，所以他将这个问题交给了你。
另外由于gty十分绅士，所以他将先手让给了妹子。

Input

第一行两个数字，n和L,n<=5*10^4,L<=10^9
第二行n个数字，表示每个节点初始石子数。
接下来n-1行，每行两个整数u和v，表示有一条从u到v的边。
接下来一行一个数m，表示m组操作。
接下来m行，每行第一个数字表示操作类型
若为1，后跟一个数字v，表示询问在v的子树中做游戏先手是否必胜。
若为2，后跟两个数字x，y表示将节点x的石子数修改为y。
若为3，后跟三个数字u,v,x，表示为u节点添加一个儿子v，初始石子数为x。
在任意时刻，节点数不超过5*10^4。

Output

对于每个询问，若先手必胜，输出"MeiZ",否则输出"GTY"。
另，数据进行了强制在线处理，对于m组操作，除了类型名以外，都需要异或之前回答为"MeiZ"的个数。

Sample Input

2 1000
0 0
1 2
1
1 1

Sample Output

GTY

题解:

做这个题首先需要知道阶梯博弈:http://blog.csdn.net/kk303/article/details/6692506

这个题有m的限制,我们把每个数都模(m+1)即可.

然后我们需要维护一个数据结构支持

1.查询一个子树内奇数深度的点的异或和以及偶数深度点的异或和

2.添加节点.

3.修改节点权值.

dfs序+splay即可完成.

代码:

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<map>
#define N 200010
using namespace std;
int x,y,val,top,cnt,q,num,deep[N],xu[N],point[N],next[N<<1],pos[N][2],n,m,a[N];
int root,fa[N],kind[N],v[N],c[N][2],sg[N][2];
struct use{
  int st,en;
}e[N<<1];
map<int,int>id;
int read(){
  int x(0);char ch=getchar();
  while (ch<'0'||ch>'9') ch=getchar();
  while (ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();
  return x; 
}
void add(int x,int y){
    //cout<<x<<' '<<y<<endl;
  next[++cnt]=point[x];point[x]=cnt;
  e[cnt].st=x;e[cnt].en=y;
}
void dfs(int x,int fa){
  xu[++top]=x;
  for (int i=point[x];i;i=next[i])
    if (e[i].en!=fa){
      deep[e[i].en]=deep[x]^1;
      dfs(e[i].en,x);  
    }
  xu[++top]=-x;
}
void update(int k){
  int a=c[k][0],b=c[k][1];
  sg[k][0]=sg[a][0]^sg[b][0];
  sg[k][1]=sg[a][1]^sg[b][1];
  sg[k][kind[k]]^=v[k];
}
void rotate(int x,int &k){
  int y=fa[x],z=fa[y],a,b;
  if (c[y][0]==x) a=0;else a=1;b=a^1;
  if (y==k) k=x;
  else{
    if (c[z][0]==y) c[z][0]=x;
    else c[z][1]=x;
  }
  fa[x]=z;fa[y]=x;fa[c[x][b]]=y;
  c[y][a]=c[x][b];c[x][b]=y;
  update(y);update(x);
}
void splay(int x,int &k){
  while (x!=k){
    int y=fa[x],z=fa[y];
    if (y!=k){
      if (c[y][0]==x^c[z][0]==y) rotate(x,k);
      else rotate(y,k);
    } 
    rotate(x,k);
  }
}
void query(int x){
  int a=pos[x][0],b=pos[x][1];
  splay(a,root);splay(b,c[root][1]);
  if (sg[c[b][0]][deep[x]^1]){
    puts("MeiZ");
    num++;
  }
  else puts("GTY");
}
void insert(int x,int y,int val){
  int a=pos[x][0];
  splay(a,root);a=c[root][1];
  while(c[a][0]) a=c[a][0];
  pos[y][0]=++top;pos[y][1]=++top;
  fa[pos[y][0]]=a;fa[pos[y][1]]=pos[y][0];
  c[a][0]=pos[y][0];c[pos[y][0]][1]=pos[y][1];
  v[pos[y][0]]=val;kind[pos[y][0]]=kind[pos[y][1]]=deep[y];
  update(pos[y][1]);update(pos[y][0]);splay(pos[y][1],root);
}
int build(int k,int l,int r){
  if (l>r) return 0;
  int mid=(l+r)>>1;
  if (xu[mid]>0){
    pos[xu[mid]][0]=mid;
    v[mid]=a[xu[mid]];
  }
  else pos[-xu[mid]][1]=mid;
  kind[mid]=deep[abs(xu[mid])];
  fa[mid]=k;
  c[mid][0]=build(mid,l,mid-1);
  c[mid][1]=build(mid,mid+1,r);
  update(mid);
  return mid;
}
int main(){
  //freopen("a.in","r",stdin);
  //freopen("a.out","w",stdout); 
  n=read();m=read();m++;
  for (int i=1;i<=n;i++){
    a[i]=read();
    a[i]%=m;
    id[i]=i;
  }
  for (int i=1;i<n;i++){
    x=read();y=read();
    add(x,y);add(y,x);
  }
  dfs(1,0);
  root=build(0,1,top);
 // for (int i=1;i<=top;i++) cout<<xu[i]<<endl;
  //for (int i=1;i<=n;i++) cout<<pos[i][0]<<' '<<pos[i][1]<<endl;
  q=read();
  for (int i=1;i<=q;i++){
    int typ=read();
    if (typ==1){
      x=read()^num;
      //x=read();
      query(id[x]);
    }
    if (typ==2){
    x=read()^num;y=read()^num;
      //x=read();y=read();
      x=id[x];y%=m;
      splay(pos[x][0],root);
      v[root]=y;update(root);
    }
    if (typ==3){
      x=read()^num;y=read()^num;val=read()^num;
      //x=read();y=read();val=read();
      x=id[x];id[y]=++n;
      deep[n]=deep[x]^1;
      insert(x,n,val%m);
    } 
  }
}