欧几里德的游戏

题目描述

  欧几里德的两个后代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”

样例输入
2
25 7
24 15

样例输出
Stan wins
Ollie wins

过程分析¹

实验举例

1）在完美操作下，每个人都想让自己赢。
2）题目中说的是减去正整数倍，那么减去的倍数不同，最终赢的人也不同。那么最终赢的人跟减去的倍数有没有关系呢?以样例 25 7为例

状态	方案1	方案2	方案3
	25 7	25  7	25 7
Stan	18 7	11 7	4 7
Ollie	11 7 或 4 7	4 7	4 3
Stan	4 7 或 4 3	3 4	1 3
Ollie	4 3 或 1 3	3 1	1 0
Stan	1 3 或 1 0	0 1	Ollie获胜
Ollie	1 0 或 Stan获胜	Stan获胜	Ollie获胜
Stan	Ollie获胜 或 Stan获胜	Stan获胜	Ollie获胜

标黄色的地方表示选择方法有大于等于2种
  从上表中的结果可以看出，当每次减的倍数大一倍时，赢得步骤会比上一次靠前一步，赢得人会跟上一个人不一样。
  同时可以深入推测，奇数倍和奇数倍的结果一样，偶数倍和偶数倍的结果一样。

总体思路

  所以我们可以推出，若到了某一步，这个人减数的方案有大于等于2种，那么在完美操作下就是这个人赢。因为它减奇数倍若输，那么减偶数倍就能赢，反之也成立。也就是说他总能找到一种方，再给对方赢得机会前自己赢。

什么是赢得机会？
  如果较大的数只能减去较小的数的一倍，那么这个人有且只有一种选择方案，他不能左右自己赢还是输。如果较大的数能减去较小的数大于等于2倍，由上面得出，他就可以先决定自己赢还是输。注意是先决定。

解题关键

所以本题的答案是：
  1、设m，n为输入数据且m>n，第一个满足条件m-n>n的步骤所对应的人为胜利者
  2、m%n==0时的步骤所对应的人为胜利者。

实验代码

flag = 0
def dfs(a, b, s):
    if a > b:
        a = a^b
        b = a^b
        a = a^b
    if b % a == 0 or b - a > a:
        global flag
        flag = s
        return
    dfs(a, b-a, (s+1) % 2)

if __name__ == '__main__':
    total = int(input())

    for i in range(total):
        a, b = map(int, input().split())
        dfs(a, b, 1)
        if flag == 1:
            print("Stan wins")
        if flag == 0:
            print("Ollie wins")

---

1. https://www.cnblogs.com/TheRoadToTheGold/p/6189403.html ↩︎