集合-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
思路：
1.SG(x1) ^ SG(x2) ^ … ^ SG(xn) != 0 –> 必胜状态；
2.SG(x1) ^ SG(x2) ^ … ^ SG(xn) == 0 –> 必败状态；
其中SG[xi]是指每一个图的初始状态SG函数值；
可以把每堆石子看成一副图；
求SG(xi)的时候用到了记忆化搜索，搜索的形式加动规的思想：可以保存搜索过的状态，同时还可以剪枝，不必遍历所有的状态；f[N]用来存储某个状态是否已经被计算过，搜索时dfs；
代码实现：

#include<iostream>
#include<algorithm>
#include<cstring>
#include<unordered_set>
using namespace std;
const int N = 110, M = 10010;
int n, m;
int s[N], f[M];
//记忆化搜索
int sg(int x)
{
    if(f[x] != -1) return f[x];
    //每一次sg函数都有重新定义set函数，所有s就是每个起点的有向图的最小不包含自然数
    unordered_set<int> S;
    for(int i = 0; i < m; i ++){
        int sum = s[i];
        if(x >= sum) S.insert(sg(x - sum));
    }
    //找到不包含在集合内的最小自然数
    for(int i = 0; ; i ++)
        if(!S.count(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;
    //n个有向图的起点状态异或为0必输，否则就赢
    for(int i = 0; i< n; i ++){
        int x;
        cin >> x;
        res ^= sg(x);
    }
    if(res) cout << "Yes" << endl;
    else cout << "No" << endl;
    return 0;
}