### 要去了解ex_gcd 先来介绍下 贝族定理
当 a,b为整数时一定存在 整数x,y使得 ax+by=gcd(a,b)
换句话说 存在整数解的时候 ax+by=m , m 一定是gcd(a,b)的整数倍
相对的 当 ax+by=1时 gcd(a,b)=1;也就是a,b互素
gcd()
int gcd (int a, int b){
if(a%b)
return gcd(b,a%b)
return a;
ex_gcd)()
当达到 gcd递归边界是
这时 a=gcd(a,b),b=0是一定存在 x=1,y=0
这是 利用递归逆推而上
我们可以知道
a=b;
b= gcd(a,b)
=a-(a/b)*b
带入 式子中
b*x1+((a-(a/b)*b)*y1
=a*y1-b*(x1-a/b*y1)
由此我们知道
上一级的情况
x=y1;
y=x1-a/b*y1;
int ans;
int ex_gcd(int a, int b, int x ,int y ){
if(b==0){
x=1,y=0;
return a;
}
ans=ex_gcd(b,a%b,x,y);
int tmp =y;//得到上一步的x,y
y=x-a/b*y;
x=y;
return ans; //返回 gcd();
}