Questions extraites du site genumsi.inria.fr qui propose des QCM d'entraînement.
A quel type tri correspond l'invariant de boucle ci-dessous : tous les éléments d'indices 0 à i-1 sont déjà triés,On considère un algorithme permettant de trier un tableau d'entiers par ordre croissant :
tous les éléments d'indices i à n sont de valeurs supérieures à ceux de la partie triée.

La réponse est : B