SG函数

阅读本篇，先看这篇，里面介绍了博弈论的几种模型，并引出了SG函数，学生写的，非常好。本篇首先引用了上篇的核心内容，然后对SG函数的应用做说明。

四种基本的博弈模型：

1.巴什博弈

定义： 一堆$n$个物品，两个人轮流从中取出不多于$m$个，最后取光者胜，不能继续取的人输。

结论： 若$n\mathrm{m}\mathrm{o}\mathrm{d}(m+1)!=0$，则先手必胜；反之，先手必输。

2.尼姆博弈

定义： $n$堆物品，每堆物品的个数任意，两人轮流取，每次取某堆中不少于1个，最后取完者胜。

结论： 将每堆物品的数量全部异或起来，若值为0，则先手必败，否则先手必胜。

3.斐波那契博弈

有一堆个数为$n$的石子，游戏双方轮流取石子，满足：

1)先手不能在第一次把所有的石子取完；

2)之后每次可以取的石子数介于1到对手刚取的石子数的2倍之间（包含1和对手刚取的石子数的2倍）。

约定取走最后一个石子的人为赢家，求必败态。

结论： 当且仅当n不是斐波那契数时，先手胜。

4.威佐夫博弈

定义： 有两堆物品，数量分别为$a$个和$b$个，两人轮流取物，每次可以从一堆中取出任意个，也可以从两堆中取出相同数量的物品，每次至少要取一个，最后取完所有物品的人获胜。

结论：若$abs(a-b)\ast \frac{\sqrt{5}+1}{2}==min(a,b)$ 成立，则后手获胜，否则先手胜。其中$\frac{\sqrt{5}+1}{2}$为黄金分割比，约等于1.618。

题目：

1.P2197 【模板】nim游戏

2.P2252 [SHOI2002]取石子游戏|【模板】威佐夫博弈

3.P5652 基础博弈练习题

SG函数的应用

以上四种模型都是公平组合游戏模型，任何公平组合游戏模型都可以转化为有向图游戏模型，有向图游戏模型可以转化为SG函数进行计算。

首先定义一个mex函数，mex函数就是求集合中未出现的最小的非负整数。例如mex{0,1,2,4}=3，mex{2,3,5}=0，mex{}=0。

对于一个给定的有向无环图，定义关于图的每个顶点的SG函数如下(yi是x的后继) ：

$$SG(x)=mex(SG(y1),SG(y2),\dots ,SG(yk))$$

特别地，整个有向图G的SG值被定义为有向图起点s的SG值即$SG(G)=SG(s)$。

有向图游戏的和

设$G_1,G_2,...,G_m$是$m$个有向图游戏。定义有向图游戏$G$，它的行动规则是任选某个有向图游戏$G_i$，并在$G_i$上行动一步。$G$被称为有向图游戏$G_1,G_2,...,G_m$的和。

有向图游戏的和的SG函数值等于它所包含的各个子游戏SG值的异或和，即
$$SG(G)=SG(G_1)xorSG(G_2)xor...SG(G_m)$$

而终点也就是游戏结束局面的$SG(x)=0$。

定理：

有向图游戏的某个局面必胜，当且仅当该局面对应节点的SG函数值大于0

有向图游戏的某个局面必败，当且仅当该局面对应节点的SG函数值等于0

下面用一道例题加深对SG函数的理解：

例题：1堆石子，有$n$个，每次只能取{1，3，4}个石子，先取完石子者胜利，那么各个局面的SG值为多少？

解析：我们用当前还剩余的石子数表示局面，$n$表示还有$n$个石子，即最初的状态，0表示都取完了，即终态，也是必败态。SG(x)表示此时还剩x个石子的SG函数。

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

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

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

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

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

以此类推…

$x$ 0 1 2 3 4 5 6 7 8…

sg[x] 0 1 0 1 2 3 2 0 1…

可以按照上述方法计算1~n的SG值。如果$SG(n)>0$，则先手必胜；如果$SG(n)=0$，则先手必败。

用f[]存储可以走的步数，t表示可以选择的方案，比如上述例题中，$t=3$。

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

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

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

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

重要：

以上是单个有向图游戏。但如果是多个有向图游戏，比如尼姆博弈，有n堆石子，可以分别求出每堆的SG函数，然后求异或和即可。

下面两道例题可以先学习下：
1.斐波那契游戏

2.英语四级考试好运！

题目：
1.P4101 [HEOI2014]人人尽说江南好

2.P2594 [ZJOI2009]染色游戏

3.P5675 [GZOI2017]取石子游戏

4.P3210 [HNOI2010]取石头游戏

5.235. 魔法珠

6.236. 格鲁吉亚和鲍勃