博弈之SG函数（详解为何异或能够得出结果）

给定一个 有向无环图和一个起始顶点上的一枚棋子，两名选手交替的将这枚棋子沿有向边进行移动，没法移 动者判负。事实上，这个游戏能够认为是全部Impartial Combinatorial Games的抽象模型。 也就是说，任何一个ICG均可以经过把每一个局面当作一个顶点，对每一个局面和它的子局面连一条有向边来抽象成这个“ 有向图游戏”。下 面咱们就在 有向无环图的顶点上定义Sprague-Grund

>>阅读原文<<