nimk游戏的算法与证明

problem:

n堆石子，A,B两人轮流拿，每次可以在1~k堆中取任意多个，取完最后一个的胜利。

---

Solution:

假设第i堆石子的数目为$x_i$
必输局面当且仅当${\sum }_{t\ge 0}{\sum }_{i=1}^n{x}_i⨁2^t\equiv 0(modk+1)$
否则都为必胜局面。

这个东西明显可以通过组合数dp瞎搞。

---

proof:

对于每一个博弈问题其实就是要证明N与P情况和N->P与P->N的转化。

---

$x_i$全0必然是P状态。
反之便是N状态，这是基本定义。

---

对于N->P：
我们考虑将$x_i$转化成二进制。
从最左边一位即最大的t满足${\sum }_{i=1}^n{x}_i⨁2^{}$