SG函数

游戏:

(1) 玩家：2人；
(2) 道具：23张扑克牌；
(3) 规则：
游戏双方轮流取牌；
每人每次仅限于取1张、2张或3张牌；
扑克牌取光，则游戏结束；

概念：P点 即必败点，某玩家位于此点，只要对方无失误，则必败；

          N点 即必胜点，某玩家位于此点，只要自己无失误，则必胜。
定理：
    一、所有终结点都是必败点P；
    二、所有一步能走到必败点P的就是N点；

    三、通过一步操作只能到N点的就是P点；

  x  ：0  1  2  3  4  5  6  7  8 9 10。。。
pos：P  N  N N P N  N  N P N  N 。。。
   所以若玩家甲位于N点。只要每次把P点让给对方，则甲必胜；
   反之，若玩家甲位于P点，他每次只能走到N点，而只要乙每次把P点让给甲，甲必败；

游戏的某个位置（x1,x2,x3) x1,x2,x3表示3堆的个数。当且仅当 x1^x2^x3=0时，此点才是必败点P；

结论可以推广到一般情况，即有n堆，(x1,x2,x3,...xn) 当且仅当x1^x2^x3...^xn=0时，此点才是必败点P；

 sg 即Graph Game，把博弈游戏抽象成有向无环图
(1) 有向无环图
(2) 玩家1先移动，起点是x0
(3) 两个玩家轮流移动
(4) 对于顶点x, 玩家能够移动到的顶点集记为F(x).
(5) 不能移动的玩家会输掉游戏
首先定义mex(minimal excludant)运算，这是施加于一个集合的运算，表示最小的不属于这个集合的非负整数。例如mex{0,1,2,4}=3、 mex{2,3,5}=0、mex{}=0。
定义: 一个图的Sprague-Grundy函数(X,F)是定义在X上的非负函数g(x)，并且满足：
       g(x) = mex{g(y) : y∈F(x)}
看到这里先好好理解一下sg值是怎么求的；
如果在取子游戏中每次只能取{1,2,3}，那么各个数的SG值是多少？
x     0 1 2 3 4 5 6 7 8 9 10 11 12 13 14. . .
g(x) 0 1 2 3 0 1 2 3 0 1  2   3   0   1   2. . .
看看这个和上面那个图的规律：
  P-点: 即令 g(x) = 0 的 x 点！
  N-点: 即令 g(x) > 0 的 x 点！

HDU 1848

#include<cstdio>
#include<cstring>
using namespace std;
int Fib[20];
bool vis[20];
int sg[1002];
int main()
{   
     Fib[1]=1;Fib[2]=2;
     for(int i=3;i<20;i++)
     Fib[i]=Fib[i-1]+Fib[i-2];
     for(int i=1;i<=1000;i++)
     {
     memset(vis,0,sizeof(vis));
     for(int j=1;Fib[j]<=i;j++)
      vis[sg[i-Fib[j]]]=true;
     for(int j=0;;j++)
     if(!vis[j]) {sg[i]=j;break;}
     }
       
    int n,m,p;
    while(scanf("%d%d%d",&m,&n,&p),m+n+p)
    {
     if((sg[m]^sg[n]^sg[p])==0) printf("Nacci\n");
     else printf("Fibo\n");
    }   
}