博弈论——威佐夫博弈 Wythoff Game

题目描述：取石子游戏
有两堆石子，石子数可以不同。两人轮流取石子，每次可以在一堆中取，或者从两堆中取走相同个数的石子，数量不限，取走最后一个石头的人获胜。判定先手是否必胜。

引入(1+5^(1/2))/2，曾经可能是有一次高考考到的“维纳斯”利用的是黄金分割0.618，我想很多人应该也不陌生了，黄金分割数是一个无理数，其值为(1+5^(1/2))/2。

记得上一次在程序中体现这两个数，还是在推导出斐波那契数列的通项公式以后学会的O(1)算法（请看下文）：
斐波那契数列O(1)算法

而这题则是威佐夫博弈，其结论如下（推理实在是太麻烦，废了好大劲才搞懂，当时全国数学竞赛学了Beatty定理，也算是排上用场，但是还是很难表述）：
假设这两堆的数量分别为a，b（a<b），则：
若(b-a)*(1+5^(1/2))=a，先手必败；否则先手必胜。

代码如下：

#include<bits/stdc++.h>
using namespace std;
#define Swap(a,b){int temp=a;a=b;b=temp;}
int main(){
	int a,b;cin>>a>>b;
	if(a>b)Swap(a,b);
	int ans=(b-a)*((1.0+sqrt(5))/2.0);
	if(ans==a)cout<<"先手必败"<<endl;
	else cout<<"先手必胜"<<endl;
}