阅读了《由感性认识到理性认识——透析一类搏弈游戏的解答过程》、《解析一类组合游戏》、《组合游戏略述——浅谈SG游戏的若干拓展及变形》这三篇论文，对组合游戏以及SG函数有了更深的理解。这篇文章摘下了这三篇论文的部分重要内容，以及部分我对组合游戏的理解。
一些名词与约定：
- 游戏：这里的游戏指的并不是平时玩的那些游戏（Dota2啥的），而是只一些如Nim取石子之类的“益智”组合游戏。并且，我们关注的不是游戏好不好玩，而是游戏有没有必胜策略。下文详细介绍。
- 状态：用一些数字来表示的游戏进行中的一个局面。
- 必胜状态：存在一种走法走到一个必败状态。
- 必败状态：后继状态都为必胜状态。
- 特别的在组合游戏中一个状态不是必胜状态就是必败状态。
组合游戏是满足以下一些性质的游戏：
- 游戏只有两名参与者。
- 游戏过程中任意时刻有确定的状态。
- 规则规定了任意状态参与者可以到达的状态集合。
- 参与者轮流进行操作。
- 在游戏处于某状态，当前参与者不能进行操作时，游戏结束。此时按照规则决定胜负。
- 无论参与者做出怎样的操作游戏都可以在有限步数内结束（没有平局）。
- 信息对于两位参与者都是公平的透明的。
- 我们还假设参与者都足够聪明，在有必胜策略时一定会走必胜策略。
几个游戏
游戏0：
有一堆石子，甲乙两人轮流取，不能不取，最多取完，当轮到一个人取不了时这个人输。
这个游戏很显然，只要现在有石子，就可以都取完，然后第二次另一个人就没法取。
所以在这个游戏里{0}是必败状态，其他都是必胜状态。
游戏1：
有两堆石子，甲乙两人轮流取，每次只能从其中一堆取，不能不取，最多取完一堆，当轮到一个人取不了时这个人输。
这个游戏相当于两个第一个游戏的“和”。我们可以很轻松的发现，如果两堆的石子个数一样的时候是先手必败的，因为不论先手怎样取石子，后手可以在另一堆中用相同的策略取，知道先手没有可以取的石子。而两堆石子个数不一样的时候是先手必胜的，先手可以拿较多的一堆使得两堆石子一样多。
游戏2：
甲乙两人面对若干堆石子，其中每一堆石子的数目可以任意确定，每一步应取走至少一枚石子，每一步只能从某一堆中取走部分或全部石子，如果谁无法按规则取子，谁就是输家。
这个游戏看起来更复杂了，现在我们要引入一个有力的工具，叫做SG函数和SG定理。
SG函数：
- 一个游戏的终态x的SG(x)=0。
- 其余状态x的SG(x)=min( n|n∈N且n!=SG(F(x)) )
其中F(x)为状态x能转移到的任意一个状态。
- 第二个式子也写作 SG(x)=mex{SG(F(x))}
SG函数的性质：所有SG(x)==0的状态都是必败状态，所有SG(x)!=0的状态都是必胜状态。
SG定理：几个单个的组合游戏组成的游戏状态的SG值为每个单个游戏状态SG值的Xor和。
- 证明见论文。
然后对于游戏0有x个石子时SG(x)=x,所以求以下这些状态的Xor和就可以得到整个状态的SG值。
游戏3：
甲乙双方事先约定一个数m，并且每次取石子的数目不能超过m个，其余规则同游戏2。
设只有一堆且m=3：
SG(0)=0，SG(1)=1,SG(2)=2,SG(3)=3,SG(4)=0,SG(5)=1…
所以SG(x)=x mod (m+1)。
求一下整个状态的SG值就可以判断了。
游戏4：
甲乙两人面对若干排石子，其中每一排石子的数目可以任意确定。两人轮流取走一些石子,每一步必须从某一排中取走两枚石子,并且这两枚石子必须是紧紧挨着的,拿走后这一排就会断裂成两排。如果谁无法按规则取子，谁就是输家。（发挥想象力）
这个题看起来不像前几道题那么裸了。但是与前几道题还是很像，也可以用SG解决。
只是没有那么明显的规律了。需要从SG(0)=0,SG(1)=0,开始枚举可能转移的状态递推计算SG函数，程序实现可以记忆化搜索。
组合游戏还有许多的问题，定理，这里只是最基础的入门，还需要深入学习啊。
人们认识事物的过程中，开始只是看到了各个事物的现象。这就是认识的感性阶段。在这个阶段中，还不能作出合乎逻辑的结论。 随着研究的深入，这些感觉和印象的东西反复了多次，于是在人们的脑子里生起了一个认识过程中的突变，最后产生出合乎逻辑的结论。这就是认识的理性阶段。
“由此及彼、由表及里、去粗取精、去伪存真” ，这才是由感性认识上升到理性认识的关键。(摘)
- 本文缺少一些证明，若需了解详细，请参考原论文。