阶梯NIM游戏

【前提知识】

平等组合游戏

NIM取子游戏

 

【游戏规则】

阶梯NIM游戏是一个双人游戏。有若干层阶梯，由下至上依次标号为0~n，初始时刻每层阶梯上都可能放有若干石子，之后两个人轮流选择一个当前有石子的阶梯i (i>0)，并取若干石子放入阶梯i-1中，但不可不取，阶梯0的石子不可被移动。当某人无法取石子，即序号大于0的所有阶梯上都没有石子时，此人为负。

 

【胜负情况判定】

用每个阶梯上石子的个数描述一个状态，设g(S)表示状态S中，所有标号为奇数的台阶的xor和。则有：一个状态S是P状态，当且仅当g(S)=0。

证明与NIM取子游戏的证明类似，只需要考察g函数的性质：

1.若S是终止状态（除阶梯0外，所有阶梯上没有石子），则g(S)=0；

2.否则，若g(S)=0，对于任何一个S的后继状态S'，一定有g(S')≠0，若g(S)≠0，则一定存在一个S的后继状态S'，使得g(S')=0。

g函数的性质与NP状态的定义一致，因此上述结论是正确的。