nim游戏的必胜策略

假设有n堆石子，每堆石子的个数分别如下

a1, a2, a3, ... an

定义nim-sum为a1^a2^a3...an 

可以证明

1. 若a1^a2^a3...an != 0

则经过一次合法的移动之后必定可变成

a1^a2....an = 0

此时留下的局面为必胜。