题目描述:
给定n堆石子,两位玩家轮流操作,每次操作可以取走其中的一堆石子,然后放入两堆规模更小的石子(新堆规模可以为0,且两个新堆的石子总数可以大于取走的那堆石子数),最后无法进行操作的人视为失败。
问如果两人都采用最优策略,先手是否必胜。
输入格式
第一行包含整数n。第二行包含n个整数,其中第i个整数表示第i堆石子的数量ai。
输出格式
如果先手方必胜,则输出“Yes”。否则,输出“No”。
数据范围
1≤n,ai≤100
输入样例:
2
2 3
输出样例:
Yes
思路分析:
对本题而言,可以拿走一堆石子,然后放入两堆石子,新放入的石子数目可以是0,每堆数目都不能超过拿走的那一堆,但是两堆的总数目可以超过拿走的那一堆。也就说是,一次操作相当于把一个有向图转化为了两个有向图,sg可到达的状态就是新产生的两个有向图状态的异或和,我们只需要求出各堆石子数目的sg函数值,异或起来得到的异或和非0就可以判断先手必胜了。也就是说拿取石子规则的改变只是改变了有向图状态变化的方向,影响了石子数目的sg值,并不影响有向图游戏的定理。
AC代码:
#include <iostream>
#include <cstring>
#include <unordered_set>
using namespace std;
int g[105];
int sg(int x) {
if (g[x] != -1) return g[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 g[x] = i;
}
}
int main() {
int n, x, res = 0;
cin >> n;
memset(g, -1, sizeof g);
for (int i = 0; i < n; i++) {
cin >> x;
res ^= sg(x);
}
if (res) puts("Yes");
else puts("No");
return 0;
}