题目描述
欧几里德的两个后代Stan和Ollie正在玩一种数字游戏,这个游戏是他们的祖先欧几里德发明的。给定两个正整数M和N,从Stan开始,从其中较大的一个数,减去较小的数的正整数倍,当然,得到的数不能小于0。然后是Ollie,对刚才得到的数,和M,N中较小的那个数,再进行同样的操作……直到一个人得到了0,他就取得了胜利。下面是他们用(25,7)两个数游戏的过程:
Start:25 7
Stan:11 7
Ollie:4 7
Stan:4 3
Ollie:1 3
Stan:1 0
Stan赢得了游戏的胜利。
现在,假设他们完美地操作,谁会取得胜利呢?
输入输出格式
输入格式:
第一行为测试数据的组数C。下面有C行,每行为一组数据,包含两个正整数M, N。(M, N不超过长整型。)
输出格式:
对每组输入数据输出一行,如果Stan胜利,则输出“Stan wins”;否则输出“Ollie wins”
输入输出样例
225 724 15
Stan winsOllie wins 非常好的博弈题目 一共有两种状态 一种是死磕 只有一种取法 生死听天由命 一种是控制变量 (非死磕状态) 可以将结果变为想要的 (必赢 ) 其严格证明:
假设y=kx+zy=kx+z(z为余数)
如果k>=2k>=2,那么该状态可以转移到(xx,yy-(kk-1)xx)即(xx,xx+zz),而(xx,xx+zz)(z要小于x的,因为z是余数),只能转移到(xx,zz)这一个状态,这个应该很好理解的。而(xx,yy)也可以直接转移到这个状态(yy-kxkx),所以不论(xx,xx+zz)这个状态还是其下一个状态(xx,zz)为必胜状态,(xx,yy)均可到达,所以当k>=2k>=2时,当前操作者必胜。
如果k<2k<2呢?那我们只好转到下一个人操作,我们再尝试在下一个人的状态中判断这个人是否必胜。因为k<2k<2, 所以(xx,yy)只能转到(zz,xx)这个状态。那我们只要递归下去,知道找到必胜状态,返回当前操作者即可。
#includeusing namespace std;//input by bxd#define rep(i,a,b) for(int i=(a);i<=(b);i++)#define repp(i,a,b) for(int i=(a);i>=(b);--i)#define RI(n) scanf("%d",&(n))#define RII(n,m) scanf("%d%d",&n,&m)#define RIII(n,m,k) scanf("%d%d%d",&n,&m,&k)#define RS(s) scanf("%s",s);#define ll long long#define pb push_back#define REP(i,N) for(int i=0;i<(N);i++)#define CLR(A,v) memset(A,v,sizeof A)//#define inf 0x3f3f3f3const int N=500+5;const int M=10*N;int find1(int x,int y,int p){ if(x==y)return p; if(y/x>=2)return p; else return find1(y-x,x,p^1);}int main(){ int n;RI(n); rep(i,1,n) { int a,b;RII(a,b); if(a>b)swap(a,b); if(find1(a,b,0)==0)cout<<"Stan wins"<