斐波那契博弈

一堆石子有n颗。第一个人第一次至少取1颗，最多取n-1颗。至此后，每个人取的石子数不能超过对手前一次所取的石子数的2倍。
先手胜当且仅当n不是Fibonacci数。换句话说，必败态构成Fibonacci数列。

原因：
齐肯多夫(Zeckendorf)定理：每个正整数可以唯一地表示成不相邻的Fibonacci数之和的形式。
将一个非斐波那契数可以分解成一堆不相邻的斐波那契数之和，如：83 = 55+21+5+2；由于不相邻的斐波那契（如a,b,(a>b))那么a>2b，所以先手先取掉最小的那个斐波那契数（2），那么后手一定不能一次取到分解的第二个斐波那契数（5>2*2=4,∴对手不能取到5）那么你总是能取到分解的斐波那契数的最后一个（例子中，先手能取到前2个，然后无论对手取多少，先手再次取到5个……）
而斐波那契数列，无论先手取任何数，要么让对手直接取完，要么让对手面临非斐波那契数的情况（即对手必胜），如89，先手先取≥34，对手可一次取完，先手取<34，剩下石子将不可能成为斐波那契数，对手只需要按先前的策略，就可以胜利。