[poj1061]青蛙的约会<扩展欧几里得>

题目链接：http://poj.org/problem?id=1061

其实欧几里得我一直都知道，只是扩展欧几里得有点蒙，所以写了一道扩展欧几里得裸题。

欧几里得算法就是辗转相除法，求两个数的最大公约数，算法是，a，b的最大公约数是gcd（b,a%b）然后不断递归下去，直到b=0

转换成c++语言就是

int ex_gcd(int a,int b)
{
     if(b==0)return a;
     return ex_gcd(b,a%b);        
}

扩展欧几里得就是假设c=gcd(a,b);则有a*x+b*y=c;

然后我们要做的就是求x，y，我就是这个位置一直有一点晕，但是这种情况其实简单的举个例子就可以得出结论了。

假设a=60,b=45,不难看出gcd(60,45)=15;然后也可以看出x=-2.y=3;

这是一眼可以看出来的，那么递归怎么做，我们先正常的gcd下去

gcd(60,45)--->gcd(45,15)--->gcd(15,0);

这是普通的gcd，然后把x，y带进去我们其实可以想到，当gcd到最后一步即b=0时，一定有x0=1,y0=0，用递归再返回来一层一层求出x,y；那递归的两层之间x，y有什么联系？

gcd(60,45)--->x=-2,y=3;

gcd(45,15)--->x1=1,y1=-2;

然后我们用式子来表示

gcd(a,b)=c=a*x+b*y

gcd(b,a%b)=c=b*x1+a%b*y1

a%b=a-(a/b)*b

a*x+b*y=b*x1+(a-(a/b)*b)*y1=b*x1+a*y1-(a/b)*b*y1=a*y1+b*(x1-(a/b)*y1);

从这里可以分析出来，

x=y1;

y=x1-(a/b*y1)

有了这一个式子我们就不难推出扩展欧几里得算法的代码了

int ex_gcd(int a,int b)
{
     if(b==0){
           x=1;y=0;return a;
     }
     int d=ex_gcd(b,a%b);
     int x1=1; 
     x=y;
     y=x1-(a/b)*y;
     return d;
}//x,y是全局变量
    

然后知道了扩展欧几里得算法，就可以做这一道题了。

这道题基本就是模板，不用多说，用心体会。。。。

上代码Orz

#include<cstdio>
#include<cstring>
#include<cmath>
#include<cstdlib>
#include<iostream>
#include<algorithm>

using namespace std;

__int64 n,m,x,y,s,t,d,l,k,ans;

__int64 ex_gcd(__int64 a,__int64 b)
{
    if(b==0)
    {
        x=1;y=0;return a;
    }
    __int64 r=ex_gcd(b,a%b);
    __int64 tt=x;
    x=y;
    y=tt-a/b*y;
    return r;
}

int main()
{
    scanf("%d%d%d%d%d",&s,&t,&n,&m,&l);
    k=n-m;ans=t-s;
    if(k<0){
        k=m-n;ans=s-t;
    }
    d=ex_gcd(k,l);
    if(ans%d){
        printf("Impossible");return 0;
    }
    __int64 T=l/d;//T是周期，即两只青蛙每相对跳一圈的步数 
    ans=ans/d;//ans是一开始的距离，先看跳到相同位置步数 
    ans=ans*x; 
    ans=(ans%T+T)%T;//跳的步数对周期取余，+T再取余是为了避免负数 
    printf("%I64d",ans);
} 

数据有些大，最好开__int64或者long long （我用__int64过的，没有试过long long 不过应该可以过）