威佐夫博弈--hdu2177

威佐夫博弈（Wythoff's game）：有两堆各若干个物品，两个人轮流从任一堆取至少一个或同时从两堆中取同样多的物品，规定每次至少取一个，多者不限，最后取光者得胜。

这种情况下是颇为复杂的。我们用（a[k]，b[k]）（a[k] ≤ b[k] ,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）。（注：k表示奇异局势的序号， 第一个奇异局势k=0）

可以看出,a[0]=b[0]=0,a[k]是未在前面出现过的最小自然数,而 b[k]= a[k] + k。

奇异局势的性质： 

1。任何自然数都包含在一个且仅有一个奇异局势中。

由于a[k]是未在前面出现过的最小自然数，所以有a[k] > a[k-1] ，而 b[k]= a[k] + k > a[k-1] + k > a[k-1] + k - 1 = b[k-1] > a[k-1] 。所以性质1成立。

2。任意操作都可将奇异局势变为非奇异局势。

事实上，若只改变奇异局势（a[k]，b[k]）的某一个分量，那么另一个分量不可能在其他奇异局势中，所以必然是非奇异局势。如果使（a[k]，b[k]）的两个分量同时减少，则由于其差不变，且不可能是其他奇异局势的差，因此也是非奇异局势。

3。采用适当的方法，可以将非奇异局势变为奇异局势。-----------在代码中有此性质的实现过程

假设面对的局势是（a,b），若 b = a，则同时从两堆中取走 a 个物体，就变为了奇异局势（0，0）；如果a = a[k] ，b > b[k] 那么，取走b - b[k]个物体，即变为奇异局势；如果 a = a[k] ， b < b[k] 则同时从两堆中拿走a-a[b-a]（注：这里b-a是a的下标， 不是a*(b-a)） 个物体变为奇异局势（ a[b-a], b-a+a[b-a]）；如果a > a[k] ，b= a[k] + k 则从第一堆中拿走多余的数量a - a[k] 即可；如果a < a[k] ，b= b[k],分两种情况，第一种，a=a[n] （n< k）从第二堆里面拿走 b - b[n] 即可；第二种，a=b[n] （n < k）从第二堆里面拿走 b - a[n] 即可。

注意：此题的b>=a,无需判断啦

#include<stdio.h>
#include<iostream>
#include<algorithm>
#include<string.h>
#include<vector>
#include<cmath>
#include<string>
#include<map>
#include<queue>
using namespace std;
typedef long long ll;
//威佐夫博弈
const double p=(1.0+sqrt(5))/2; 
//非奇异局势转化为奇异局势的过程 
void find(ll a,ll b){
	//(ak,bk)即为奇异局势 
	ll ak=(b-a)*p;
	ll bk=ak+(b-a);
	//先判断同时取的情况，即为a>ak，两边同时减去a-ak，a变为ak，b变为bk(b-(a-ak))； 
	if(ak<a)
	cout<<ak<<" "<<bk<<endl;
	//a==ak的情况肯定是奇异局面了
	//下面就是只取其中一堆的情况
	//既然a不是奇异局面的左元，肯定就可以作为右元(奇异局面包含了所有的数，且仅包含一次)
	//这样就找以a为右元的左元，且肯定能找到 
	for(ll i=0;(ll)(i*p+i)<=a;i++){
		if((ll)(i*p+i)==a){//找到 
			ak=i*p;//建立新的左元 
			break;
		}
	}
	cout<<ak<<" "<<a<<endl;
}


int main(){
	ll a,b;
	while(cin>>a>>b&&(a||b)){
		ll ak=(b-a)*p;
		if(ak==a){//a==ak的情况必败了 
			cout<<0<<endl;
		}
		else{
			cout<<1<<endl;
			find(a,b);//非奇异局面转化为奇异局面 
		}
	}
return 0;
}