博弈论题目

1. Nim游戏

题目链接
给定 n 堆石子，两位玩家轮流操作，每次操作可以从任意一堆石子中拿走任意数量的石子（可以拿完，但不能不拿），最后无法进行操作的人视为失败。

问如果两人都采用最优策略，先手是否必胜。

输入格式
第一行包含整数 n。

第二行包含 n 个数字，其中第 i 个数字表示第 i 堆石子的数量。

输出格式
如果先手方必胜，则输出 Yes。

否则，输出 No。

数据范围
1≤n≤105,
1≤每堆石子数≤109
输入样例：
2
2 3
输出样例：
Yes
分析：将所有的数异或，如果结果为0，先手必败，如果不为0，先手必胜

#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
const int N = 1e5+10,mod = 1e9+7;
int main()
{
	int n;
	scanf("%d",&n);
	int res=0,x;
	for(int i=1;i<=n;i++)
	{
		scanf("%d",&x);
		res^=x;
	} 
	if(res) printf("Yes");
	else printf("No"); 
	return 0;
} 

2. 台阶-Nim游戏

题目链接
现在，有一个 n 级台阶的楼梯，每级台阶上都有若干个石子，其中第 i 级台阶上有 ai 个石子(i≥1)。

两位玩家轮流操作，每次操作可以从任意一级台阶上拿若干个石子放到下一级台阶中（不能不拿）。

已经拿到地面上的石子不能再拿，最后无法进行操作的人视为失败。

问如果两人都采用最优策略，先手是否必胜。

输入格式
第一行包含整数 n。

第二行包含 n 个整数，其中第 i 个整数表示第 i 级台阶上的石子数 ai。

输出格式
如果先手方必胜，则输出 Yes。

否则，输出 No。

数据范围
1≤n≤105,
1≤ai≤109
输入样例：
3
2 1 3
输出样例：
Yes
分析：奇数台阶上的石子数异或的结果为0，则先手必败，否则先手必胜

#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
const int N = 1e5+10,mod = 1e9+7;
int main()
{
	int n;
	scanf("%d",&n);
	int x,res=0;
	for(int i=1;i<=n;i++)
	{
		scanf("%d",&x);
		if(i%2) res^=x;
	} 
	if(!res) printf("No");
	else printf("Yes");
	return 0;
} 

3. 集合-Nim游戏

题目链接
给定 n 堆石子以及一个由 k 个不同正整数构成的数字集合 S。

现在有两位玩家轮流操作，每次操作可以从任意一堆石子中拿取石子，每次拿取的石子数量必须包含于集合 S，最后无法进行操作的人视为失败。

问如果两人都采用最优策略，先手是否必胜。

输入格式
第一行包含整数 k，表示数字集合 S 中数字的个数。

第二行包含 k 个整数，其中第 i 个整数表示数字集合 S 中的第 i 个数 si。

第三行包含整数 n。

第四行包含 n 个整数，其中第 i 个整数表示第 i 堆石子的数量 hi。

输出格式
如果先手方必胜，则输出 Yes。

否则，输出 No。

数据范围
1≤n,k≤100,
1≤si,hi≤10000
输入样例：
2
2 5
3
2 4 7
输出样例：
Yes
分析：运用 SG函数，将n个SG（x）异或，如果结果为0，则先手必败，否则先手必胜
SG函数实际上是记忆化搜索

#include<bits/stdc++.h>
using namespace std;
const int N = 110,M = 1e4+10;
int n,k;
int s[N],f[M];
int sg(int x)
{
	if(f[x]!=-1) return f[x];
	unordered_set<int> S;
	for(int i=1;i<=k;i++) 
		if(x>=s[i])
			S.insert(sg(x-s[i]));
	for(int i=0;;i++)
		if(!S.count(i))
			return f[x]=i;
}
int main()
{
	scanf("%d",&k);
	for(int i=1;i<=k;i++) scanf("%d",&s[i]);
	scanf("%d",&n);
	int x,res=0;
	memset(f,-1,sizeof(f));
	for(int i=1;i<=n;i++)
	{
		scanf("%d",&x);
		res^=sg(x);
	}
	if(res) printf("Yes");
	else printf("No");
	return 0;
}

4. 拆分-Nim游戏

题目链接
给定 n 堆石子，两位玩家轮流操作，每次操作可以取走其中的一堆石子，然后放入两堆规模更小的石子（新堆规模可以为 0，且两个新堆的石子总数可以大于取走的那堆石子数），最后无法进行操作的人视为失败。

问如果两人都采用最优策略，先手是否必胜。

输入格式
第一行包含整数 n。

第二行包含 n 个整数，其中第 i 个整数表示第 i 堆石子的数量 ai。

输出格式
如果先手方必胜，则输出 Yes。

否则，输出 No。

数据范围
1≤n,ai≤100
输入样例：
2
2 3
输出样例：
Yes
分析：拿走一堆石子x，增加两堆更小规模的石子a和b，则SG（x）= SG（a）^ SG（b）

#include<bits/stdc++.h>
using namespace std;
const int N = 110;
int f[N];
int sg(int x)
{
	if(f[x]!=-1) return f[x];
	unordered_set<int> S;
	for(int i=0;i<x;i++)
		for(int j=0;j<=i;j++)
			S.insert(sg(i)^sg(j));
	for(int i=0;;i++)
		if(!S.count(i)) return f[x]=i;
}
int main()
{
	int n;
	scanf("%d",&n);
	int x,res=0;
	memset(f,-1,sizeof(f));
	for(int i=1;i<=n;i++)
	{
		scanf("%d",&x);
		res^=sg(x);
	}
	if(res) printf("Yes");
	else printf("No");
	return 0;
}