欧几里得算法：
百度百科：欧几里德算法又称辗转相除法，是指用于计算两个正整数a，b的最大公约数。应用领域有数学和计算机两个方面。计算公式gcd(a,b) = gcd(b,a mod b)。
摘自（https://baike.baidu.com/item/%E6%AC%A7%E5%87%A0%E9%87%8C%E5%BE%97%E7%AE%97%E6%B3%95/1647675?fr=aladdin）
伪代码
Begin
输入 A，B
A对B取余，结果赋值为R
若R=0，则B是最大公约数
若R不等于0，则以B为A，以R为B循环上一步
（https://blog.csdn.net/qq_25847123/article/details/95753295）
验证
