BZOJ1777: [Usaco2010 Hol]rocks 石头木头

n<=10000的树，节点有初始石头数<=1000，进行这样的游戏：两人轮流行动，我先手，每次可以选一个节点（≠1）把不超过m<=1000个石头移到父亲，最后所有石头都在节点1，没法行动的算输。有T<=10000次修改操作，把某点初始石头数修改，求每次修改后能否先手胜。

突然发现博弈全忘光了。。

首先看：

最简单的一种情况，可以用SG函数表示二号点的情况。可以打表或手推或显然得出SG值：0 1 2 …… m 0 1 2 …… m …… SG(i)=i%(m+1)。

接着看并联情况：

这就是几个互不影响的游戏的组合，用SG定理，把SG值异或起来即可。

重点来了！串联的情况！

http://blog.csdn.net/longshuai0821/article/details/7793043 贴个阶梯博弈先

先不看四号和五号。如果在二号先手就必胜了，那么对手肯定不会甘于在二号点移动而是跑去三号点试图改变局面，但这是徒劳的：我可以把他移过来2号点的东西全部丢到一号点，从而毫不影响先手胜的局面，也就是三号对答案毫无影响。现在看四不看五，由于三号对答案无影响，四号应该发挥积极作用，也就是如果从四号拿了一些到三号，是会影响结果的，这等价于从四号点拿了一些石头丢掉了！因为三号点是没用点，有多少石头都无所谓！也就是说四号点和二号点两个互不影响地构成了这个游戏且规则相同。最后看五号点，如果对手把五号点丢给四号，那么我也可以把丢到四号的那些石头丢给三号。

综上，与根距离为偶数的点都是废点。所以只需要记录并更新距离是奇数的点SG值即可。

#include<stdio.h>
#include<string.h>
#include<algorithm>
#include<stdlib.h>
#include<iostream>
using namespace std;

int n,t,m;
#define maxn 10011
struct Edge{int to,next;}edge[maxn<<1];int first[maxn],le=2;
void in(int x,int y) {Edge &e=edge[le];e.to=y;e.next=first[x];first[x]=le++;}
void insert(int x,int y) {in(x,y);in(y,x);}
int val[maxn],dep[maxn],ans;
void dfs(int x,int fa)
{
    dep[x]=dep[fa]+1;
    if (dep[x]&1) ans^=val[x];
    for (int i=first[x];i;i=edge[i].next)
    {
        const Edge &e=edge[i];if (e.to==fa) continue;
        dfs(e.to,x);
    }
}
int calc(int x) {return x%(m+1);}
int main()
{
    scanf("%d%d%d",&n,&t,&m);
    int x,y;
    for (int i=2;i<=n;i++)
    {
        scanf("%d%d",&x,&y);
        insert(x,i);
        val[i]=calc(y);
    }
    dep[0]=-1;ans=0;dfs(1,0);
    for (int i=1;i<=t;i++)
    {
        scanf("%d%d",&x,&y);
        if (dep[x]&1)
        {
            ans^=val[x];
            val[x]=calc(y);
            ans^=val[x];
        }
        printf(ans?"Yes
":"No
");
    }
    return 0;
}