Python中的gcd函数（最大公约数）使用了欧几里得算法，其时间复杂度为O(log(min(a, b)))，其中a和b是输入的两个整数。这是因为欧几里得算法每次迭代都会将较小的数减小，直到两者相等或其中一个为0。在最坏情况下，每次迭代都需要除以2，因此时间复杂度为O(log(min(a, b)))。