扩展欧几里得

假设当前我们要处理的是求出 a 和 b的最大公约数，并求出 x 和 y 使得 a*x + b*y= gcd ，而我们已经求出了下一个状态：b 和 a%b 的最大公约数，并且求出了一组x1 和y1 使得： b*x1 + (a%b)*y1 = gcd ， 那么这两个相邻的状态之间是否存在一种关系呢？

我们知道： a%b = a - (a/b)*b（这里的 “/” 指的是整除，例如 5/2=2 , 1/3=0），那么，我们可以进一步得到：

    gcd = b*x1 + (a-(a/b)*b)*y1

        = b*x1 + a*y1 – (a/b)*b*y1

        = a*y1 + b*(x1 – a/b*y1)

对比之前我们的状态：求一组 x 和 y 使得：a*x + b*y = gcd 这里：

    x = y1

    y = x1 – a/b*y1

我们用递归求出最终值

#include <bits/stdc++.h>
using namespace std;

typedef long long ll;

ll e_gcd(ll a,ll b,ll& x,ll& y){
   ll ans;
   if(b==0){
     x=1;
     y=0;
     return a;
   }
   ans=e_gcd(b,a%b,x,y);
   ll t=x;
   x=y;
   y=t-a/b*y;
   return ans;
}


void cal(ll a,ll b){
  ll x,y;
  ll gcd=e_gcd(a,b,x,y);
   if((1*1ll)%gcd!=0){
    cout<<"sorry"<<endl;
   }else{
      while(x<=0){
        x+=b;
        y-=a;
      }

      cout<<x<<" "<<y<<endl;
   }
}

int main()
{
    ll a,b;

    while(cin>>a>>b){
        cal(a,b);
    }
}