关于Fibonacci博弈的一些学习

关于Fibonacci博弈的一些学习

一道例题

问题

给定$n(n\ge 2)$个石头，游戏双方轮流取至少一个石子，取到最后一个石子的人算赢，但是要满足一下规则：

1. 第一次取不能全部取完所有的石子。

2. 设前一次取的石子数为$m$,这次取的石子的数量不能超过$2m$。

   问先手是否有必胜策略。

分析

当时看到这道题（当时看的还是加强版）的时候第一反应是设计DP。

计$f_{i,j}$为还剩下$i$ 个石头，取的上限为$j$时是否有必胜策略。然后依题意DP或记忆化搜索转移即可。

然而这样显然是不能通过本题的，因为数据范围比较大。

这里引(bai)入(du)一个结论：

如果$n$是一个斐波那契数，那么一定是必败态（与上限无关，只要不能直接全部取完）。

我们来考虑用数学归纳法来证明：

我们设$n=fib_i$。

当$n=2$时，先手只能取一个，后手一定可以取到最后一个，所以必败。

当$n>2$时，我们假设$i \le k$时，结论都成立。那么只要证$i=k+1$时结论成立。

根据Fibonacci数列的定义：$fib_{k+1} = fib_k + fib_{k-1}$ ，我们可以把$fib_{k+1}$堆石子分为$fib_k$和$fib_{k-1}$两堆。

设先手取的石子数为$x$。为了方便起见，我们称数量为$fib_i$的石子为第$i$组。

我们分两种情况来讨论：

1. 若$x<fib_{k-1}$

   那么此时我们就可以先递归到$k-1$ 的时候去考虑，

   因为我们之前假设过$i \le k$ 时都成立，

   所以此时后手肯定可以取到$k-1$的最后一个石子。

   然后此时就剩下了$fib_k$ 堆石子。

   此时只要证明不论在$k-1$那堆里面怎么取，取到$k$那堆时的上限都不会超过$fib_k$。(这样子的话情况就可以变为k堆的情况，由于前面我们的假设所以它就是成立的。)

   我们使用反证法来证明。

   我们先假设存在一种情况使得后手取完$k-1$堆里的最后一个石子之后，先手可以一次性取完$k$堆里的所有石子。

   那么我们设后手在$k-1$里的最后一次取完时的数量为$y$。$y$要满足的条件是$y\ge \frac{fib_k}{2}$ 。

   剩下的那一堆的数量为$fib_{k-1} - y$ 。要使得$y$尽可能地大，前一次取的石子也得尽可能地大，所以我们假设剩下的全取。那么就得满足$y\le 2(fib_{k-1}-y)$ （游戏规则）。

   将上面那个式子拆开：$y \le 2fib_{k-1}-2y$， 移项：$y \le \frac 2 3 fib_{k-1}$ 。

   联立上面的两个不等式：

   $$\begin{cases} y\ge \frac{fib_k}{2} \\y \le \frac 2 3 fib_{k-1} \end{cases}$$

   所以只要证不存在这样的$y$，即$\frac 2 3 fib_{k-1} \lt \frac{fib_k}{2}$ 。

   继续化简：$fib_k\gt \frac 4 3 fib_{k-1}$

   把$fib_k$ 拆掉然后再把$fib_{k-1}$移过去：$fib_{k-2} \gt \frac 1 3 fib_{k-1}$

   上面那个式子可能再用个归纳法什么的应该能证吧。。。由于篇（懒）幅（癌）问（发）题（作）我就不具体证明了。。。（其实大家写几项应该也能看的出来吧）

   假装我们证完了上面那个式子以后，那么原命题也就得证了。

   • 若$x \ge fib_{k-1}$

     那么后手就可以直接取完。考虑证明：

     我们要证的是：$2x \ge fib_k$。

     只要证：$2fib_{k-1} \ge fib_k$ （进行一些放缩）

     只要证：$fib_{k-1} \ge fib_{k-2}$

     $$\because Fibonacci数列是一个递增的数列$$
     $$\therefore fib_{k-1} \ge fib_{k-2}$$

     以上步步可逆，所以原命题得证。

   • 综上所述，当$n$为$Fibonacci$数时，先手处于必败态。

     那么对于不是$Fibonacci$的数呢？我们引入一个定理：

     “Zeckendorf定理”（齐肯多夫定理）：任何正整数可以表示为若干个不连续的Fibonacci数之和。

     具体地来说，就是对于一个不是$Fibonacci$数的数$x$，可以写成

     $$x=fib_{a_1}+fib_{a_2}+...+fib_{a_n} (a_2-a_1\gt1, a_3-a_2 \gt 1, ..., a_n - a_{n-1} \gt 1)$$ 的形式。

     打个比方，$x=28$可以写成$28=21+5+2$的形式。

     所以先手可以先把最小的那一堆全部取掉，

     $$\because a_i - a_{i-1} > 1 (i>1)$$
     $$\therefore fib_{a_i} \gt 2fib_{a_{i-1}}$$

     所以对于每一堆来说都是完全独立的游戏，并且对于后手来说都是必败态。所以先手必胜。

     所以，当$n$为$Fibonacci$数时，先手必败，否则先手必胜。