OnlyPersistVictory DayTwo

B

题意：
有两只青蛙，青蛙$A$和青蛙$B$。他们在一个长度为$L$米的圆形操场上，青蛙$A$初始在坐标$a$上，每次跳跃可以跳$m$米，青蛙$B$初始在坐标$b$上，每次跳跃可以跳$n$米。
两只青蛙在任意时刻的跳跃次数都是相同的，问至少跳多少次两者会相遇。
数据范围：
$a\ne b,0\le a,b<2\times 10^9,0<m,n<2\times 10^9,0<L<2.1\times 10^9$

题解：
考虑两只青蛙距离差为：$b-a$，设青蛙$A,B$需要跳跃$x$次才能相遇，
则有等式：$(n-m)x\equiv (b-a)(\mathrm{m}\mathrm{o}\mathrm{d}L)$
转换一下：$(n-m)x+Ly=(b-a)$

（这里要注意$(n-m)$和$L$都要为正数，所以当$(n-m)<0$，可以乘上一个$-1$使得等式转换为：$(m-n)x+L\times (-y)=a-b$）

通过$exgcd$可以求出一个$x_0$，然后扩大$\frac{b-a}{gcd(n-m,L)}$倍。
由于$x_1=x_0+k\frac{L}{gcd(n-m,L)}$，所以对整体取模即可，注意负数问题皆可抛给$k$，因此实际用的是$abs(\frac{L}{gcd(n-m,L)})$这个值。

代码：

#include<cstdio>
#include<cmath>
#include<algorithm>
using namespace std;

typedef long long ll;
ll exgcd(ll a, ll b, ll &x, ll &y) {
    if(!b) {
        x = 1;
        y = 0;
        return a;
    }
    
    ll d = exgcd(b, a % b, y, x);
    y -= a / b * x;
    
    return d;
}

int main()
{
    ll sta, stb, m, n, L;
    scanf("%lld%lld%lld%lld%lld", &sta, &stb, &m, &n, &L);
    ll a = m - n, b = L;
    ll x, y;
    ll g = exgcd(a, b, x, y);
    if((stb - sta) % g)  puts("Impossible");
    else {
        x *= (stb - sta) / g;
        ll mod = b / g;
        if(mod < 0) mod = -mod;
        printf("%lld\n", (x % mod + mod) % mod);
    }
    
    return 0;
}