数论1 青蛙约会

青蛙约会

Description

两只青蛙在网上相识了，它们聊得很开心，于是觉得很有必要见一面。它们很高兴地发现它们住在同一条纬度线上，于是它们约定各自朝西跳，直到碰面为止。可是它们出发之前忘记了一件很重要的事情，既没有问清楚对方的特征，也没有约定见面的具体位置。不过青蛙们都是很乐观的，它们觉得只要一直朝着某个方向跳下去，总能碰到对方的。但是除非这两只青蛙在同一时间跳到同一点上，不然是永远都不可能碰面的。为了帮助这两只乐观的青蛙，你被要求写一个程序来判断这两只青蛙是否能够碰面，会在什么时候碰面。
我们把这两只青蛙分别叫做青蛙A和青蛙B，并且规定纬度线上东经0度处为原点，由东往西为正方向，单位长度1米，这样我们就得到了一条首尾相接的数轴。设青蛙A的出发点坐标是x，青蛙B的出发点坐标是y。青蛙A一次能跳m米，青蛙B一次能跳n米，两只青蛙跳一次所花费的时间相同。纬度线总长L米。现在要你求出它们跳了几次以后才会碰面。

Input

输入只包括一行5个整数x，y，m，n，L，其中x≠y < 2000000000，0 < m、n < 2000000000，0 < L <
2100000000。

Output
输出碰面所需要的跳跃次数，如果永远不可能碰面则输出一行"Impossible"

Sample Input

1 2 3 4 5
Sample Output

4

题意就是，在一维数组上给定两个初始坐标x和y，和青蛙A和青蛙B分别一次走m和n，这个数组总长度为L，问走多少步他俩会相遇，如果不可能就输出impossible。

思路就是可以把给的例子数据写一下，然后把公式写出来，就是（y+ansn）-（x+ansm）=K*L

移项化简一下就是ans*(n-m)-K*L=x-y
再换一下(n-m)ans+KL=x-y
看出a * x + b * y = gcd(a, b)的样子了没？

现在就是要求这个ans走了多少步，K意思就是走了几圈。如果x-y能被a和b的公约数整除，说明这个方程有解，否则无。（裴蜀定理 ax+by=c 有解,当且仅当c|gcd(a,b)）证明就不看了吧emmmm。。

接下来的问题是要求最小整数解，又根据这个定理
定理3 如果是互质的正整数，是整数，且方程ax+by=c（1）
有一组整数解x0，y0则此方程的一切整数解可以表示为 x=x0+bt;y=y0-at;t∈z;（2）

所以可以知道，把上面ax+by=c的这个式子，除以a和b的最大公约数即（a/c）*x+（b/c）*y=1，然后得到ans和K一组初始解，然后又根据（a/n)*x+(b/n)*y=c/n的通解（为什么这么多公式阿啊！！？）

x = c/n* x0 + b/n * c
y = c/n * y0 - a /n* c

可以求得x（也就是ans）的最小整数解？？为什么这个方法写的代码就是过不了。换了一个这个方法才行，哎太菜了。。。还是看这个方法求最小整数解吧https://www.cnblogs.com/r-wang/p/4779147.html

AC代码

#include<iostream>
using namespace std;

long long exgcd(long long a,long long b,long long &x,long long &y)
{
	if(b==0)
	{
		x=1;
		y=0;
		return a;
	}
	
	long long r=exgcd(b,a%b,x,y);
	long long x2=x;
	
	x=y;
	y=x2-a/b*y;
	return r;
}


int main(){
	
	long long x,y,m,n,L;
	long long ans,K;
	while(cin>>x>>y>>m>>n>>L) 
{ 
	long long c=exgcd(n-m,L,ans,K);
	
	//cout<<"最大公约数="<<c<<endl;
	if((x-y)%c!=0)
	{
		cout<<"Impossible"<<endl;
	}
	else	//下面求最小整数解 
	{
		 //求最小整数解的算法
        ans = (x-y)*ans/c;                        //首先令x为一个特解
        ans = (ans % (L/c)+(L/c)) % (L/c);    //再根据公式计算
        cout<<ans<<endl;
		
	} 
	
	} 
	return 0;
}