假设当前我们要处理的是求出 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);
}
}