博弈论——尼姆博弈

定义

有n堆石子，每堆石子的数量不定，两个人没人从一堆中取任意多的石子，每次最少去一个最多不限，最后没有石子可取的人失败。

分析

若有两堆石子，假设两堆石子数量相同，则对手在一堆取几个，你就可以在另一堆对称取石子，这样先手必败。
如果是三堆相同的呢，如图
我们可以让先手取完一整堆，这样就会给后手创造一个必败态。那么更多呢？

这里先了解一个概念，
异或：
运算符：^
0^0=0;
1^0=1;
0^1=1;
1^1=0;
总结就是相同为0，不同为1；

结论

了解了异或运算后，我们给出结论（大佬推出的神奇结论，记住就好），每堆石子异或运算后结果为0，则是必败态（也结合两堆相同的石子记忆）。为1就是必胜态。