Analyse des algorithmes
Premium
InvariantDeBoucle
PreuveDExactitude
Induction
Initialisation
Terminaison
Invariant de boucle
Un invariant doit satisfaire trois propriétés : initialisation, maintenance et terminaison. Ces trois étapes constituent une preuve par induction que l'algorithme produit le résultat attendu.