Tri par tas
La correction de l'algorithme se justifie facilement `a partir des propriétés du syst`eme binaire. Le coût est de : log n + ?(n) ? 1, o`u ?(n) ...
La correction de l'algorithme se justifie facilement `a partir des propriétés du syst`eme binaire. Le coût est de : log n + ?(n) ? 1, o`u ?(n) ...