把游戏中每个局面当成有向图的一个节点。
每个节点给他个SG函数值。
(vj是i指向的点,即i局面可达的局面)
对于最终状态SG(e)==0即最后行动的人输,(比如取石子,没有石子的状态就是SG(e))
如果SG(i)不等于0,说明i可达的状态中有SG(vj)等于0的情况,则我们这一手直接取到这个状态,那么必胜。
否则,说明走向的状态全是必胜态,则当前局面必败。
多个游戏用异或和为0判断是否必败。
证明与NIM博弈类似:
每个游戏的初态可达的状态的SG函数值范围是 1 - SG(s)
相当于任取石子了。然后就是异或和为0是必败态,保持必败态给对手即可。
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define ls (o<<1)
#define rs (o<<1|1)
#define pb push_back
const double PI= acos(-1.0);
const int M = 1e3+7;
/*
int head[M],cnt;
void init(){cnt=0,memset(head,-1,sizeof(head));}
struct EDGE{int to,nxt,val;}ee[M*2];
void add(int x,int y){ee[++cnt].nxt=head[x],ee[cnt].to=y,head[x]=cnt;}
*/
int sg[M],f[20],vs[20];
void pre()
{
int n=1000;
sg[0]=0,f[0]=1,f[1]=1;
for(int i=2;i<=20;i++)f[i]=f[i-1]+f[i-2];
for(int i=1;i<=n;i++)
{
memset(vs,0,sizeof(vs));
for(int j=0;f[j]<=i&&j<=20;j++)
vs[sg[i-f[j]]]=1;
for(int j=0;;j++)
if(!vs[j])
{
sg[i]=j;
break;
}
}
}
int main()
{
int n,m,k;
pre();
while(scanf("%d%d%d",&m,&n,&k),m||n||k)
{
if((sg[n]^sg[m]^sg[k])==0) printf("Nacci\n");
else printf("Fibo\n");
}
return 0;
}