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;
}
}