关于欧几里得算法,贝祖等式,扩展欧几里得算法,Wikipedia的解释非常非常详细了。
另外,看了好多别人优秀的总结,我认为最详尽的就是ACM之家的总结。
这里自己再总结一次…实际上就是把别人总结的,我认为有助于自己理解的内容copy过来,再加上几句自己的理解。
本文包括:
- 欧几里德算法 递归实现
- 欧几里德算法 非递归实现
- 贝祖等式
- 扩展欧几里德算法 递归实现
- 扩展欧几里德算法 非递归实现
欧几里得算法
欧几里德算法又称辗转相除法,用于计算两个整数a,b的最大公约数 gcd(a,b)。基本算法:设 a = qb + r,其中a,b,q,r都是整数,则 gcd(a,b) = gcd(b,r),即 gcd(a,b) = gcd(b,a%b)。
证明:
a = qb + r
如果 r = 0,那么 a 是 b 的倍数,此时显然 b 是 a 和 b 的最大公约数。
如果 r ≠ 0,任何整除 a 和 b 的数必定整除 a - qb = r,而且任何同时整除 b 和 r 的数必定整除 qb + r = a,所以 a 和 b 的公约数集合与 b 和r 的公约数集合是相同的。特别的,a 和 b 的最大公约数是相同的。
递归实现:
int gcd(int a, int b)
{
return b == 0 ? a : gcd(b, a%b);
}
非递归实现:
int gcd(int a, int b)
{
while(b)
{
int t = b;
b = a % b;
a = t;
}
return a;
}
贝祖等式
在数论中,裴蜀等式(英语:Bézout’s identity)或贝祖定理(Bézout’s lemma)是一个关于最大公约数(或最大公约式)的定理。裴蜀定理得名于法国数学家艾蒂安·裴蜀,说明了对任何整数a、b和它们的最大公约数d,关于未知数x和y的线性丢番图方程(称为裴蜀等式):
ax + by = m 有整数解时当且仅当m是d的倍数。
裴蜀等式有解时必然有无穷多个整数解,每组解x、y都称为裴蜀数,可用扩展欧几里得算法(Extended Euclidean algorithm)求得。
例如,12和42的最大公因数是6,则方程12x+42y=6有解。事实上有(-3)×12 + 1×42 = 6及4×12 + (-1)×42 = 6。
特别来说,方程 ax+by=1 有整数解当且仅当整数a和b互素。
裴蜀等式也可以用来给最大公约数定义: d其实就是最小的可以写成ax+by形式的正整数。(这个定义的本质是整环中“理想”的概念。因此对于多项式整环也有相应的裴蜀定理。)
证明:
如果 aa 和 bb 中有一个是 0,比如 a=0a=0,那么它们两个的最大公约数是 bb。这时裴蜀等式变成 by=mby=m,它有整数解 (x,y) 当且仅当 mm 是 bb 的倍数,而且有解时必然有无穷多个解,因为 xx 可以是任何整数。定理成立。
以下设 a和 b 都不为0。
设 A={xa+yb;(x;y)∈Z2}A={xa+yb;(x;y)∈Z2} ,下面证明A中的最小正元素是 a 与 b 的最大公约数。
首先,A∩N∗A∩N∗ 不是空集(至少包含|a||a| 和|b||b|),因此由于自然数集合是良序的, AA 中存在最小正元素d0=x0a+y0bd0=x0a+y0b。考虑AA中任意一个正元素p(=x1a+y1b)p(=x1a+y1b)对 d0d0 的带余除法:设p=qd0+rp=qd0+r,其中 qq 为正整数,0≤r<d00≤r<d0。但是
r=p−qd0=x1a+y1b−q(x0a+y0b)∈Ar=p−qd0=x1a+y1b−q(x0a+y0b)∈A
而d0d0 已经是集合 AA 中最小的正元素了,又 0≤r<d00≤r<d0,所以 r=0r=0。
因此 d0 | pd0 | p。也就是说,A中任意一个正元素p都是 d0d0 的倍数,特别地:d0 | a、d0 | bd0 | a、d0 | b。因此 d0d0 是 aa 和 bb 的公约数。
另一方面,对 a 和 b 的任意正公约数dd,设 a=kd、b=lda=kd、b=ld,那么
d0=x0a+y0b=(x0k+y0l)dd0=x0a+y0b=(x0k+y0l)d
x0k+y0l≥1x0k+y0l≥1 ,因此 d | d0d | d0。所以 d0d0 是 aa 和 bb 的最大公约数。
在方程ax+by=max+by=m中,如果 m=m0d0m=m0d0,那么方程显然有无穷多个解:
相反的,如果ax+by=max+by=m有整数解,那么 |m|∈A|m|∈A,于是由前可知 d0 | |m|d0 | |m|(即 d0 | md0 | m)。
m=1时,方程有解当且仅当a、b互质。方程有解时,解的集合是
其中 (x0,y0)(x0,y0) 是方程ax+by=d的一个解,可由辗转相除法得到。
所有解中,有且仅有一个解(x,y) 满足 −b≤x≤b,−a≤y≤a−b≤x≤b,−a≤y≤a。
扩展欧几里得算法
扩展欧几里得算法就是在求 a,ba,b 的最大公约数 m=gcd(a,b)m=gcd(a,b) 的同时,求出贝祖等式ax + by = m的一个解 (x,y)(x,y)。
扩展欧几里得算法的递归实现:
有两个数 a,ba,b,对它们进行辗转相除法,可得它们的最大公约数——这是众所周知的。然后,收集辗转相除法中产生的式子,倒回去,可以得到 ax+by=gcd(a,b)ax+by=gcd(a,b)的整数解。
先来看下这个几乎所有总结扩展欧几里得算法的帖子中都会用到的例子
(可能出自wikipedia,毕竟wikipedia上也是用的这个栗子):
用类似辗转相除法,求二元一次不定方程47x+30y=1的整数解。
47=30*1+17
30=17*1+13
17=13*1+4
13=4*3+1
然后把它们改写成“余数等于”的形式
17=47*1+30*(-1) //式1
13=30*1+17*(-1) //式2
4=17*1+13*(-1) //式3
1=13*1+4*(-3)
然后把它们“倒回去”
1=13*1+4*(-3) //应用式3
1=13*1+[17*1+13*(-1)]*(-3)
1=13*4+17*(-3) //应用式2
1=[30*1+17*(-1)]*4+17*(-3)
1=30*4+17*(-7) //应用式1
1=30*4+[47*1+30*(-1)]*(-7)
1=30*11+47*(-7)
得解x=-7, y=11。
这些式子自己手写一遍才能理解的更清楚。
这个“倒回去”的过程对应的就是代码中递归向上返回的过程。现在的问题就是要找出这个可以倒回去的递推关系。
参照ACM之家中的证明:
ax+by=gcd(a,b)ax+by=gcd(a,b)
设:a>b。
推理1,显然当 b=0,gcd(a,b)=a。此时 x=1,y=0;//推理1
推理2,ab!=0 时
设 ax1+by1=gcd(a,b);
bx2+(a mod b)y2=gcd(b,a mod b);
根据朴素的欧几里德原理有 gcd(a,b)=gcd(b,a mod b);
则:ax1+by1=bx2+(a mod b)y2;
即:ax1+by1=bx2+(a-(a/b)*b)y2=ay2+bx2-(a/b)*by2;
根据恒等定理得:x1=y2 ,y1=x2-(a/b)*y2;//推理2
这样我们就得到了求解 x1,y1 的方法:x1,y1 的值基于 x2,y2.
上面的思想是以递归定义的,因为 gcd 不断的递归求解一定会有个时候 b=0,所以递归可以结束。
这样我们就找到了递推关系:
x1=y2;x1=y2;
y1=x2−(a/b)∗y2;y1=x2−(a/b)∗y2;
递推的终止条件再上面也已经给出:
当b=0,gcd(a,b)=a。此时x=1,y=0;当b=0,gcd(a,b)=a。此时x=1,y=0;
由此我们可以得到递归的扩展欧几里得算法的代码:
int exgcd(int a, int b, int &x, int &y)
{
if(b == 0)
{//推理1,终止条件
x = 1;
y = 0;
return a;
}
int r = exgcd(b, a%b, x, y);
//先得到更底层的x2,y2,再根据计算好的x2,y2计算x1,y1。
//推理2,递推关系
int t = y;
y = x - (a/b) * y;
x = t;
return r;
}
比如上面的 47x+30y=1 的例子,exgcd() 要求出 gcd(47, 30),同时得到一组 (x,y)的解。
用一个方便我自己理解的方式,把求解的过程写出来好了。这里的大括号"{}"里面不是函数体,"{"表示一层递归调用的开始,"}"表示该层递归的结束。
exgcd(47, 30, x, y)
{
r = exgcd(30, 17,x, y)
{
r = exgcd(17, 13, x, y)
{
r = exgcd(13, 4, x, y)
{
r = exgcd(4, 1, x, y)
{
r = exgcd(1, 0, x, y)
{
x = 1;
y = 0;
return 1;
}
t = y = 0;
y = x - (4/1) * y = 1;
x = t = 0;
return r = 1;
}
t = 1;
y = 0 - (13/4) * 1 = -3;
x = 1;
return 1;
}
t = -3;
y = 1 - (17/13) * (-3) = 4;
x = -3;
return 1;
}
t = 4;
y = -3 - (30/17) * 4 = -7;
x = 4;
return 1;
}
t = -7;
y = 4 - (47/30) * (-7) = 11;
x = -7;
return 1;
}
最后的结果:
r = exgcd(47,30,x,y) = 1;
x = -7;
y = 11;
扩展欧几里得算法的非递归实现!
非递归的算法明显就要比递归的复杂到不知哪里去啦,可能是智商捉急,这个非递归的扩展欧几里得算法我理解了好久好久。
让我决定彻底弄清楚扩展欧几里得算法的原因,正是《计算机程序设计艺术》1.2数学归纳法中介绍的算法E(推广的欧几里得算法)。用数学归纳法我也能归出来这个算法是正确的,数学归纳法简洁优美,但是还是需要得到递推关系我才算真正理解这个算法。
百度没找到完整的非递归扩展欧几里得算法递推关系的推到过程,自己推了半天推不动。
http://anh.cs.luc.edu/331/notes/xgcd.pdf
http://math.cmu.edu/~bkell/21110-2010s/extended-euclidean.html
还好找到两篇英文的,两篇一起看效果更佳!找到这两篇简直感动到cry,太详细了!
算法EE (推广的欧几里得算法). 给定两个正整数m和n, 计算他们的最大公因数d,并计算两个未必为正数的整数 a 和 b, 使得 am+bn=dam+bn=d.
E1.E1. [初始化.] 置 a′←b←1,a←b′←0,c←m,d←n.a′←b←1,a←b′←0,c←m,d←n.
E2.E2. [除法.] 令 qq 和 rr 分别是用 dd 除 cc 所得的商和余数. (我们有 c=qd+rc=qd+r 和 0≤r<d.0≤r<d.)
E3.E3. [余数为0?] 如果 r=0r=0 ,算法终止,此时有 am+bn=dam+bn=d , 正如所求.
E4.E4. [循环.] 置 c←d,d←r,t←a′,a′←a,a←t−qa,t←b′,b′←b,b←t−qbc←d,d←r,t←a′,a′←a,a←t−qa,t←b′,b′←b,b←t−qb , 然后返回 E2.E2. ┃
假定 m = 1769 , n = 551, 我们相继得到:
a′a′ | aa | b′b′ | bb | cc | dd | rr | |
---|---|---|---|---|---|---|---|
1 | 0 | 0 | 1 | 1769 | 551 | 3 | 116 |
0 | 1 | 1 | -3 | 551 | 116 | 4 | 87 |
1 | -4 | -3 | 13 | 116 | 87 | 1 | 29 |
-4 | 5 | 13 | -16 | 87 | 29 | 3 | 0 |
答案是正确的: 5×1769 - 16×551 = 8845 - 8816 = 29, 这是1769和551的最大公因数。
《计算机程序设计艺术》用的数学归纳法证明。
首先我们发现 等式:
a′m+b′n=c,am+bn=da′m+b′n=c,am+bn=d
在步骤 E2E2 执行后总是成立。 (1)
证明(1):
算法首次转到E2时,由上表,显然等式成立。
步骤 E2,E3 并不会改变等式的正确性。
所以只需要证明步骤 E4 不改变他们的正确性就可以了。
执行 E4 之前,
a'm + b'n = c (*)
am + bn = d (**)
成立。
a'm + b'n = c = qd + r;
a'm + b'n - q(am + bn) = r;
(a' - qa)m + (b' - qb)n = r (***)
执行 E4 之后,c←d, d←r, t←a', a'←a, a←t-qa, t←b', b'←b, b←t-qb;
所以
(**)变为 a' + b' = c
(***)变为 am + bn = d
所以步骤 E4 不改变等式的正确性,得证。
现在我们对n归纳,证明算法EE是正确的:如果 mm 是 nn 的倍数,算法显然能够正确执行,因为在第一次达到 E3E3 的时候就立即完成了。 当 n=1n=1 时这种情况总是出现,剩下的情况仅是 n>1n>1 且 mm 不是 nn 的倍数。在这种情况下,算法在第一次执行后置 c←nc←n 和 d←rd←r,并且由于 r←nr←n,按归纳法可以假设 ,dd 的最终值是 nn 和 rr 的最大公因数。根据上文欧几里得算法的论证,数偶 {m,n}{m,n} 和 {n,r}{n,r} 具有相同的公因数,特别的,它们具有相同的最大公因数。因此 dd 是 mm 和 nn的最大公因数, 而且由(1)式, am+bn=dam+bn=d。
看完了优美的数学归纳法证明,我们来找找 a′m+b′n=c,am+bn=da′m+b′n=c,am+bn=d 的递推公式:
首先我们发现a′m+b′n=c,am+bn=da′m+b′n=c,am+bn=d 这两个式子是等价的,只是同一个式子的不同阶段。
a′m+b′n=ca′m+b′n=c 保存了 am+bn=dam+bn=d 的上一个阶段。所以我们只需要得到其中一个的递推公式就可以了。
实际上 a′a′ 只是保存了 aa 之前的一个阶段。
下面我们求解 am+bn=dam+bn=d 的递推公式。
如果给上表标上序号:
序号 | aa | bb | cc | dd | rr | 余数等于 | |
---|---|---|---|---|---|---|---|
1 | 0 | 1 | 1769 | 551 | 3 | 116 | 116 = m + (-3)n |
2 | 1 | -3 | 551 | 116 | 4 | 87 | 87 = -4m + 13n |
3 | -4 | 13 | 116 | 87 | 1 | 29 | 29 = 5m +(-16)n |
4 | 5 | -16 | 87 | 29 | 3 | 0 |
第 ii 行的变量分别为 ai,bi,ci,di,qi,riai,bi,ci,di,qi,ri。
再 gcd() 的过程中,我们会得到一系列的余数,但我们不仅仅想得到这些余数的序列,我们还想得到 aim+bin=diaim+bin=di 这样的等式。
因为 di=ri−1di=ri−1,所以 dd 序列本身就是 rr 的序列。从上表可以清楚的看到这二者之间的关系。
第一行:a1=0,b1=1a1=0,b1=1 0×1769 + 1×551 = 551 初始条件是成立的,即a1m+b1n=d1a1m+b1n=d1;
第二行:由第一行的 1769 = 3×551 + 116 ,把余数116表示为 116 = 1×1769 + (-3)×551 = m + (-3)n, 我们注意到第一行的余数 r1r1 等于第二行的 d2d2 所以a2=1,b2=−3a2=1,b2=−3, a2m+b2n=r1=d2a2m+b2n=r1=d2
第三行:由第二行的 551 = 4×116 +87, 把余数87表示为 87 = 551 + (-4)×116, 其中551 = n, 而116已经求得为m+(-3)n, 所以 87 = n + (-4)(m+(-3)n) = -4m + 13n ,即 a3=−4,b3=13a3=−4,b3=13, a3m+b3n=r2=d3a3m+b3n=r2=d3 ;
第四行:由第三行的 116 = 1×87 + 29,把余数29表示为 29 = 116 + (-1)×87 = (m + (-3)n) + (-1)(-4m + 13n) = 5m +(-16)n,所以a4=5,b4=−16a4=5,b4=−16 ,a4m+b4n=r3=d4a4m+b4n=r3=d4;
第五行:由第4行的 87 = 3×29 ,r4=0r4=0,算法终止,d4d4即为最大公约数,a4,b4a4,b4即为求得的满足 am+bn=gcd(m,n)am+bn=gcd(m,n) 的 a,ba,b。
我们发现 :
di=ri−1=ci−1−qi−1di−1=di−2−qi−1di−1=(ai−2m+bi−2n)−qi−1(ai−1m+bi−1n)di=ri−1=ci−1−qi−1di−1=di−2−qi−1di−1=(ai−2m+bi−2n)−qi−1(ai−1m+bi−1n)
=(ai−2−qi−1ai−1)m+(bi−2−qi−1bi−1)n=(ai−2−qi−1ai−1)m+(bi−2−qi−1bi−1)n
又 di=aim+bindi=aim+bin
所以
ai=ai−2−qi−1ai−1ai=ai−2−qi−1ai−1;
bi=bi−2−qi−1bi−1bi=bi−2−qi−1bi−1;
实际上,这里的 ai−2,bi−2ai−2,bi−2 就是 a′i,b′iai′,bi′。
于是,我们就找到了am+bn=dam+bn=d 的系数 aa 和 bb 的递推公式。
最后,给出非递归的C++代码:
int exgcd(int m, int n, int &x, int &y) {
if (n == 0) {
x = 1; y = 0;
return m;
}
int a, a1, b, b1, c, d, q, r, t;
a1 = b = 1;
a = b1 = 0;
c = m; d = n;
q = c/d; r = c%d;
while (r) {
c = d;
d = r;
t = a1;
a1 = a;
a = t - q * a;
t = b1;
b1 = b;
b = t - q * b;
q = c/d;
r = c%d;
}
x = a; y = b;
return d;
}
版权声明:[这里是版权声明( • ̀ω•́ )] https://blog.csdn.net/yoer77/article/details/69568676