公平组合游戏(Impartial Combinatorial Games)
条件:
1.两名选手交替进行操作
2.两名选手局面移动的权力相同
3.当前选手的合法移动集合至于当前的局面有关,与轮到哪名选手操作、以前的任何操作、骰子的点数或者其它什么因素无关
4.如果当前选手的合法移动集合为空,则判此选手负
用状态图来理解就是:将一个游戏中的所有可能出现的状态看作是图的节点,如果一个状态可以一步转移到另一个状态,则这两个状态之间有一条有向边,设初始棋子在任意一节点上,通过有向边两名选手交替移动棋子,直至棋子不能再被移动结束。
例如:n=6,m=3的巴什博弈状态图如下:
以下讨论的是游戏的状态图为有向无环图的情况,即不存在平局
必胜点和必败点的概念:
P点:必败点,换而言之,就是谁处于此位置,则在双方操作正确的情况下必败。
N点: