Outils d`analyse
Analyse d’algorithmes
Questions `a se poser lors de la d´efinition d’un algorithme :
Mon algorithme est-il correct ?
Mon algorithme est-il efficace ?
Autre question importante seulement marginalement abord´ee dans ce
cours :
Modularit´e, fonctionnalit´e, robustesse, facilit´e d’utilisation, temps de
programmation, simplicit´e, extensibilit´e, fiabilit´e, existence d’une
solution algorithmique...
Outils d’analyse 56
Correction d’un algorithme
La correction d’un algorithme s’´etudie par rapport `a un probl`eme
donn´e
Un probl`eme est une collection d’instances de ce probl`eme.
IExemple de probl`eme : trier un tableau
IExemple d’instance de ce probl`eme : trier le tableau [8,4,15,3]
Un algorithme est correct pour une instance d’un probl`eme s’il
produit une solution correcte pour cette instance
Un algorithme est correct pour un probl`eme s’il est correct pour
toutes ses instances (on dira qu’il est totalement correct)
On s’int´eressera ici `a la correction d’un algorithme pour un probl`eme
(et pas pour seulement certaines de ses instances)
Outils d’analyse 57
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
49
50
51
52
53
54
55
56
57
58
1
/
58
100%
