On peut trouver la borne inférieure de tout algorithme de classement qui repose sur des comparaisons binaires.
Étant donné un tableau de éléments distincts : il y a permutations de ces éléments, et une seule permutation
correspondau tableau ordonné.
L'algorithme doit collecter suffisamment d'information en comaprant des paires d'éléments pour trouver cette permutation.
Supposons que l'algorithme ait effectué comparaisons : il ne peut pas discerner plus que cas, puisque les éléments
sont distincts et le résultat de la comparaison est binaire.
Il faut donc que : pour espérer classer le tableau.
En prenant les logarithmes : , soit d'après la formule de Stirling .
On a donc la borne inférieure de la complexité d'un algorithme de classement.
L'existence d'algorithmes comme celui du tri fusion nous fournit la borne supérieure.
On peut donc dire que le problème du tri a une complexité asymptotique en .