自己对sg函数的小理解

首先定义mex(minimal excludant)运算，这是施加于一个集合的运算，表示最小的不属于这个集合的非负整数。例如mex{0,1,2,4}=3、mex{2,3,5}=0、mex{}=0。

对于一个给定的有向无环图，定义关于图的每个顶点的Sprague-Garundy函数g如下：g(x)=mex{ g(y) | y是x的后继}。

sg函数的一些性质

（1）当sg=0时，则其后继都！=0；

（2）当sg！=0时，则其后继中存在一个为0；

所以当一个点为p型点当且仅当它的sg函数的值为0

在单个游戏中只需算一下sg是否为即可

在多个游戏组合的复杂的游戏中，如果游戏可以分解（各个游戏互相不影响），需要计算出各个游戏的sg函数值然后将所有值异或一下，即是复杂游戏的结果

所以在看到一道题目是首先需要解决肯定是如何计算出sg函数的问题

（1）打表

（2）dfs，（当数据范围太大，无法开出数组的时候）

无论那种情况，在预处理的过程中都需要有一种意识就是，当你想算一个点的sg函数值时，必须要准确的判断出该点所有的后继情况

打表的模板：

//f[]：可以取走的石子个数
//sg[]:0~n的SG函数值
//hash[]:mex{}
int f[K],sg[N],hash[N];
void getSG(int n)
{
    memset(sg,0,sizeof(sg));
    for(int i=1; i<=n; i++)
    {
        memset(hash,0,sizeof(hash));
        for(int j=0; f[j]<=i && j < k; j++) //k是f[]的有效长度
            hash[sg[i-f[j]]]=1;
        for(int j=0; ; j++)     //求mes{}中未出现的最小的非负整数
        {
            if(hash[j]==0)
            {
                sg[i]=j;
                break;
            }
        }
    }
}

dfs的模板：

//注意 S数组要按从小到大排序 SG函数要初始化为-1 对于每个集合只需初始化1遍
//n是集合s的大小 S[i]是定义的特殊取法规则的数组
int s[N],sg[N],n;
int getSG(int x)
{
    if(sg[x]!=-1)
        return sg[x];
    bool vis[M];
    memset(vis,0,sizeof(vis));
    for(int i=0; i<n; i++)
    {
        if(x>=s[i])
            vis[getSG(x-s[i])]=1;
    }
    for(i=0;; i++)
        if(!vis[i])
        {
            sg[x]=i;
            break;
        }
    return sg[x];
}