🌸扩展欧几里德算法
欧几里德算法是用来求最大公约数的:
1 | int gcd(int a,int b) |
扩展欧几里德算法描述为:已知a, b求解一组x,y,使它们满足贝祖等式: ax+by = gcd(a, b) =d(解一定存在,根据数论中的相关定理)。
扩展欧几里德常用在求解模线性方程及方程组中。(百度百科)
求解x,y的代码如下:
1 | int gcd(int a,int b) //扩展欧几里德 |
已知 a*x+b*y= =gcd(a,b),gcd(a,b)==gcd(b,a%b),将 gcd(b,a%b) 代入 a*x+b*y 可得
b*x1+(a%b)*y1==a*x+b*y( 注意,(x,y) 和(x1,y1)是不同的 ,(x1,y1)是(x,y) 下层的递归值 )
然后我们需要知道一个公式,a%b= =a-(a/b)*b,将上式变形得 b*x1+( a-(a/b)*b )*y1= =a*x+b*y,整理可得a*y1+b*(x1-(a/b)*y)==a*x+b*y;
由此我们可知:
x==y1;
y==x1-(a/b)y;
当递归到底层时,此时 b= =0 ,从而能轻易的得出 gcd(a,b)= =a,x= =1,y==0;知道了最底层的(x,y),我们就可以根据公式递归回去求上面层的(x,y)。
此刻我们只求出了 a*x+b*y==gcd(a,b)的一组解,下面给出公式求剩下的解:
x=x0+a/gcd(a,b)*t;
y=y0-b/gcd(a,b)*t;
(x0,y0)为我们在上面求得的第一组解(x,y);(t为任意整数,t==0时,就是我们上面的第一组解)
1 |
|
下面讨论二元一次方程 ax+by==c的解。
在 ax+by==gcd(a,b)(设解为x0,y0)的基础上等号两边同时乘以 c/gcd(a,b)就可以转换过来了。
所以方程的解为 :
x=x0*( c/gcd(a,b));
y=y0*( c/gcd(a,b));
所以我们每求得一组 ax+by==gcd(a,b)的解,就能得到一组 ax+by= =c 的解。
1 |
|
原文剑冢