博弈论——sg函数

任何一个大学生对菲波那契数列(Fibonacci numbers)应该都不会陌生，它是这样定义的：
F(1)=1;
F(2)=2;
F(n)=F(n-1)+F(n-2)(n>=3);
所以，1,2,3,5,8,13……就是菲波那契数列。
在HDOJ上有不少相关的题目，比如1005 Fibonacci again就是曾经的浙江省赛题。
今天，又一个关于Fibonacci的题目出现了，它是一个小游戏，定义如下：
1、 这是一个二人游戏;
2、 一共有3堆石子，数量分别是m, n, p个；
3、 两人轮流走;
4、 每走一步可以选择任意一堆石子，然后取走f个；
5、 f只能是菲波那契数列中的元素（即每次只能取1，2，3，5，8…等数量）；
6、 最先取光所有石子的人为胜者；

假设双方都使用最优策略，请判断先手的人会赢还是后手的人会赢。
Input
输入数据包含多个测试用例，每个测试用例占一行，包含3个整数m,n,p（1<=m,n,p<=1000）。
m=n=p=0则表示输入结束。
Output
如果先手的人能赢，请输出“Fibo”，否则请输出“Nacci”，每个实例的输出占一行。
Sample Input
1 1 1
1 4 1
0 0 0
Sample Output
Fibo
Nacci
题目的大意是取石子，每次取的数量只能是斐波那契数列里面的值。问是先手赢还是后手赢，主要运用了sg函数
游戏和的SG函数等于各个游戏SG函数的Nim和。这样就可以将每一个子游戏分而治之，从而简化了问题。而Bouton定理就是Sprague-Grundy定理在Nim游戏中的直接应用，因为单堆的Nim游戏 SG函数满足 SG(x) = x。
例如mex{0,1,2,4}=3、mex{2,3,5}=0、mex{}=0。
对于任意状态 x ， 定义 SG(x) = mex(S),其中 S 是 x 后继状态的SG函数值的集合。如 x 有三个后继状态分别为 S G ( a ) , S G ( b ) , S G ( c ) ，那么
SG(x)=mex{SG(Sg(a,SG(b),SG© } 这样 集合S 的终态必然是空集，所以SG函数的终态为 S G ( x ) = 0,当且仅当 x 为必败点P时。

#include<stdio.h>
#include<string.h>
#include<algorithm>
using namespace std;
int n,m,k,f[100],sg[2000],h[2000];
void init()
{
    f[1]=1;
    f[2]=1;
    for(int i=3;i<=50;i++)
        f[i]=f[i-1]+f[i-2];
}
void getsg()
{
    sg[0]=0;
    for(int i=1;i<=1000;i++)
    {
        memset(h,0,sizeof(h));
        for(int j=1;f[j]<=i;j++)
            h[sg[i-f[j]]]=1;
        for(int j=0;j<=i;j++)
            if(!h[j])
        {
            sg[i]=j;
            break;
        }
    }
}
int main()
{
    init();
    getsg();
    while(~scanf("%d%d%d",&n,&m,&k))
    {
        if(n==0&&m==0&&k==0)
            break;
        if(sg[n]^sg[m]^sg[k])
            printf("Fibo\n");
        else
            printf("Nacci\n");
    }
    return 0;
}