呃啊写一些有意思的博弈结论,虽然感觉不大会考:[AGC017D] Game on Tree这一题,呃树上的博弈,一般来说,博弈不是人类智慧,就是sg,那么这题一看删东西,然后又是看看谁不能动手,那一般来说可以是sg,更进一点就是树上nim,结论是:每个节点的sg函数值就是所有儿子的sg函数值+1的异或和。为什么呢,其实就像正常的nim一样,你可以删除一整个儿子,或者删除儿子的部分节点,那其实就和取石子差不多,再感性些,每一棵的子树,何尝不能作为一堆石子来取呢。有个感性的理解:如果有 kk 棵子树,那么我们可以把根节点复制 kk 份,每个根节点只下接一棵子树。如果直接断开了根与其子树相连的边,则下一状态的 SG 值为 0。否则,也就是断开了子树内的边,此时仍然满足根节点只有一个孩子,而且问题规模更小。结合数学归纳法,我们可以证明原树可以转移到每个子树能转移到的状态的 SG 值加 1的状态。再不行,yy一下,对于一个根,若把它的子树视为根而自己视为一颗子节点,那么就是子树的状态加一转移上去啦。
#include<bits/stdc++.h>
using namespace std;
int n,m;
int last[1000001],len=0;
struct pp
{
int x,y,next;
};pp p[2000001];
void ins(int x,int y)
{
int now=++len;
p[now]={x,y,last[x]};last[x]=now;
return ;
}
int dfs(int x,int fa)
{
int rt=0;
for(int i=last[x];i!=-1;i=p[i].next)
{
int y=p[i].y;if(y==fa) continue;
rt^=dfs(y,x)+1;
}
return rt;
}
int main()
{
memset(last,-1,sizeof(last));
scanf("%d",&n);
for(int i=1;i<=n-1;i++)
{
int x,y;scanf("%d%d",&x,&y);
ins(x,y);ins(y,x);
}
if(dfs(1,0)==0) printf("Bob\n");
else printf("Alice\n");
return 0;
}