SG函数

SG函数主要性质：
1、所有终结点都是必败点；
2、必败点P无论怎么操作只能进入必胜点N；
3、至少有一种操作使可以从必胜点N到达必败点P。

其中定义mex（minimal excludant）运算，其为集合运算，即为计算该集合中不存在的最小非负整数。
例如： mex({0,2,3}) = 1; mex({1,2,3,4,5}) = 0;
而SG[x]含义即为在x的状态下有多少个后继状态，对所有后继状态的SG值进行mex运算，结果即为SG[x]的值。

多个SG游戏的最终结果为每个SG函数值的异或和，异或和为0即为必败点，反之为必胜点。

SG函数模板：

//f[N]:可改变当前状态的方式，N为方式的种类，f[N]要在getSG之前先从小到大排序
//SG[]:0~n的SG函数值
//S[]:为x后继状态的集合
//n为SG[x]中x想要达到的最大值，size为f的大小
//预处理需要占用大量时间，请注意调整MAXN以及N的大小以免TLE！！！！！
int f[N],SG[MAXN],S[N];
void getSG(int n,int size){
    memset(SG,0,sizeof(SG));
    //因为SG[0]始终等于0，所以i从1开始
    for(int i = 1; i <= n; i++){
        //每一次都要将上一状态 的 后继集合 重置
        memset(S,0,sizeof(S));
        for(int j = 0; f[j] <= i && j < size; j++)
            S[SG[i-f[j]]] = 1;  //将后继状态的SG函数值进行标记
        for(int j = 0;; j++) if(!S[j]){   //查询当前后继状态SG值中最小的非零值
            SG[i] = j;
            break;
        }
    }
}