CodeForces 812E Sagheer and Apple Tree

题解：很明显是一道博弈论的题目。

在写这道题之前，先要学习NIM游戏和阶梯博弈的相关知识和结论。

结合这两个知识，我们可以知道，在不交换节点的情况下，这个游戏的后手必胜条件是“从下往上数的奇数层”的所有节点的异或值为0。因此，我们的交换目标就是构建一个这样的树。如果一开始异或值就是0，那么有三种换法：奇数层内两个节点交换，奇数层外两个节点交换，一个奇数层内和一个奇数层外的苹果数量相同的节点交换。如果一开始节点异或值不是0，那么考虑一个奇数层中的节点，如果奇数层以外的某个点里面有“这个节点以外其他节点的异或值”数量的苹果，就可以把这两个节点交换来达到目的。所以只要用桶记录一下数量，就可以求出答案。

代码如下：

#include<bits/stdc++.h>
using namespace std;

int n,md,s;
long long ans;
int w[100010],fa[100010],dep[100010];
bool f;

vector<int> Q[100010];
map<int,int> P;

void dfs(int x)
{
	md=max(md,dep[x]);
	int cnt=Q[x].size();
	for(int i=0;i<cnt;i++) if(fa[x]!=Q[x][i]){dep[Q[x][i]]=dep[x]+1;dfs(Q[x][i]);}
}

int main()
{
	int x=0;
	scanf("%d",&n);
	for(int i=1;i<=n;i++) scanf("%d",&w[i]);
	for(int i=2;i<=n;i++){scanf("%d",&fa[i]);Q[fa[i]].push_back(i);}
	dfs(1);f=md%2;
	for(int i=1;i<=n;i++){if(dep[i]%2==f){x^=w[i];s++;}else{if(!P.count(w[i])) P[w[i]]=1;else P[w[i]]++;}}
	if(x){for(int i=1;i<=n;i++) if(dep[i]%2==f&&P.count(x^w[i])) ans+=P[x^w[i]];}
	else
	{
	  ans=(long long)s*(s-1)/2ll+(long long)(n-s)*(n-s-1)/2ll;
	  for(int i=1;i<=n;i++) if(dep[i]%2==f&&P.count(w[i])) ans+=P[w[i]];
	}
	printf("%I64d\n",ans);
	return 0;
}