逻辑题 nim游戏

leetcode292
你和你的朋友，两个人一起玩 Nim 游戏：桌子上有一堆石头，每次你们轮流拿掉 1 - 3 块石头。 拿掉最后一块石头的人就是获胜者。你作为先手。

你们是聪明人，每一步都是最优解。 编写一个函数，来判断你是否可以在给定石头数量的情况下赢得游戏。

如果数据量小的话，可以用dp解决。设每次最多拿k个石头，dp[n]表示剩下n块石头时自己先手能否获胜。
那么自己拿完后对手状态为dp[n-i]
如果dp[n-1],dp[n-2]…dp[n-k]都是True，说明无论自己拿几个石头对手都能获胜，此时dp[n]=false，只要有一种可能为False，dp[n]=True

对于大数据量，提到了一种该类问题的通用解法。对于总量N个石头，每次最多拿k个。如果石头总数N能被k+1整除，那么自己先手一定赢不了。证明如下：
如果N能被K+1整除，设N=m*(k+1)。那么无论这一轮自己拿几颗石头，剩下的石头总量永远在【(m-1)(k+1)+1，(m-1)(k+1)+k】之间（左右闭区间）。也就是说对手一定可以通过拿取把石头总量控制在k+1的整数倍。这样一来，到最后剩下k+1个石头时，无论自己怎么拿石头对手都可以拿完，从而对手获胜。