给自己看的NIM

看了下nim，写点东西记录下别以后又忘了
NIM :
通常的Nim游戏的定义是这样的：有若干堆石子，每堆石子的数量都是有限的，合法的移动是“选择一堆石子并拿走若干颗（不能不拿）”，如果轮到某个人时所有的石子堆都已经被拿空了，则判负（因为他此刻没有任何合法的移动）。（百度百科）

先讨论单堆..
sg(x)=mex(sg(y)|x->y)
mex就是该集合的补集的最小自然数，例如mex(0,1,3)=2,mex(1,2,3)=0
x->y，表示从x的状态转移到y状态
先对终止条件设为0 例如sg(0)=0，sg为0表示必败态(后手必胜)，其余为必胜态
假如sg(t)=mex(1，2，3)，说明t这个状态怎么操作状态都只会转至(1,2,3)其中之一的必胜态，说明当前为必败态。

BB多堆的情况
多堆的话，网上的结论证明很好懂…
SG(a1,a2,…an)=SG(a1) xor SG(a2) xor … xor SG(an) =k
如果k==0 说明反手必胜，则这个游戏能进行偶数次
修改其中一个ai，则sg(ai)可能增加或者减小( sg(6)=mex(0,2,3)=1 )
则a1—an中有必存在一个aj通过减少sg(aj)使SG(a1,a2,…an)=0，这个证明可以看百度百科=_=
举个例
sg(a1)=mex(0,2,4)=1,sg(a2)=2,sg(a3)=3
修改a1使sg(a1)=4 (==mex(0,1,2,3))
则可以重新修改sg(a1)=1 （说明mex可以使sg减小=_=，如果sg不能减小则不能使k为0）
这样k又恢复成0了
显然这样的操作次数是偶数次…(0->非0->0->非0->0->….->0，变换次数时偶数次)
所以这样就反手必胜了(吧)

结论
推出单堆的sg，然后对n堆的sg全部异或起来（吧）
bb完了…不知道对不对…方便自己理解吧
但我对mex的具体作用还是不怎么清晰
放个链接
nim游戏与sg函数–博弈论小结
百度百科的证明