Ich habe Schwierigkeiten, die zeitliche Komplexität von Euklids größtem gemeinsamen Nenner-Algorithmus zu bestimmen. Dieser Algorithmus in Pseudocode lautet:

function gcd(a, b)
    while b ≠ 0
       t := b
       b := a mod b
       a := t
    return a

Es scheint von @ abzuhänga undb. Meiner Meinung nach ist die zeitliche Komplexität O (a% b). Ist das korrekt? Gibt es einen besseren Weg, das zu schreiben?