См. здесь .
В частности, эта часть:
Ламе показал, что количество шагов, необходимых для достижения наибольшего общего делителя для двух чисел, меньших n, является [/g1] blockquote> Таким образом, O(log min(a, b)) является хорошей верхней границей.
Ламе показал, что количество шагов, необходимых для достижения наибольшего общего делителя для двух чисел, меньших n, является
[/g1]
Таким образом, O(log min(a, b)) является хорошей верхней границей.
O(log min(a, b))