康熙环球

题目大意：求一个同余方程tx+m≡ty+n (mod L)t的最小正整数解

首先我们可以把式子变形得到：t(x-y)≡(n-m) (mod L)

我们把(x-y)设为a，（n-m）设为s，可以得到ta≡s(mod L)

诶，好像比较熟悉啊，这就是同余方程的改进版。

我们可以先利用扩欧得到at+Ly=gcd(a,L)中t的一个特殊解t0，那么我们就可以把其他的解表示为t=t0+k*(L/gcd(L,a))

这个证明还是比较显然的，ax+by=c,ax0+by0=c

所以,a(x-x0)+b(y-y0)=0就是a(x-x0)=-b(y-y0)

将两边同除以gcd(a,b)得到a/gcd(a,b)*(x-x0)=-b/gcd(a,b)*(y-y0)

又因为a/gcd(a,b)与b/gcd(a,b)互质，所以为了保证式子的等价，显然b/gcd(a,b)整除（x-x0）所以上述结论成立

由于我们解得的t是at+Ly=gcd(a,L)中的t，所以我们要把它乘以s/gcd(a,L)，显然没有解的条件就是s%gcd(a,L)！=0

最后不要忘记是最小正整数，带入通向公式即可。%+%

最后，附上本题代码：

#include<cstdio>
#include<iostream>
#define LL long long
using namespace std;

LL x,y,m,n,L,x1,y1,ans;

LL exgcd(LL a,LL b,LL &x1,LL &y1)
{
    if(b==0)
    {
        x1=1;
        y1=0;
        return a;
    }
    ans=exgcd(b,a%b,x1,y1);
    LL temp=x1;
    x1=y1;
    y1=temp-a/b*y1;
    return ans;
}
int main()
{
    cin>>x>>y>>m>>n>>L;
    LL a=(m-n),s=(y-x);
    if(a<0)
    {
        a=-a;
        s=-s;
    }
    ans=exgcd(a,L,x1,y1);
    if(s%ans!=0)
    {
        printf("Impossible
");
    }
    else
    {
        printf("%lld
",(x1*(s/ans)%(L/ans)+(L/ans))%(L/ans));
    }
    return 0;
}