【洛谷P1516】青蛙的约会【数论 拓展欧几里得】

$link$

分析：

可以得出$(n-m)t\equiv x-y(mod$ $l)$
转换一下 就变成求$(n-m)t+kl=x-y$的$t$的最小非负数整数解
那这就是个不定方程 求最小非负整数解 那就$exgcd$
然后注意 $n-m$和$x-y$可能为负数 $exgcd$不能做负数 就处理一下

最后最小非负整数解 处理负数
以及同余方程最后求解$mod$的$b$要变成$b/g$ $x0,g$是$exgcd$中的一组特解

CODE：

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<cmath>
using namespace std;
typedef long long ll;
ll n,m,x,y,l,xO,yO,g; 
void exgcd(ll a,ll b)
{
	if(b==0){
		xO=1;
		g=a;
		return;
	}
	exgcd(b,a%b);
	ll k=xO;
	xO=yO;
	yO=k-a/b*yO;
}
int main()
{
	scanf("%lld%lld%lld%lld%lld",&x,&y,&m,&n,&l);
	ll a=n-m,b=l,c=x-y; 
	if(a<0){a=-a;c=-c;}
	exgcd(a,b);
	if(c%g) puts("Impossible");
	else printf("%lld",(c/g*xO%(b/g)+b/g)%(b/g));
	
	return 0;
	
}