Questions extraites du site genumsi.inria.fr qui propose des QCM d'entraînement.

On considère un algorithme permettant de trier un tableau d'entiers par ordre croissant :




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,


tous les éléments d'indices i à n sont de valeurs supérieures à ceux de la partie triée.


Cliquer pour afficher la solution

La réponse est : B