在数学中,辗转相除法,又称欧几里得算法,是求最大公约数的算法。辗转相除法首次出现于欧几里得的《几何原本》(第VII卷,命题i和ii)中,而在中国则可以追溯至东汉出现的《九章算术》。
两个整数的最大公约数是能够同时整除它们的最大的正整数。辗转相除法基于如下原理:两个整数的最大公约数等于其中较小的数和两数的差的最大公约数。例如,252和105的最大公约数是21(252 = 21 × 12;105 = 21 × 5);因为252 − 105 = 147,所以147和105的最大公约数也是21。在这个过程中,较大的数缩小了,所以继续进行同样的计算可以不断缩小这两个数直至其中一个变成零。这时,所剩下的还没有变成零的数就是两数的最大公约数。由辗转相除法也可以推出,两数的最大公约数可以用两数的整数倍相加来表示,如21 = 5 × 105 + (−2) × 252。这个重要的等式叫做贝祖等式。
辗转相除法处理大数时非常高效,如果用除法而不是减法实现,它需要的步骤不会超过较小数的位数(十进制下)的五倍。拉梅于1844年证明了这点,开创了计算复杂性理论。
python代码:
除法形式:
def gcd(a,b): t=0 while b!=0: t=b b=a%b a=t return a
减法形式:
def gcd(a,b): if a == 0: return b while b != 0: if a > b: a= a-b else: b=b-a return a print gcd2(27,18)
递归形式:
def gcd(a, b): if b==0: return a return gcdRecur(b,a%b)
版权声明:本文在知识共享 署名-相同方式共享 3.0协议之条款下提供,附加条款亦可能应用。本文部分内容来自维基百科,原作者请参看此页面编辑历史