N银币 + 1金币的问题

原题：（同学面试面来的题），如果有 20 个银币，和 1个金币，有A和B两人轮流按照如下规则来取：A先B后，每人每次只能取 1~4 枚，银币取完了后才能取金币，最后取到金币的人赢，问A第一次取多少可以保证稳赢。

答案是：A第一次取4枚稳赢。

实验室的博士大哥试图用群论的理论给我说明，但是无奈在下在数学&理论的海洋边上走了很多年，一直没湿过膝盖，水平太浅，所以没能明白。我自己思考后，想到了一个求此类问题的判别式/通解：

a + (Min + Max) * n + 1 = total.  // a 为A第一次取的数量，Min,Max为可取值的范围，1~4 则 Min~Max, Min = 1, Max = 4，n是一个无关的常数，total在这里是20.

所以在这里： a + 5*n + 1 = 20 的解a 就是A第一次拿去的值。

判别式意义：对于上式，如果存在一个 a ∈[Min, Max]，则 第一个取/行动 的人必能赢，否则若不在，即 a = 0，则后取/行动的人必赢，即第一个人必输。

求出问题的解：即在存在有效 a 的情况下，求解a的值。

为什么？

>>> 原问题转化就是：如何让 B 取到最后一个银币？所以前20个银币的取/行动过程抽象就是 A B A B ....A B。 突出问题的重点，就是 A （B A....B A )  B。 B取最后 1 个，A取 a 个，则变成 a + ........ + 1 = 20。中间的值怎么办。。。如果你不想求，那就不要求，让中间这些值变得和最后的问题没有任何关系就好了。也就是如何让中间这 n 多个 B A对的取值的和与最后的结果无关。如果中间的那 n 多个B A 对的值为常数，那就与结果无关了。n 多个 B A 对的值为常数，则 B+A 的值应该为常数。如何办到？ B的取值 1~4，A无法控制B的取值，但是A可以让B+A为常量。B，A的取值范围都为 1~4，其和 C 的取值范围为 2~8，让 A+B = 常量的 C的取值只有一个，即C=5。所以在Ａ无法控制Ｂ取值的情况下，Ａ只要保证中间的过程中，取值是５－Ｂ，就可以让整个中间过程变成一个固定的常量。于是取/行动的过程就变成了 a + 常量 + 1 = a + 5*n + 1 = 20。所以上面的判别式/通解式成立。

其他：

>>>用上式可以证明， 对于N银币+1金币，当N=6,11,16,21....时，A必输，当然B要有和Ａ一样要赢的意愿。

对于其他类似问题，适当变形上面的式子即可。