问题形式
有(n)个位置(1...n),每个位置上有(a_i)个石子。有两个人轮流操作。操作步骤是:挑选(1...n)中任一一个存在石子的位置(i),将至少1个石子移动至(i-1)位置(也就是最后所有石子都堆在在0这个位置)。谁不能操作谁输。求先手必胜还是必败。
结论
问题等价于,求位置为奇数的(a_i)的异或和,若异或和等于0,则先手必败,否则先手必胜。你可能已经注意到这非常像Nim游戏。其实这个游戏恰好等价于:将每个奇数位置的数(x)看成一堆有(x)个石子的石子堆,然后玩Nim游戏。
证明
拿走某一堆石子的一部分,相当于将某个奇位置的石子移动到它左边的偶位置上。
如果大家都只动奇位置的石子,那么这等价于两人在玩Nim游戏。
但如果有人想打破规则呢?
假设Nim游戏先手必胜,那么先手肯定优先玩Nim游戏;如果后手试图破坏局面,将某个偶位置上的若干石子移动到了左边的奇位置i上,那么先手可以将这若干个刚移到i的石子继续移动到i左边的偶位置上,对Nim局面依然没有任何影响,除非后手回头来继续动奇位置的石子,那也只能是输。
那么如果Nim游戏先手必败,也是同理,后手可以用相同的方式迫使先手玩Nim游戏,直到输为止。
因此,奇数位置的石子的相关信息,就直接决定了阶梯(Nim)问题的结果。