一定存在ax+by=gcd(a,b)的解,为了求x,y,可以利用扩展欧几里得算法。
ax+by=gcd(a,b) bx'+(a%b)y'=gcd(a,b), a%b=a-(a/b)*b,得到 ay'+b(x'-(a/b)*y')=gcd(a,b)。
利用恒等定理,x=y';y=x'-(a/b)*y'。但是目前还不知道y'和x'。我们按照相同的算法继续递归y',x'-(a/b)*y'直到b为0。此时a即为gcd(a,b).
则返回a,x'=1,y'=0。
int extgcd(int a,int b,int &x,int &y)//返回gcd
{
int d=a;
if(b!=0)
{
d=extgcd(b,a%b,y,x);
y-=(a/b)*x;//由于是引用,x是上一层的y',y<span style="font-family: Arial, Helvetica, sans-serif;">是上一层的x',个人感觉不要理解</span>
}
else
{
x=1;
y=0;
}
return d;
}