Master Theorem

En analyse de la complexité des algorithmes, on est souvent dans le cas d'un algorithme dont la complexité $C(n)$ vérifie \[ C(n) = a C(n/b) + f(n) \] Le \"master theorem\" étudie le comportement asymptotique de $C(n)$ de manière générale. La preuve est calculatoire mais donne un résultat intéressant.