AcWing 894 拆分-Nim游戏

题目描述：

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

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

输入格式

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

输出格式

如果先手方必胜，则输出“Yes”。否则，输出“No”。

数据范围

1≤n,ai≤100

输入样例：

2
2 3

输出样例：

Yes

分析：

首先回忆下Nim游戏问题，之所以可以直接将各堆石子数目异或起来，是因为各堆石子取多少不受限制，因此，对于石子数目为x的一堆，可以到达比x小的任何状态，故sg（x） = x，因此石子数目的异或和本质上就是sg函数值的异或和。再回忆下有向图游戏的和，多个有向图游戏的sg值等于所有有向图sg函数值的异或和。

对本题而言，可以拿走一堆石子，然后放入两堆石子，新放入的石子数目可以是0，每堆数目都不能超过拿走的那一堆，但是两堆的总数目可以超过拿走的那一堆。也就说是，一次操作相当于把一个有向图转化为了两个有向图，sg可到达的状态就是新产生的两个有向图状态的异或和，我们只需要求出各堆石子数目的sg函数值，异或起来得到的异或和非0就可以判断先手必胜了。也就是说拿取石子规则的改变只是改变了有向图状态变化的方向，影响了石子数目的sg值，并不影响有向图游戏的定理。

如何求本题的SG函数值呢？

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;
    }
    
}

需要用二重循环枚举新产生的两堆石子可能的数目，第一堆石子的可能数量是0到x-1，为了避免重复枚举，第二堆石子的数目数量设定为0到第一堆石子的数目，递推式也就是可到达的状态sg函数值等于新产生两堆石子sg函数值的异或和。其它步骤与上一题求sg函数的步骤别无二致。

#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;
}