巴什博弈的证明

结论：如果n%（m+1）==0  先手必败 。

                  n%（m+1）！=0 为先手必胜。

 

为什么？

假设石子数为n个 ，能取的区间为1到m

1.如果它能被（m+1）整除，那么假设你先手 取p个，那么对手总能取m+1-p 个（因为1<=p<=m，那么 1<=(m+1-p)<=m 也满足对手所取数量的条件限制），这样不断循环下去，最后拿到石头的一定是对手。

2.如果它不能被（m+1）整除，那么你一定可以拿走那个余数k（k=n%(m+1)） 这样对手就相当于面对了 n%（m+1）的局面，也就是1的情况。