HDU-5584-LCM Walk

ACM模版

描述

题解

一只疯狂的青蛙位于 $(x, y)$，每次只能朝 $(x + lcm(x, y), y)$ 或 $(x, y + lcm(x, y))$，但是青蛙初始的位置并不是题目给出的，题目只给出 $(e_x, e_y)$，也就是青蛙最后跳到的地方，问青蛙有多少种 $(x, y)$ 的可能，也就是起点的存在。

一开始很容易想成，青蛙每次可以朝两个位置跳，那么所有跳到 $(e_x, e_y)$ 的路径一定是一个二叉树形状的，而答案一定是这些路径上的点数，但是事实并非如此。

正着分析，假设 $gcd(x, y) = k$，那么我们设 $x = ak, y = bk$，那么下一次跳到的点必然是 $(ak + abk, bk)$ 或者 $(ak, bk + abk)$。我们拿前者来考虑，$(ak + abk, bk) = ((1 + b)ak, bk)$，$a$ 和 $b$ 互质，$1 + b$ 和 $b$ 互质，所以 $gcd((1 + b)ak, bk) = k$，也就是说新的点和原来的点的最大公约数是相同的，另外还有一个发现便是，不管是选择哪个点作为新点，都会存在 $ak$ 或者 $bk$ 上 $+abk$ 的操作，那么这个数一定比没有 $+abk$ 的要大，这是显然的，那么也就是说，新的点的坐标中较小的那个值一定是之前那个点中对应的值，这样也就意味着每个点向前查找时只能找到一个点，也就是路径是固定的。

如此这般，我们从终点往前推也就成了单一路径的查找了。

接着上述并非如此来说，青蛙正着从一个起点往后跳，的确是一个二叉树的路径，可是这并不意味着一个点可以由两个点跳过来。这个题准确说有些像根据二叉树的父子节点关系进行从叶到根的一个路径查询操作。

代码

#include <iostream>

using namespace std;

int gcd(int x, int y)
{
    return y ? gcd(y, x % y) : x;
}

int x, y;

int main()
{
    int T;
    scanf("%d", &T);

    for (int t = 1; t <= T; t++)
    {
        scanf("%d%d", &x, &y);
        if (x > y)
        {
            swap(x, y);
        }

        int cnt = 1;
        int k = gcd(x, y);
        while (y % (x + k) == 0)
        {
            cnt++;
            y = y / (x / k + 1);
            if (x > y)
            {
                swap(x, y);
            }
            k = gcd(x, y);
        }

        printf("Case #%d: %d\n", t, cnt);
    }

    return 0;
}