Euclid's algorithm is an efficient method for computing the greatest common divisor (GCD) of two numbers. It works by repeatedly finding the remainder of dividing the larger number by the smaller number, and then setting the larger number equal to the smaller number and the smaller number equal to the remainder, until the smaller number is zero. The last non-zero remainder is the GCD. The time complexity of Euclid's algorithm is O(log n) where n is the smaller of the two input numbers. Algorithm analysis techniques such as worst-case, best-case, average-case analysis and asymptotic notations can be used to formally analyze the efficiency of algorithms.