Nim博弈变形(anti-nim)

这种题与以往的博弈题的胜负条件不同，谁先走完最后一步谁输，但他也是一类Nim游戏，即为anti-nim游戏。

首先给出结论：先手胜当且仅当 ①所有堆石子数都为1且游戏的SG值为0（即有偶数个孤单堆-每堆只有1个石子数）；②存在某堆石子数大于1且游戏的SG值不为0.

证明：

若所有堆都为1且SG值为0，则共有偶数堆石子，故先手胜。 
i)只有一堆石子数大于1时，我们总可以对该石子操作，使操作后堆数为奇数且所有堆的石子数均为1； 

ii)有超过一堆的石子数1时，先手将SG值变为0即可，且总还存在某堆石子数大于1 

因为先手胜。

---

此题用到的概念：

【定义1】：若一堆中仅有一个石子，则被称为孤单堆。若大于1个，则称为充裕堆。

【定义2】：T态中，若充裕堆的堆数大于等于2，则称为完全利他态，用T2表示；若充裕堆的堆数等于0，则称为部分利他态。用T0表示。

孤单堆的根数异或智慧影响二进制的最后以为，但充裕堆会影响高位（非最后一位）。一个充裕堆，高位必有一位不为0，则所有根数异或不为0。故不会是T态。

【定理1】：S0态，即仅有奇数个孤单堆，必败。T0态必胜。

证明：S0态，其实就是每次只能取一根。每次第奇数根都由自己取，第偶数根都由对方取，所以最后一根必由自己取。所以必败。同理：T0态必胜。

【定理2】：S1态，只要方法正确，必胜。

证明