博弈-SG函数

SG函数：

首先定义一个mex(minimal excludant)运算,这是一个施加于集合的运算，表示最小的不属于这个集合的非负整数。

例如mex{0,1,2,3}=4;mex{1,2,4}=0;mex{}=0;

对于任意的状态x,定义SG(x)=mex(S),其中S是x所有后继状态的SG 函数值的集合；

SG(x)==0，当且仅当x为必败点时。那么sg(0)==0;

实例：取石子问题

有一堆n个的石子，每次只能去1,3,4个石子，先取完石子的获胜。

SG(0)=0;f[]={1,3,4};

x=1,SG(1)=mex{SG(0)}=1;

x=2,SG(2)=mex{SG(1)}=0;

x=3,SG(3)=mex{SG(0),SG(2)}=1;

x=4,SG(4)=mex{SG(0),SG(1),SG(3)}=2;

x=5,SG(5)=mex{SG(1),SG(2),SG(4)}=mex{1,0,2}=3;

以此类推

x         0 1 2 3 4 5 6 7 8···

SG(x)  0  1 0 1 2 3 2 0 2

单堆的nim游戏的SG函数满足SG(x)=x;

游戏和的SG函数等于各个游戏SG函数的nim和，这样就可以将每个游戏分而治之；

即把原游戏分解成多个独立的子游戏，则原游戏的SG函数值是它的所有子游SG函数值的异或。

SG(g)=SG(g1)^···……SG(gn),SG(g)==0必败态

SG函数的计算：有两种一是打表而是爆搜，爆搜快，但是大多数题目打表就可以

#include <iostream>
#include <cstdio>
#include <queue>
using namespace std;
int f[maxn];//有maxn种不同个数取石子的方法，f存放取石子的种类,比如取1 3 4个
int sg[maxn];//g[i]表示石子数为i时的sg函数值
int s[maxn];//标记一个数是否在mex{}中出现
//打表预处理sg
void getSG()//第一种
{
    memset(sg,0,sizeof(sg))；
    for(int i=1;i<maxn;i++)
    {
        memset(s,0,sizeof(s));
        for(int j=0;j<maxn&&f[j]<=i;j++)
        {
            s[sg[i-f[j]]]=1;
        }
        for(int j=0;;j++)
        {
            if(!s[j])
                sg[i]=j;
            break;
        }
    }
}
void getSG(int n)//第二种就求一个sg,就不需要打表了
{
    memset(sg,0,sizeof(sg))；
    for(int i=1;i<=n;i++)
    {
        memset(s,0,sizeof(s));
        for(int j=0;j<maxn&&f[j]<=i;j++)
        {
            s[sg[i-f[j]]]=1;
        }
        for(int j=0;;j++)
        {
            if(!s[j])
                sg[i]=j;
            break;
        }
    }
}
//dfs预处理sg函数，注意sg数组需要初始化为-1，而上述打表发需要初始化为0
int sg_dfs(int x)
{
    if(sg[x]!=-1)
        return sg[x];
    memset(s,0,sizeof(s));
    for(int i=0;i<m&&f[i]<=x;i++)//m为f的大小
    {
        sg_dfs(x-f[i]);
        s[sg[x-f[i]]]=1;
    }
    for(int i=0;;i++)
    {
        if(!s[i])
        return sg[x]=i;
    }
}