【前提知识】
平等组合游戏
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状态的定义一致,因此上述结论是正确的。