Chapitre 2: Terminaison, Correction, Complexité
Un invariant de boucle est une propriété dépendant des variables de l'algorithme
, qui est .... plus compliqué, et on va simplement donner une majoration.
Un invariant de boucle est une propriété dépendant des variables de l'algorithme
, qui est .... plus compliqué, et on va simplement donner une majoration.