常高效，如果用除法而不是减法实现，它需要的步骤不会超过较小数的位数（十进制下）的五倍。拉梅于1844年证明了这点，同时这也标志着计算复杂性理论的开端。
背景.
最大公约数.欧几里得的辗转相除法计算的是两个自然数"a"和"b"的最大公约数"g"，意思是能够同时整除"a"和"b"的自然数中最大的一个。两个数的最大公约数通常写成GCD("a", "b")，或者简写成("a", "b")，但是第二种写法也被使用在其他数学概念，如二维向量的坐标。如果GCD("a",