Informatique Chapitre 9: Variants et invariants de boucle
Informatique
Chapitre 9: Variants et invariants de boucle
Jérôme DIDIER
19/11/2014
OBJECTIFS VARIANT INVARIANT
Objectifs du cours
Compétences visées
IJustifier qu’une itération (ou boucle) produit l’effet attendu au moyen
d’un invariant
IDémontrer qu’une boucle se termine effectivement (variant de boucle)
IConnaitre les moyens de sortir des boucles sans les parcourir
entièrement
J. Didier Informatique Chapitre 9 2
OBJECTIFS VARIANT INVARIANT
Objectif
Comment stopper une boucle ?
Dans une boucle for ou while, on veut pouvoir s’arrêter si on réalise une
condition.
Exemple 1 : Chercher le premier entier naturel divisible par 6, par 7 et par 8.
Solutions naïves (une avec for et une avec while) ?
J. Didier Informatique Chapitre 9 3
OBJECTIFS VARIANT INVARIANT
Objectif
Comment stopper une boucle ?
Dans une boucle for ou while, on veut pouvoir s’arrêter si on réalise une
condition.
Exemple 1 : Chercher le premier entier naturel divisible par 6, par 7 et par 8.
Solutions naïves (une avec for et une avec while) ?
J. Didier Informatique Chapitre 9 3
OBJECTIFS VARIANT INVARIANT
Solution : utiliser la commande break
L’instruction break : fin de boucle « brutale » :
Si le programme rencontre une instruction break, la boucle indentée
correspondante est interrompue.
Exemple 1 : Chercher le premier entier naturel divisible par 6, par 7 et par 8.
Nouvelles solutions (une avec for et une avec while) ?
J. Didier Informatique Chapitre 9 4
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
1
/
48
100%
