P2197 【模板】nim游戏

洛谷传送门

---

题意：

有$n$堆石子，两人进行游戏，轮流取石子，每次可以从一堆中选取任意数量石子，可以选完，但不能不选，选完最后石子的人获胜，问先手是否有必胜策略？

题解：

先说结论：将每堆的石子数目异或起来，如果为0，则是必败状态，否则必胜。
如何证明这一点？显然，如果所有堆的数目都为0了，那么异或起来显然为0。如果异或起来为$k$，那么一定可以在某一堆中找到一个$a[i]$，这个$a[i]$的某一位和$k$的最高位都为1，一定有$a[i]\oplus k<a[i]$。可以通过改变$a[i]$的值来使得异或为0来回到必败状态。即当异或为0时，一定不存在取石子使得异或还是为0。

AC代码：

#include <bits/stdc++.h>
#define ll long long
#define inf 0x3f3f3f3f
#define pi acos(-1.0)
#define rep(i,a,n)  for(int i=a;i<=n;i++)
#define pb push_back
const ll mod=1e9+7;
using namespace std;
ll gcd(ll a,ll b) { return b?gcd(b,a%b):a;}
ll ksm(ll a,ll b){ll ret=1; while(b){if(b&1)ret=ret*a%mod;a=a*a%mod;b>>=1;} return ret;}
int t,ans,x,n;
int main(){
	//freopen("testdata.in","r",stdin);
	//freopen("testout.out","w",stdout);
	cin>>t;
	while(t--){
	ans=0;
	cin>>n;
	rep(i,1,n){
	cin>>x;
	ans^=x;	
	}
	if(ans)	puts("Yes");
	else	puts("No");
	}


	return 0;
}
/*

  */