Réponses:
Vous avez raison. Notez que le terme abuse légèrement de la notation classique big-O , qui est définie pour les fonctions dans une variable. Cependant, il existe une extension naturelle pour plusieurs variables.
En termes simples, depuis vous pouvez en déduire que et sont des bornes supérieures asymptotiques.
D'autre part, est différent de , car si vous définissez , vous obtenez
Croyez-le ou non, il semble (selon mon expérience) que beaucoup d'algorithmes n'ont pas réellement réfléchi à ce que la grande notation O signifie officiellement, et lorsqu'on vous le demande, vous pouvez obtenir plusieurs réponses différentes. Certaines questions sont abordées dans l'article sur la notation asymptotique à variables multiples par Rodney R. Howell.
Curieusement, il semble également que la plupart des cours d’initiation aux algorithmes passent beaucoup de temps à être très formels à propos de la grande notation O avec une seule variable, puis que les semaines à venir utilisent avec bonheur la notation pour les algorithmes de graphes à plusieurs variables de manière informelle, sans discuter de la notation signifie en réalité.