Par exemple, considérons le problème suivant : étant donnée une

Informatique pour tous Outils de base en algorithmique
I-Algorithme ou programme ? II-Répétition en boucle
1) Algorithme 1) Boucle inconditionnelle
2) Programme 2) Boucle conditionnelle
3) L’algorithme est–il correct ?
a) invariant de boucle
Par exemple, considérons le problème suivant : étant donnée
une collection ordonnée d’entiers, pas nécessairement successifs,
quelle est la somme des éléments situés entre les entiers min et
max compris ?

Informatique pour tous Outils de base en algorithmique
On propose l’algorithme suivant :
t = (11, 23, 32, 44, 58, 61, 78, 803, 917)
min, max = 23 , 78
s = 0
i = t.index(min)
while i<= t.index(max) :
s += t[i]
i += 1
print(s)
I-Algorithme ou programme ? II-Répétition en boucle
1) Algorithme 1) Boucle inconditionnelle
2) Programme 2) Boucle conditionnelle
3) L’algorithme est–il correct ?
a) invariant de boucle
Par exemple, considérons le problème suivant : étant donnée
une collection ordonnée d’entiers, pas nécessairement successifs,
quelle est la somme des éléments situés entre les entiers min et
max compris ?

Informatique pour tous Outils de base en algorithmique
I-Algorithme ou programme ? II-Répétition en boucle
1) Algorithme 1) Boucle inconditionnelle
2) Programme 2) Boucle conditionnelle
3) L’algorithme est–il correct ?
a) invariant de boucle
t = (11, 23, 32, 44, 58, 61, 78, 803, 917)
min, max = 23 , 78
s = 0
i = t.index(min)
while i<= t.index(max) :
s += t[i]
i += 1
print(s)
Invariant (I) : au début de chaque
itération, la variable scontient la somme des
éléments du tuple tdepuis min jusqu'à t[i-1].

Informatique pour tous Outils de base en algorithmique
I-Algorithme ou programme ? II-Répétition en boucle
1) Algorithme 1) Boucle inconditionnelle
2) Programme 2) Boucle conditionnelle
3) L’algorithme est–il correct ?
a) invariant de boucle
t = (11, 23, 32, 44, 58, 61, 78, 803, 917)
min, max = 23 , 78
s = 0
i = t.index(min)
while i<= t.index(max) :
s += t[i]
i += 1
print(s)
Invariant (I) : au début de chaque
itération, la variable scontient la somme des
éléments du tuple tdepuis min jusqu'à t[i-1].
Il ne faut pas confondre les entiers contenus dans t, comme
min et max,et l’entier iqui est un indice pour repérer un élément
de t.

Informatique pour tous Outils de base en algorithmique
I-Algorithme ou programme ? II-Répétition en boucle
1) Algorithme 1) Boucle inconditionnelle
2) Programme 2) Boucle conditionnelle
3) L’algorithme est–il correct ?
a) invariant de boucle
t = (11, 23, 32, 44, 58, 61, 78, 803, 917)
min, max = 23 , 78
s = 0
i = t.index(min)
while i<= t.index(max) :
s += t[i]
i += 1
print(s)
Invariant (I) : au début de chaque
itération, la variable scontient la somme des
éléments du tuple tdepuis min jusqu'à t[i-1].
Il ne faut pas confondre les entiers contenus dans t, comme
min et max,et l’entier iqui est un indice pour repérer un élément
de t.