转的 一篇非常好的分析 http://www.stubc.com/thread-3747-1-1.html
A必输的情形形成菲波那契数列。
显然,2和3是A必输的情形。现在,设a和a[i+1]是连续两个A必输的状态,则a[i+2]=a
+a[i+1]也是A必输的状态。因为,根据菲波那契数列的特点,A不能一次取a个以上
(含a个),否则,因为a[i+1]<2*a,B可以一次把剩下的全取完(不超过a[i+1]块)。
剩下的问题就是,B能否在留下a[i+1]块stones的同时,保证A不能一次性拿完剩下的所有
stones。如果成立的话,这就回到了a[i+1]的状态。我们假设,对于a块stones,B可以
保证最后一把不会超过a[i-1](2和3时都成立),而a[i+1](=a+a[i-1])>2*a[i-1]。
这就保证了剩下的a[i+1]块石头不会被A一次取完。注意到这时,B最后一把不会超过a[i+
1],其实也就归纳的证明了刚才的假设。
上述的证明其实也提示了A赢的情况下的策略。这也是一个递归的结果。设有n(n不是菲波
那契数)块stones,离它最近而比它小的菲波那契数是a。A拿掉n-a块后,留下a块给B先拿
,A就赢了。令n=n-a。若n是菲波那契数,则A必须一次性取n块。否则,重复上面过程,直
到n为菲波那契数(包括1)为止。
/*
author:jxy
lang:C/C++
university:China,Xidian University
**If you need to reprint,please indicate the source**
*/
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <algorithm>
using namespace std;
int fib[45];
int is_that(int re)
{
int i=0;
while(fib[i]<re)i++;
if(fib[i]==re)return re;
else return is_that(re-fib[i-1]);
}
int main()
{
int i;
fib[0]=1;fib[1]=1;
for(i=2;i<45;i++)
fib[i]=fib[i-1]+fib[i-2];
int n;
while(~scanf("%d",&n))
{
i=0;
while(fib[i]<n)i++;
if(fib[i]==n)puts("lose");
else printf("%d\n",is_that(n-fib[i-1]));
}
}