SG函数的基本理解

今天准备给大一讲关于博弈的知识，又看了看SG函数，又有了新的理解。

• SG函数

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

然后我们来玩一个游戏：最基本的吧，取石子游戏（巴什博弈）。

一堆石子，两个人取，先取完者胜，可以一次取1个，2个或者3个，下面的过程就是求sg函数的值了：

sg[0]=0，f[]={1,2,3},

0    sg[0]=0

k

1    1-{1}          {0}              mex(sg[0])                    sg[1]=1

2    2-{1,2}       {0,1}            mex(sg[0],sg[1])             sg[2]=2

3    3-{1,2,3}    {0,1,2}         mex(sg[0],sg[1],sg[2])      sg[3]=3

4    4-{1,2,3}    {1,2,3}         mex(sg[1],sg[2],sg[3])      sg[4]=0

......

会发现：

n	0	1	2	3	4	5	6	7
sg[n]	0	1	2	3	0	1	2	3

可以发现：当sg[n]==0的时候  n就是其必败态。

这个规律试用于一切三种基本博弈的变形。

比如我们现在把巴什博弈改编一下：可以去1个，3个或者4个

sg[0]=0，f[]={1,3,4},

x=1时，可以取走1-f{1}个石子，剩余{0}个，mex{sg[0]}={0}，故sg[1]=1;

x=2时，可以取走2-f{1}个石子，剩余{1}个，mex{sg[1]}={1}，故sg[2]=0；

x=3时，可以取走3-f{1,3}个石子，剩余{2,0}个，mex{sg[2],sg[0]}={0,0}，故sg[3]=1;

x=4时，可以取走4-f{1,3,4}个石子，剩余{3,1,0}个，mex{sg[3],sg[1],sg[0]}={1,1,0},故sg[4]=2;

x=5时，可以取走5-f{1,3,4}个石子，剩余{4,2,1}个，mex{sg[4],sg[2],sg[1]}={2,0,1},故sg[5]=3；

以此类推.....

n	0	1	2	3	4	5	6	7
sg[n]	0	1	0	1	2	3	2	0

f(存储可以走的步数，f[0]表示可以有多少种走法)

f[]需要从小到大排序

1.可选步数为1~m的连续整数，直接取模即可，SG(x) = x % (m+1);

2.可选步数为任意步，SG(x) = x;

3.可选步数为一系列不连续的数，用GetSG()计算

下面给出一个求ｓｇ函数的打表法：即GetSG（）函数

//f[]：可以取走的石子个数
//sg[]:0~n的SG函数值
//hash[]:mex{}
/*
计算从1-n范围内的SG值。
f(存储可以走的步数，f[0]表示可以有多少种走法)
f[]需要从小到大排序
1.可选步数为1~m的连续整数，直接取模即可，SG(x) = x % (m+1);
2.可选步数为任意步，SG(x) = x;
3.可选步数为一系列不连续的数，用GetSG()计算
模板1如下（SG打表）：
*/

#include<iostream>
#include<stdio.h>
#include<cstring>
#define N 11
using namespace std;
int f[N],sg[N],hash[N];
void getSG(int n)
{
    int i,j;
    memset(sg,0,sizeof(sg));
    for(i=1; i<=n; i++)
    {
        memset(hash,0,sizeof(hash));

        for(j=1; f[j]<=i; j++)
        {hash[sg[i-f[j]]]=1;}
        cout<<endl;
        cout<<endl;

        for(j=0; j<=n; j++)  //求mes{}中未出现的最小的非负整数
            if(hash[j]==0)
            {sg[i]=j;break;}
    }
}

int main ()
{
    int n,m;
    scanf("%d",&n);
    scanf("%d",&m);//给可选步数赋值
    for(int i=1;i<=n;i++)  f[i]=100;
    for(int i=1; i<=m; i++)
    {
        scanf("%d",&f[i]);
    }
    sg[0]=0;
    getSG(n);
    for(int i=0; i<n; i++)    printf("%d ",sg[i]);
}