【洛谷 1290】 欧几里德的游戏 博弈论

对于任意状态（x，y）如果x>=2*y则先手必胜。原因很简单，假设m=x%y，如果（y，m）是必胜状态，则先手只用取到y+m，由于y<y+m<2*y所以一定可行，那么将对手置于必败态，必胜，而如果（y，m）是必败状态，先手只用取到m就好了，还是必胜而如果2*y>x>y只有一种决策，就是取y个，但是时间复杂度已经可以很轻松的承受了

#include<cstdio>
#include<cstring>
#include<iostream>
#define LL unsigned long long
#define sswap(a,b) (a^=b^=a^=b)
using namespace std;
LL n,m,T,pos;
char s[3][20]={"Stan wins","Ollie wins"};

int main(){
	scanf("%llu",&T);
	while(T--){
		scanf("%llu%llu",&n,&m);
		if(n<m)sswap(n,m);
		int pos=1;
		while(m>0){
			pos^=1;
			if(n>=m*2)break;
			n-=m;
			sswap(n,m);
		}
		printf("%s\n",s[pos]);
	}
	return 0;
}