最大公约数线性表达式系数的非递归算法.pdfVIP

2010年4月 洛阳师范学院学报 Apr．，2010 第29卷 第2期 JoumM ofLuoyangNormM Univemity V01．29 No．2 最大公约数线性表达式系数 的非递归算法 白鸿武 (咸阳师范学院数学与信息科学学院，陕西咸阳712000) 摘 要 ：本文中我们给出了计算两个整数最大公约数及其组合系数的非递归算法及其在 c语言环境中相应的 程序．与其它的程序相比，该程序节约了运行的时间开销与空间开销 ，运行效率得到了提高． 关键词：最大公约数；系数；算法；程序 中图分类号：024；TP311 文献标识码：A 文章编号：1009—4970(2010)02—0001—03 收稿 日期 ：2009—12—24 作者简介：白鸿武 (1959一)，男 ，陕西佳县人 ，教授 ，主要研究方向：CAGD． 我们经常可以看到计算两个整数的最大公约数 定可以重复应用定理 1得到下边 的n+1个等式 的程序．然而有些程序只能求出这两个整数的最大 a=qlb+r1，0rllb1 公约数，却不能将该最大公约数表示为此二整数的 b q2l+ 2，0 2 l 整系数线性组合 I4；另外的程序尽管可以得到这 r1=q3r2+r3，0r3r2 样的线性组合，但却采用了递归程序 ．我们知 rn 3 qn一1rn一2+rn—l，0r一 1rn 道，递归程序有其固有的弊端：递归程序的每一层 一 一 2 rn 2 grn—I+r ，0rnr 递归调用都要 占用一定的空间，这使得程序运行中 一 一 l 有较大的内存开销；另外，递归程序 的每一层调用 rn一 1=qn+1rn 还要用一定的时间用来保护和恢复现场 ，这样程序 定理3 在定理2的条件和符号下，我们有 的时间开销也会增加．因此，我们在下面设计 了解 (1)gcd(a，b)= 决这一问题的非递归算法 ，使程序运行时的时间效 (2)dla且 dIb的充要条件是 dlrn 率和空间效率都得以提高． (3)存在整数S和 t使得 rn=sa+玷 由此我们可以看出，对于给定的两个整数a，b， 1 算法分析 b≠0，我们可以按照定理 2中的方法得到整数 口，b 首先，下边 的结论是众所周知的 的最大公约数r．我们把这种得到两个整数最大公 定理 1 设 a，b是两个整数 ，而 b≠O．那么一 约数的方法叫做辗转相除法．实际上，用辗转相除 定存在唯一的一对整数 q与r，满足 法不仅可以获得两个整数的最大公约数，而且还可 a=qb+r，0≤rfbi 以把最大公约数表示为给定 的两个整数的线性组 定义 1 在上边定理的条件下，9叫做用 b除a 合，即最大公约数有定理3中第 (3)款的表示形式． 的商，而r叫做用 b除a的余数．由a，b确定商g 现在的问题是如何求得定理3中第 (3)款中的组合 和余数r的算法叫做整数的带余除法．