NIM的证明 简洁详细额

设n堆石子
1 设开始所有石子堆的异或和 的 最高位为i，则会有一堆石子A的第i位 为1
(严格来说是有 奇数个 第i位为1的 ,不然 异或和 的第i位 无法为1)

// xor是 异或的意思

2 设除A外的剩余石子堆的异或和 为x，则可以进行一步操作, 将A 或 x中较大的一个转变为较小的, 从而实现异或和为0
例如, A 为11001 , x 为11100 , 则可以通过拿x中某一堆的一些石子 , 将x变为11001 , 从而A xor x 就为0了(此时x可以看做是10001 xor 01101 两个堆得来的, 那么便可以从01101 中取走101个, 即是 10001 xor 01000 = 11001 )

3 如果现在的异或和为0（这里不能是最后一次, 不然游戏直接结束了,后面的证明就hhhhh了 ），那么进行一步操作后,无论怎样 , 操作后的异或和都不可能为0
举个例子:
11111 xor 11111 xor 11111 xor 11111 = 0
四堆石子现在的异或和为 0
现在无论在哪一堆里取多少个 ,都会让异或和变 非零

4 由2 3步看到：如果 先手的 异或和 不为0，先手可以操作一次 , 让后手的 异或和为0；如果先手异或和为0，那么后手用一步 ,异或和就不为0

5 用特例来看一下胜利条件 ,两堆石子 ,1个1 ,1个 0 , 那么就是在自己拿石子前 ,异或和为 1的时候 ,自己会赢!(拿了石子后就全没了,达成胜利条件)

6 所以说 ，如果先手的情况异或和 不为0，则会一直让后手异或和为0 (先手不为0 ->后手为0 -> 先手不为0 -> 后手为零 -> … )，最后是先手的异或和为1 ,先手赢；反之, 后手赢

7 所以说 ,就看第一步是不是异或和为0