POJ 青蛙的约会 (扩展欧几里得)

青蛙的约会

Time Limit : 2000/1000ms (Java/Other)   Memory Limit : 20000/10000K (Java/Other)

Total Submission(s) : 2   Accepted Submission(s) : 2

Problem 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

 

Source

PKU

 

 

详细解法： http://www.cnblogs.com/comeon4mydream/archive/2011/07/18/2109060.html

 

  http://www.cnblogs.com/jian1573/archive/2012/07/22/2603943.html

 

首先我们先讨论欧几里得算法 （ gcd ):

gcd( a, b )即求两个数的最大公约数

递归算法：

int gcd( int a, int b ) { 　　return b==0?a:gcd( b, a%b );  //gcd(a,b) = gcd(a%b,b)，这个递归一次以后就终止了无法保证a b可以继续减小，所以把 b 和 a%b交换顺序。 }

非递归算法：

int gcd( int a, int b ) { 　　if( b==0 )return 0; 　　while(b) 　　{ 　　　　int t=a%b; 　　　　a=b; 　　　　b=t; 　　} 　　return a;

}

现在我们讨论算法的正确性，即证明gcd(a,b)==gcd(b,a%b),我们只要证明gcd(a,b)==gcd(a-b,b)即可，因为可以由此逐步扩展为gcd(a,b) == gcd(a-k*b,b),而 gcd(a-k*b,b)==gcd(a%b,b)。 因为a,b的公约数必然是a-b,b的公约数故 gcd(a,b) <= gcd(a-b,b);另a-b b的公约数也必然是a b的公约数，gcd(a,b) >= gcd(a-b,b).所以gcd(a,b) == gcd(a-b,b)。

再说扩展欧几里得:

扩展欧几里德算法是用来求解a*x+b*y==gcd(a,b)这样的方程的。同样利用gcd(a,b)==gcd(b,a%b)把a*x+b*y==gcd( a, b )转化为b*x'+(a%b)*y'==gcd( b, a%b );

根据递归的思想，假设现在我们已经求出了x' y',剩下的关键就是如何用x' y'求出x y.我们观察gcd(b,a%b) = b*x'+(a%b)*y'，只要把右边重新写成 a*x+b*y 的形式就行了，所以需要对b*x'+（a%b）*y'进行变形，因为a%b == a-a/b*b,故b*x'+(a%b)y' = b*x'+(a-a/b*b)y' == a*y' + b*(x'-a/b*y') .

这样便可得出 x = y' y = x'-a/b*y'。

所以扩展gcd的递归算法为

LL exgcd( LL a, LL b, LL &x, LL &y ) { 　　LL d, t; 　　if( b==0 ) 　　{ 　　　　x=1, y=0; 　　　　return a;  　　} 　　d=exgcd( b, a%b, x, y ); 　　t=x, x=y, y=t-a/b*y; 　　return d;  　　　　　　// 返回gcd( a, b ); }

 这样我们就得到了方程的解 :

x==x0+b*t;　　　　//    特解+通解

y==y0+a*t;

然后再看一般形式 a*x+b*y==c;

当且仅当 c%gcd( a,b )==0时方程才有解。

a*x+b*y==c的求解可以先求出a*x+b*y=gcd(a,b),然后将x y扩大c/gcd(a,b)倍就可以了。

 

#include<iostream>

#include<cstdio>

#include<cstring>



using namespace std;



long long Gcd(long long a,long long b){

    return b==0?a:Gcd(b,a%b);

}



void exGcd(long long a,long long b,long long &x,long long &y){

    if(b==0){

        x=1; y=0;

        return ;

    }

    exGcd(b,a%b,x,y);

    long long tmp=x;

    x=y;

    y=tmp-a/b*y;

}



int main(){



    //freopen("input.txt","r",stdin);



    long long x,y,m,n,L;

    long long a,c,k1,k2,r;

    while(~scanf("%I64d%I64d%I64d%I64d%I64d",&x,&y,&m,&n,&L)){

        a=n-m; c=x-y;

        r=Gcd(a,L);

        if(c%r){

            puts("Impossible");

            continue;

        }

        a/=r; L/=r; c/=r;

        exGcd(a,L,k1,k2);

        long long ans=c*k1-c*k1/L*L;

        if(ans<0)

            ans+=L;

        printf("%I64d\n",ans);

    }

    return 0;

}

 

 

 

#include <stdio.h>

 typedef long long LL;

 LL exgcd( LL a, LL b, LL &x, LL &y )

 {

     LL d, t;

     if( b==0 )

     {

         x=1, y=0;

         return a;    

     }

     d=exgcd( b, a%b, x, y );

     t=x, x=y, y=t-a/b*y;

     return d;

 }

 

 // (a+c*m)%2^k=b ==> c*m-n*2^k=b-a;

 int main( )  

 {  

     LL A,B,C,k, a, b, c, x, y, n;  

     while(scanf("%lld %lld %Illd %lld",&A,&B,&C,&k))  

     {  

         if(!A && !B && !C && !k)  

             break;  

   

         a=C, b=B-A, n=(LL)1<<k;  //2^k   

         LL d=exgcd(a,n,x,y);  //求a,n的最大公约数d=gcd(a,n)和方程d=ax+by的系数x、y  

         if(b%d!=0)  //方程 ax=b(mod n) 无解  

            puts("FOREVER"); 

         else  

         {  

             x=(x*(b/d))%n;  //方程ax=b(mod n)的最小解  

             x=(x%(n/d)+n/d)%(n/d);  //方程ax=b(mod n)的最整数小解  

             printf("%lld\n",x);  

         }  

     }  

     return 0;  

 }