1.2 Objectifs du cours
1. Savoir que faire pour r´esoudre un probl`eme NP-difficile.
2. D´ecouvrir et revoir des probl`emes ”paradigmatiques” (probl`emes classiques, exemplaires, simplifi´es,
comme le voyageur de commerce par exemple ; qui ont beaucoup d’applications).
3. Tous les probl`emes intraitables ne sont pas les mˆemes. NP-complet : idem d’un point de vue r´esolution
exacte mais peuvent apparaˆıtre tr`es diff´erents d’un point de vue approximabilit´e. (Des algorithmes l’ap-
proximent tr`es efficacement, d’autres moins et certains mˆeme pas) L’objectif consistera `a savoir les
diff´erencier.
4. Apprendre des techniques de conception et d’analyse d’algorithmes d’approximation. ( avoir une ”boite
`a outils”, o`u outils = algorithmes et heuristiques applicables `a un grand nombre de probl`emes)
1.3 Probl`emes d’optimisation
D´efinition 1.1 Probl`eme d’optimisation (discret)
C’est un type de probl`eme o`u il est demand´e de trouver la solution optimale parmi les solutions r´ealisables.
D´efinition 1.2 Probl`eme d’optimisation (formel)
Un probl`eme d’optimisation Pest sp´ecifi´e par (IP, SOLP, mP, goalP)tels que :
–IPest un ensemble d’instances de P; (par exemple, pour la coloration : tous les couples (graphe,entier)).
–SOLPest une fonction qui associe `a chaque instance x∈IPun ensemble de solutions r´ealisables de x
(SOLP(x)) (par exemple, pour la coloration : ensemble des colorations l´egales possibles).
–mPest une fonction de mesure ou fonction objectif d´efinie pour les paires (x, y)tq x∈Ipet y∈
SOLP(x). Pour toute paire (x, y),mP(x, y)donne une valeur non-n´egative.
–goalP∈MIN, MAX sp´ecifiant si Pest une probl`eme de minimisation ou de maximisation.
Quand le contexte est clair, on peut laisser tomber le Pdans les notations.
SOL∗
P(x)est l’ensemble des solutions optimales de x∈IP.
Probl`eme 1.1 MIN VERTEX COVER (VC)
*Instance : graphe G= (V, E),
*Solution : un ensemble de sommets U⊆Vtel que ∀(vi, vj)∈E,vi∈Uou vj∈U.
*Mesure :|U|
Exemple 1.1 Graphe ´etoile `a nsommets, Sn.
Figure 1 – Sn(n= 5), exemple pour VC
C={3}est une solution r´ealisable.
V C(Sn)=1∀n≥2
4