博弈论 Nim

例题：

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

结论

假设n堆石子，石子数目分别是 a₁ , a₂ , … , a_n，如果 a₁ ⊕ a₂ ⊕ … ⊕ a_n ≠ 0（Nim和），先手必胜；否则先手必败。

证明

1.终点情况：所有石子数量为零，该状态下属于失败，Nim 和为 a₁ ⊕ a₂ ⊕ … ⊕ a_n = 0
2.Nim和不为零：那么玩家必然可以通过拿走某一堆若干个石子将异或结果变为0。

证明：设 x 为Nim和不为零的值，x 的二进制表示中最高一位 1 在第 k 位，那么在 a₁ , a₂ , … , a_n 中，必然有一个数 a_i，它的第 k 为时 1，且 a_i ⊕ x < a_i，那么从第 i 堆石子中拿走 ( a_i − a_i ⊕ x ) 个石子，第 i 堆石子还剩 ai⊕x ( a_i − ( a_i − a_i ⊕ x ) )，此时 a₁ ⊕ a₂ ⊕ … ⊕ a_i ⊕ x ⊕ … ⊕ a_n = x ⊕ x = 0。

3.Nim和为零: a₁ ⊕ a₂ ⊕ … ⊕ a_n = 0 因为每局必改变一堆石子，因此必然会导致最终异或结果不为0。

总结：

1. 如果先手面对的局面是Nim和不为零，那么先手总可以通过拿走某一堆若干个石子，将局面变成Nim和为零。如此重复，最后一定是后手面临终点情况。先手必胜。

int t;cin >> t;
int res = 0;
while (t--)
{
    int x;cin >> x;
    res ^= x;
}
if (res) puts("Yes");
else puts("No");

---

例题：

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

前言：Mex 运算

设 s 表示一个非负整数集合。定义 mex (s) 为求出不属于集合s的最小非负整数的运算，即：s { 0，2，3 } 不属于集合 s 的最小非负整数为 1，所以 mex (s) = 1。

如果先手面对的局面是SG不为零，那么先手总可以通过拿走某一堆若干个石子，将局面变成SG为零，而后手必然会把局面变为SG为不零。如此重复，最后一定是后手面临SG为零。先手必胜。

理解SG：

通过SG函数可以将游戏转化为nim游戏（可以任意取，甚至取完），不在有限制，通过SG转换为nim游戏的一堆两个石子 2（SG10）1 （SG5）0（SG8）当石子数为 0 对应SG为零必输局面。

总结：

1. SG函数可以将有规定的拿石子，转换成nim游戏（可以任意取，甚至取完）。

2. 多堆石子可以将他们的SG异或起来，因为SG函数可以将有规定的拿石子，变为可以任意取，转换成nim游戏，终点情况异或值为零。

---

int n, m;
int a[N], g[N];

int sg(int x)
{
	if (g[x] != -1) return g[x]; // 存在环时，将该sg返回，表示该点可以走到
	
	unordered_set<int> s; 
	for (int i = 0; i < m; i++)
	{
		int sum = a[i]; // 可以拿的石子数
		if (x >= sum) s.insert(sg(x - sum)); // sg函数后决定前，所以要搜到最后在回溯
					// 通过s来存

	}
	for (int i = 0; ; i++)
	{
		// set去重查找可以优化时间复杂度
		if (!s.count(i)) return g[x] = i; // 选出最小的没有出现的自然数
	}
}


int main()
{
	cin >> m;
	for (int i = 0; i < m; i++) cin >> a[i];
	cin >> n;
	int res = 0;
	memset(g, -1, sizeof g);
	for (int i = 0; i < n; i++)
	{
		int x; cin >> x;
		res ^= sg(x);
	}
	if (res) puts("Yes");
	else puts("No");
}