Nim游戏模板

nim游戏模板

链接

---

题目描述：

甲，乙两个人玩Nim取石子游戏。
nim游戏的规则是这样的：地上有n堆石子（每堆石子数量小于10000），每人每次可从任意一堆石子里取出任意多枚石子扔掉，可以取完，不能不取。每次只能从一堆里取。最后没石子可取的人就输了。假如甲是先手，且告诉你这n堆石子的数量，他想知道是否存在先手必胜的策略。

---

分析：

模板题

n 堆石子可以 看成几个子游戏。 求出每次游戏的SG值 然后用 异或的方式相 " 加 " 。

---

SG函数的性质:

来看一下SG函数的性质。
首先，所有的没有出边的顶点，其SG值为0，因为它的后继集合是空集。然后对于一个sg(x)=0的顶点x，它的所有后继y都满足 sg(y)≠ 0。对于一个sg(x)≠ 0的顶点，必定存在一个后继y满足sg(y)=0。

这个时候你就应该有所发现了！SG函数的性质和N,P局面的性质非常相似！
以上表明，顶点x所代表的postion是P-position当且仅当sg(x)=0（跟P-positioin/N-position的定义是完全对应的）。

后手必胜当且仅当sg的异或和为0

---

代码：

#include<cstdio>
#include<cstring>
#include<cctype>
#define maxn 10050
using namespace std;

inline int read( ){
	int x = 0;char c=getchar();
	while(!isdigit(c)) c=getchar();
	while(isdigit(c)) x=(x<<3) + (x<<1) + c-48,c=getchar();return x;
}


int T,n;
int a[maxn],f[maxn],sg[maxn],vis[maxn];

inline void getsg() {
	memset(sg,0,sizeof(sg));
	for(int i=1;i<=n;i++) {
		memset(vis,0,sizeof(vis));
		for(int j=0;f[j]<=i;j++) {
			vis[sg[i-f[j]]] = 1;
		}
		
		for(int j=0;;j++) {
			if(!vis[j])
			sg[i] = j;
			break;
		}
	}
}


int main() {
	for(int i=1;i<=maxn;i++) f[i] = i;
	getsg();
	
	T=read();
	while(T--) {
		n=read();
		int ans = 0;
		for(int i=1;i<=n;i++) a[i] = read(), ans ^= a[i];
		if(ans) puts("Yes"); else puts("No");	
	}
	return 0;
}