http://www.elijahqi.win/2018/03/15/luogu2197/
题目描述
甲，乙两个人玩Nim取石子游戏。
nim游戏的规则是这样的：地上有n堆石子（每堆石子数量小于10000），每人每次可从任意一堆石子里取出任意多枚石子扔掉，可以取完，不能不取。每次只能从一堆里取。最后没石子可取的人就输了。假如甲是先手，且告诉你这n堆石子的数量，他想知道是否存在先手必胜的策略。
输入输出格式
输入格式：
第一行一个整数T<=10,表示有T组数据
接下来每两行是一组数据，第一行一个整数n，表示有n堆石子，n<=10000;
第二行有n个数，表示每一堆石子的数量
输出格式：
共T行，如果对于这组数据存在先手必胜策略则输出”Yes”,否则输出”No”，不包含引号，每个单词一行。
输入输出样例
输入样例#1： 复制
2
2
1 1
2
1 0
输出样例#1： 复制
No
Yes
判断异或和是否为0 即可 个人感觉 是可以从局部推广到整体..比如只有两堆那么显然后手会胜 然后所以异或为0的时候相当于是好多个两堆的情况..
(Bouton’s Theorem)：对于一个Nim游戏的局面(a1,a2,…,an)，它是P-position当且仅当a1^a2^…^an=0，其中^表示异或(xor)运算。
怎么样，是不是很神奇？我看到它的时候也觉得很神奇，完全没有道理的和异或运算扯上了关系。但这个定理的证明却也不复杂，基本上就是按照两种position的证明来的。
根据定义，证明一种判断position的性质的方法的正确性，只需证明三个命题： 1、这个判断将所有terminal position判为P-position；2、根据这个判断被判为N-position的局面一定可以移动到某个P-position；3、根据这个判断被判为P-position的局面无法移动到某个P-position。
第一个命题显然，terminal position只有一个，就是全0，异或仍然是0。
第二个命题，对于某个局面(a1,a2,…,an)，若a1^a2^…^an!=0，一定存在某个合法的移动，将ai改变成ai’后满足a1^a2^…^ai’^…^an=0。不妨设a1^a2^…^an=k，则一定存在某个ai，它的二进制表示在k的最高位上是1（否则k的最高位那个1是怎么得到的）。这时ai^k
#include<cstdio>
inline char gc(){
static char now[1<<16],*S,*T;
if (T==S){T=(S=now)+fread(now,1,1<<16,stdin);if (T==S) return EOF;}
return *S++;
}
inline int read(){
int x=0,f=1;char ch=gc();
while(ch<'0'||ch>'9') {if (ch=='-') f=-1;ch=gc();}
while(ch<='9'&&ch>='0') x=x*10+ch-'0',ch=gc();
return x*f;
}
int main(){
//freopen("luogu2197.in","r",stdin);
int T=read();
while(T--){
int n=read();int ans=0;
for (int i=1;i<=n;++i) ans^=read();
if (ans) puts("Yes");else puts("No");
}
return 0;
}
