斐波纳契博弈：
有一堆个数为n的石子，游戏双方轮流取石子，满足：
1)先手不能在第一次把所有的石子取完；
2)之后每次可以取的石子数介于1到对手刚取的石子数的2倍之间（包含1和对手刚取的石子数的2倍）。
约定取走最后一个石子的人为赢家，求必败态。
证明 FBI数为必败局：
1.对于任意一个FBI数 FBI[K]=FBI[K-1]+FBI[K-2]，我们可以将FBI[K]看成石子数目分别是FBI[K-1],FBI[K-2]的两堆(一定可以这样分，因为FBI[K-1] > FBI[K-2]*2，若先手取的数目大于等于FBI[K-2]，则后手可以一次拿完)
2.将FBI[K-2],FBI[K-1]，再次拆分，无论先手如何取，后手总能取走最后一个石子
证明 非FBI数为必胜局：
1.由齐肯多夫定理知道，任意一个整数，可以被拆分成几个不连续的FBI数相加的形式：n=FBI(ak)+FBI(ak-1)+FBI(ak-2)+……+FBI(a1)
2.因为式子中的FBI数不连续，所以FBI（a） > 2FBI(a-1)
3.先手取走FBI（a1）个石子，那么后手只能在FBI（a1+1）堆中取，且不能一次性取完。依旧是说对于任意一堆，总是先手取走最后一个石子！
#include<stdio.h>
#include<string.h>
#include<stdlib.h>
#include<math.h>
#include<iostream>
#include<algorithm>
#define INF 0x3f3f3f3f
#define MAXSIZE 100005 using namespace std; int fib[MAXSIZE]; int Game(int n)
{
for(int i=;i<=;i++)
{
if(fib[i]==n)
return ;
}
return ;
} int main()
{
int n;
fib[]=;
for(int i=;i<=;i++)
fib[i]=fib[i-]+fib[i-];
while(scanf("%d",&n),n)
{
int op=Game(n);
if(op==)
printf("Second win\n");
else
printf("First win\n");
}
return ;
}