preguntar acerca de loop-invariant

Je lis" Introduction à L'algorithme " CLRS. et les auteurs parlent d'invariants de boucle, au chapitre 2 (Tri par Insertion). Je n'ai pas la moindre idée de ce que cela signifie. ... …

Comme on le voit sur Introduction aux Algorithmes (http://mitpress.mit.edu/algorithms), l'exercice est la suivante: Entrée: Tableau A[1...n] Sortie: i, où A[i]=v ou NUL lorsqu'il n'est pas trouvé Écrire un pseudocode pour la recherche linéaire …