题目描述
甲,乙两个人玩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
题解
nim游戏,经典博弈论。我们先给出一个结论:
对于一个Nim游戏的局面(a1,a2,...,an),它是先手必败当且仅当a1^a2^...^an=0。
证明:1、当没有石子时先手显然必败,此时满足0^0^0^…^0=0。
2、当a1^a2^a3^...^an=k (k!=0) 时,则一定存在
某个ai ,使得它的二进制表示在k的最高位上是1,所以我们设ai' = ai^k,(ai'一定小于ai)
此时a1^a2^...^ai'^...^an=a1^a2^a3^...^an^k=0。
3、当a1^a2^...^an=0时,一定不存在某个合法的移动,
将ai变成ai'后满足a1^a2^...^ai'^...^an=0。因为如果这样,
那么a1^a2^...^an=a1^a2^...^ai'^...^an=0。
消去两边,得:ai=ai',这显然不可能。
代码
#include<bits/stdc++.h>
using namespace std;
const int MAXN = 10005;
int a[MAXN],T,n;
int main(){
scanf("%d",&T);
while(T--){
int ans=0;
scanf("%d",&n);
for(register int i=1;i<=n;i++){
scanf("%d",&a[i]);
ans^=a[i];
}
if(ans!=0) cout<<"Yes"<<endl;
else cout<<"No"<<endl;
}
return 0;
}