POJ1067

设a、b为两堆石堆的石子数。
仅讨论必败的状态，显然ab。
首先对于石堆a、b和b、a的胜负是相同的，不妨令$a<b$.
可以得到几个显而易见的结论：
1、若 (a, b) 是必败态，则对于所有的 x <> a 和 y <> b，(x, b) 和 (a, y) 是必胜态。
证明：
对于 x > a 和 y > b，不管是哪一种情况，总可以从 x 堆或 y 堆中取出一定量的石子使当前状态变为必败态 (a, b)，则(x, b) 和 (a, y) 为必胜态。
对于 x < a 和 y < b，不管是哪一种情况，如果 (x, b) 或 (a, y) 是必败态的话，由上述可得 (a, b) 是必胜态，矛盾。故 (x, b) 和 (a, y) 均为为必胜态。
2、若 (a, b) 是必败态，则对于所有的 d > 0，(a + d, b + d) 是必胜态。（显然）
3、在所有的必败态中，每个数字恰巧出现一次。（由2显然）
观察（写写画画）可知必败的场面如下：
a b b-a
0 0 0
1 2 1
3 5 2
4 7 3
6 10 4
……
易知ai为之前未出现过的自然数里最小的一个，bi=ai+i；
再观察可知ai=$[i*\frac{\sqrt{5}+1}{2}]$,[]为高斯函数；
证明如下：
引理：
Betty定理：设a、b是正无理数且$\frac{1}{a} +\frac{1}{b} =1$。记P={ [na] | n为任意的正整数}，Q={ [nb] | n 为任意的正整数}，则P∩Q为空集且P∪Q为正整数集合$Z^+$。
简单证明
上述证明中由于a、b为无理数，故ma、nb均不为整数，所以等号无法取到。

接下来，由于数列a、b貌似符合Betty中的P、Q集合的性质。
所以设ai=$[x*i]$，则bi=$[x*i]+i=[(x+1)*i]$.
所以有$\frac{1}{x}+\frac{1}{x+1}=1$,解得$x=\frac{\sqrt{5}+1}{2}$.
所以问题完美解决啦！！！
~撒花~
上代码：

#include <cstdio>
#include <cmath>
#include <algorithm>
using namespace std;
int a,b;
int main()
{
    while (scanf("%d%d",&a,&b)==2)
    {
        if (a>b) swap(a,b);
        int k=b-a;
        int hh=(double)(k)*(sqrt(5)+1.0)/2.0;
        hh+k==b ?puts("0"):puts("1");
    }
    return 0;
}