C++ 数论相关题目，博弈论，SG函数，集合-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函数：表示当前状态所不能到达状态中最小的自然数。
必胜状态：SG不等于0；
必败状态：SG等于0。

如果有多个图，将每个初始的SG值异或，等于0必败，不等于0必胜。

#include 
#include 
#include 
#include 

using namespace std;

const int M = 110, N = 10010;

int m, n;
int s[M], f[N]; //s存可以取的数，f表明一个状态的sg值，一个状态是一个数，一个确定石子个数的堆可以分解成一个图表示状态。

int sg(int x)
{
    if(f[x] != -1) return f[x]; //避免重复计算，如果x状态算过的话，就直接返回这个状态的sg值
    
    unordered_set<int> S;//存能到达的状态的sg值。
    for(int i = 0; i < m; i ++ ) //遍历每一个图（堆，石子堆）
        if(x >= s[i])
            S.insert(sg(x - s[i]));
    
    for(int i = 0; ; i ++ )
        if(!S.count(i)) //找到最小的不存在的状态自然数，说明当前状态的sg值就是i这个数
            return f[x] = i;
    
}

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