整除性与最大公因数
定理5.1(欧几里得算法). 要计算两个整数a与b的GCD,先令 r−1=a r − 1 = a 且 r0=b r 0 = b ,然后计算相继的商和余数: ri−1=qi+1∗ri+ri+1(i=0,1,2,...) r i − 1 = q i + 1 ∗ r i + r i + 1 ( i = 0 , 1 , 2 , . . . ) ,直到某余数 rn+1=0 r n + 1 = 0 ,最后的非零余数 rn r n 就是a与b的最大公因数。
欧几里得算法的步数至多是b的位数的7倍