[leetcode] nim game

啊哈，开始刷题了，从easy开始。

You are playing the following Nim Game with your friend: There is a heap of stones on the table, each time one of you take turns to remove 1 to 3 stones. The one who removes the last stone will be the winner. You will take the first turn to remove the stones.

Both of you are very clever and have optimal strategies for the game. Write a function to determine whether you can win the game given the number of stones in the heap.

For example, if there are 4 stones in the heap, then you will never win the game: no matter 1, 2, or 3 stones you remove, the last stone will always be removed by your friend.

这道题的数学证明：

翻译自leetcode：

证明碰到4k是输的充分条件：
数学归纳法证明: 第一个碰到石子数为4k => 会输。

1. k = 1:
   $\because$ 无论己方拿走1，2，3个石子，剩余的石子均会被对方下一轮拿完。
   $\therefore$ 命题成立。

2. 假设k = n时，命题同样成立，即第一个碰到4n的人会输掉。
   当k = n+1时，由于无论自己拿走几个石子，下一轮对方均能够拿一定数的石子，使得下下轮时己方剩余的石子数为4n，导致己方输掉。

3. 综上所述，第一个碰到石子数为4k的人会输成立。

证明必要条件：输 => 第一个碰到石子数为4k。
转化为证明这个命题的逆否命题：没有碰到石子为4k => 赢。
没有碰到4k，则碰到的石子数为4k+1, 4k+2, 4k+3。在这几种数目的情况下，我们均可以通过拿1，2，3颗石子，使得对手下一轮石子数为4k，这样对手输。因此逆否命题成立，亦即必要条件成立。
所以第一个碰到石子为4k是输的充要条件

代码中只需判断石子个数是否为4k即可。