Tri d'une liste
La correction s'obtient par récurrence forte sur la longueur du tableau. On note C(n) le nombre de comparaisons entre deux éléments du tableau.
La correction s'obtient par récurrence forte sur la longueur du tableau. On note C(n) le nombre de comparaisons entre deux éléments du tableau.