Un algorithme de recherche effectue opérations sur une entrée de taille . On veut prouver que , puis que .
La définition
s'il existe un rang et un réel tels que, pour tout , .
Le couple n'est pas unique : plus on accepte un grand, plus on peut commencer tôt, et inversement.
Objectif
Trouver les valeurs demandées pour et , en ne considérant que des entiers.