[博弈]SG函数的求法和一些结论 NIM博弈

后继：

按照游戏规则能够达到的下一个状态

SG函数性质：

1.对于组合游戏（n个不相关的游戏并行，例如3堆石子进行取石子游戏），结果的SG值为各个分量的SG异或值

2.y是x的后继,若SG(x)=0,则任意SG(y)!=0,若SG(x)!=0,则存在SG(y)=0（即先手若碰到SG！=0的情况，只要让后手面对的状态SG=0即可）

3.当且仅当SG(x)=0时,局面x是必败态

SG函数求法：

mex表示最小的不属于集合的自然数,如mex{0,1,2,4}=3、mex{2,3,5}=0、mex{}=0

对于有向无环图的每个顶点的SG函数值为:SG(x)=mex{y是x的后继|SG(y)}

NIM博弈(最后走的人赢)：

先手必败当且仅当 SG=0 （取石子游戏中，所有堆大小异或判0）

反NIM博弈(最后走的人输)：

反NIM博弈代码: