本文介绍了欧几里德算法（辗转相除法），阐述了其计算最大公约数的原理，并证明了gcd(a, b) = gcd(b, a mod b)的定理。此外，还探讨了欧几里德算法在处理大素数时的局限性，引出了Stein算法。Stein算法避免了除法和取模操作，只涉及整数移位和加减法，适合处理大整数。并提供了Stein算法的Python实现。"
126699470,7976600,MySQL数据库优化技巧：避免全表扫描,"['数据库', 'MySQL', '查询优化']
1、欧几里德算法（辗转相除法）
最大公约数
greatest common divisor，简写为gcd；或highestcommon factor，简写为hcf
最小公倍数
最小公倍数（Least Common Multiple，缩写L.C.M.）
最小公倍数=两数的乘积/最大公约数
欧几里德算法（辗转相除法）
1. 欧几里德算法和扩展欧几里德算法
1). 欧几里德算法
欧几里德算法又称辗转相除法， 用于计算两个整数a, b的最大公约数。其计算原理依赖于下面的定理：
定理： gcd(a, b) = gcd(b, a mod b)
证明：
a可以表示成a = kb + r, 则r = a mod b
假设d是a, b的一个公约数， 则有 d|a, d|b, 而r = a - kb, 因此d|r。
因此，d是(b, a mod b)的公约数。
加上d是(b，a mod b)的公约数，则d|b, d|r, 但是a = kb + r,因此d也是(a, b)的公约数。
因此，(a, b) 和(a, a mod b)的公约数是一样的，其最大公约数也必然相等，得证。
最低0.47元/天 解锁文章
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
