ACM中的博弈论入门（七） NIM的证明

额，这是我个人折腾的证明……

要证明：

————————————————————————

A1^A2^A3^A4……^An==k

k!=0

必然存在一个 A【i】

可以调整A【i】使得 A1^A2……^A【i】^……^An==0

————————————————————————

那么，方法是

【针对二进制，从高位向低位，找到第一个存在奇数个1的位置，所有的位置是1的，都可以作为用来调整的A【i】 】

譬如 数

1 0 0 1 9

1 1 1 1  15

1 1 1 0 14

1 0 1 0 10

位    4 3 2 1

对第二位 取其中一个 带【1】的

则其余各位的【1】有偶数个

前面的不变

则数视为

0 1   1

1 1   3

1 0   2

1 0   2

对某个含【1】的 B

则其余的Bx,By,Bz，他们^后的值，必然是小于  2^2的，

那么这个B，因为大于等于2^2，必然可以调整成与之相同

所以亦或为0