威佐夫博弈

威佐夫博奕
如有两堆各若干个物品，两个人轮流从某一堆或同时从两堆中取同样多的物品，规定每次至少取一个，多者不限，最后取光者得胜。
我们用（ak，bk）（ak ≤ bk ,k=0，1，2，…,n)表示两堆物品的数量并称其为局势，如果甲面对（0，0），那么甲已经输了，这种局势我们称为奇异局势。前几个奇异局势是：（0，0）、（1，2）、（3，5）、（4，7）、（6，10）、（8，13）、（9，15）、（11，18）、（12，20）。
可以看出,a0=b0=0,ak是未在前面出现过的最小自然数,而 bk= ak + k。
1.任何自然数都包含在一个且仅有一个奇异局势中。
由于ak是未在前面出现过的最小自然数，所以有a[k] > a[k-1] ，而 bk= a[k] + k > a[k-1] + k > a[k-1] + k - 1 = b[k-1] > a[k-1] 。所以性质1成立。
2.任意操作都可将奇异局势变为非奇异局势。
事实上，若只改变奇异局势（ak，bk）的某一个分量，那么另一个分量不可能在其他奇异局势中，所以必然是非奇异局势。如果使（ak，bk）的两个分量同时减少，则由于其差不变，且不可能是其他奇异局势的差，因此也是非奇异局势。
3.采用适当的方法，可以将非奇异局势变为奇异局势。
假设面对的局势是（a,b），若 b = a，则同时从两堆中取走 a 个物体，就变为了奇异局势（0，0）；如果a = ak ，b > bk 那么，取走b - bk个物体，即变为奇异局势；如果 a = ak ， b < bk 则同时从两堆中拿走a-a[b-a] 个物体变为奇异局势（ a[b-a], b-a+a[b-a]）；如果a > ak ，b= ak + k 则从第一堆中拿走多余的数量a - ak 即可；如果a < ak ，b= ak + k,分两种情况，第一种，a=aj （j < k）从第二堆里面拿走 b - bj 即可；第二种，a=bj （j < k）从第二堆里面拿走 b - aj 即可。
那么如果某个人遇到了这样的状态(0,0)那么也就是说这个人输了。这样的状态我们叫做奇异状态,也可以叫做失败态。如果我面对的是一个奇异状态，而且双方都在去正常步骤，那我是必败的
我是这样理解的：对于（1,2）这个奇异状态，是很容易明白的。现在我假设面对的是另外的一个奇异状态，由性质2无论我采取什么样的操作，这个奇异状态都会而且只能变成一个非奇异状态（因为a[i]是前面的失败态中没有出现过的最小的整数，且每次只能从某一堆或同时从两堆中取同样多的物品）。接着又由性质3 ，因为我的对手是足够聪明的，总能将现在这个非奇异状态变成一个奇异状态，这样循环往复，就会变成（1,2）这个状态，而这个状态下我是必输的。
然而这些非奇异状态是怎么找到的呢？见下：
有限个结点的无回路有向图有唯一的核 中所述的方法寻找必败态。先标出(0,0)，然后划去所有(0,k),(k,0),(k,k)的格点；然后找y=x上方未被划去的格点，标出(1,2)（因为从坐标的角度上讲，无论是让x减少或者y减少，还是x,y同时减小相同长度，都只能得到一个非奇异状态，所以（1,2）是一个奇异状态），然后划去(1,k),(k,2),(1+k,2+k)（因为这几个状态下，都可以将其变为（1,2）必败状态），同时标出对称点(2,1)（必败状态与数字的顺序无关），划去(2,k),(1,k),(2+k,1+k)；然后在未被划去的点中在y=x上方再找出(3,5)。。。按照这样的方法做下去，如果只列出a<=b的必败态的话，前面的一些是(0,0),(1,2),(3,5),(4,7),(6,10),…
所以，得到这样的结论：
两个人如果都采用正确操作，那么面对非奇异局势，先拿者必胜；反之，则后拿者取胜。
那么任给一个局势（a，b），怎样判断它是不是奇异局势呢？我们有如下公式：
ak =[k（1+√5）/2]，bk= ak + k （k=0，1，2，…n 方括号表示取整函数)
奇妙的是其中出现了黄金分割数（1+√5）/2 = 1.618…因此，由ak，bk组成的矩形近似为黄金矩形，由于2/（1+√5）=（√5-1）/2，可以先求出j=[a（√5-1）/2]，若a=[j（1+√5）/2]，那么a = aj，bj = aj + j，若不等于，那么a = aj+1，b = aj + j + 1，若都不是，那么就不是奇异局势。然后再按照上述法则进行，一定会遇到奇异局势。

#include<iostream>
#include<string>
#include<cstring>
#include<cstdio>
#include<cmath>
#include<algorithm>
#define CLR(arr, val) memset(arr, val, sizeof(arr))
using namespace std;

int main()
{
    //freopen("Input.txt", "r", stdin);
    int num1, num2, tmp; //第一堆剩的数量为num1,第二堆剩num2
    while(scanf("%d%d", &num1, &num2) != EOF)
    {
        if(num1 > num2)
            swap(num1, num2); 
        tmp = floor((num2 - num1) * (1 + sqrt(5.0)) / 2.0); //黄金分割
        if(tmp == num1) printf("Lose\n"); //奇异局势必败
        else    printf("Win\n");
    }
    return 0;
}