威佐夫博弈(Wythoff Game):
有两堆各若干个物品,两个人轮流取物品,两种方式:从某一堆取任意多物品或同时从两堆中取同样多的物品,规定每次至少取一个,多者不限,最后取光者得胜。定理的证明与详述在此处点击打开链接;
结论:若两堆物品的初始值为(x,y),并且x<y,则令z=y-x;
记temp=(int)[((sqrt(5.0)+1.0)/2.0)*z ];
若temp=x,则先手败,否则先手胜。
#include<cstdio>
#include<cmath>
#include<iostream>
using namespace std;
int main()
{
int x,y,temp;
while(scanf("%d %d",&x,&y)!=EOF)
{
if(x>y) swap(x,y);
temp=floor((y-x)*(1.0+sqrt(5.0))/2.0);//向下取整,用int也可以;
if(temp==x) printf("后手必胜\n");
else printf("后手必胜\n");
}
return 0;
}