POJ1067 取石子游戏（Betty定理）

传送门

【题目分析】

根据题意打个表，可以知道前几个必败点：(0,0),(1,2),(3,5),(4,7)......

观察一下可以发现，第一项为前面没出现的最小自然数，即mex，第二项为前一项+i（将(1,2)视为第一项），所以可以猜想，所有必败点的形式就是，下面给出证明：

1.首先可以知道，对于一个必败点(a,b)，那么对于所有(k,b)(a,k)(k,a)(b,k)都是必胜状态（因为一定可以转移到必败点）

2.根据1可以推断出，每个数只会在一个必败点出现。

现在假设形如为必胜点，那么需证明其转移到的均为必败点：

1.减小，那么一定在之前出现过，那么根据上方的1可以得到这是一个必胜点。

2.减小为，首先一定不会选择将两堆拿成一样的，如果，那么根据1可以得到是必胜点，反之的值在之前出现过，那么根据1可以得出这是一个必胜态。

所以根据上面这两个结论就可以推出必败态通式：，其中为之前未出现过的最小自然数。

但这题数据规模决定了没法打表，所以引进Betty定理：（无脑宣传博客啦啦啦）

由Betty定理，我们需要找到一个两个无理数A满足 ，这个形式是不是就很好看了？直接上Betty定理：

解出来

所以对于每组数据a,b，直接判断b-a（即i）乘上A向下取整是否为a就行了。

【代码~】

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cmath>
using namespace std;

int a,b;
int main(){
	while(scanf("%d%d",&a,&b)!=EOF){
		if(a>b)
		  swap(a,b);
		if(floor((b-a)*(sqrt(5.0)+1.0)/2.0)==a)   //注意sqrt里面要为long double。。5的话还不给过。。。
		  puts("0");
		else
		  puts("1");
	}
	return 0;
}