一、最大公约数 GCD
辗转相除法又称欧几里德算法,是指用于计算两个正整数 a,b 的最大公约数(GCD - Greatest Common Divisor)。计算公式如下:
gcd(a, b) = gcd(b, a mod b)
用C++写也是一行:
int gcd(int a, int b) { return a == 0 ? b : gcd(b % a, a); }
欧几里德算法是由古希腊数学家欧几里德在其著作《The Elements》中最早描述的,所以被命名为欧几里德算法。
扩展欧几里德算法可用于 RSA加密(非对称加密)等领域。
举例:求 1997 和 615 两个正整数的最大公约数,用欧几里德算法,是这样进行的:
1997 % 615 = 152
615 % 152 = 7
152 % 7 = 21 = 5
7 % 5 = 2
5 % 2 = 1
2 % 1 = 0
至此,最大公约数为 1。
也就是,以除数和余数反复做除法运算,当余数为 0 时,取当前算式除数为最大公约数,所以就得出了 1997 和 615 的最大公约数 1。
再举个不是 1 的例子,319 和 377 求最大公约数:
319 % 377 = 319
377 % 319 = 58
319 % 58 = 29
58 % 29 = 0
所以,319 和 377 最大公约数就是 29。
二、最小公倍数 LCM
最小公倍数(LCM - Least Common Multiple)的算法就是:
GCD(a, b) * LCM(a, b)= a * b
所以算最小公倍数,就先算出两个数的最大公约数,然后 a * b / GCD(a, b)
就是 LCM(a, b)。