尼姆（Nim）游戏

不用博弈论的概念，通俗地讲一下 尼姆（ Nim）游戏

现有若干堆石子，每堆石子的数量都是有限的，双人进行游戏，每个人在每次行动的时候可以“选择一堆石子并拿走若干颗，不能不拿”，没有石子可拿的人为输。是否有先手必胜的策略？

直接考虑这个问题有点难度，我们还是从最简单的只有两堆石子来讲起吧！

（a）当只有两堆石子，若两堆石子的数目一样多，那么先手必输。因为不管先手选择那一堆拿多少个，后手都可以选择另一堆拿同样多个，最终肯定是后手拿完两堆都空了，先手输。

（b）若两堆石子的数目不是一样多，那么先手必赢。先手只要选择较多石子的那一堆，然后拿走一部分使得两堆石子的数目一样多，就回到上面的（a）状态了，后手必输。

现在有n堆石子，什么情况下先手必赢呢？ 【非常抱歉，之前考虑不周，下面的解法是错误的】

我们来把这个大问题划分成一些小问题，先将n堆石子两两分组，共k = （n+1）/2组（当n为奇数的时候，可以增加一堆石子数目为0的）。

现在两个人要同时玩这k个双堆石子的游戏，现在参与者的选择是先选一组，然后选择其中一堆，然后选择拿走多少个石子。

还是先从最简单的情况说起，假设这k组石子中每组里的两堆的数目都是相等的，那先手必输，因为不管先手选择哪一组，都是上面的（a）状态。即先手选择第i组的一堆中的xi个，则后手就选择第i组的另一堆的xi个（对称的状态）。

假设现在这k组中只有1组石子的数目不相等，其他的k-1组都相等，会出现什么情况？

先手必赢，因为他直接把那堆数目不等的石子变为相等就回到上面的k堆石子中每堆数目都相等的情况了。