gcd算法证明:
c = gcd(a, b) 则有:a = k1*c, b = k2 * c;
r = a mod(b) 等价于 存在r = a - k3 * b
那么r = k1 * c - k3 * k2 * r = (k1 - k3 * k2) * c
即证,a和b的余数r是最大公约数c的倍数。
tips:如果有可以递归实现的算法,先递归实现,再考虑是否可以迭代实现。
python实现
#!/usr/bin/python3.5
#递归实现
def gcd(a, b):
if b == 0:
return a
return gcd(b, a % b)
#迭代实现
def gcdr(a, b):
while b != 0:
t = b
b = a % b
a = t
return a
print(gcd(12342,324))
print(gcdr(12342,324))