THÈSE DE DOCTORAT Contribution aux algorithmes de réparation de solutions pour

N° d’ordre : 2917
THÈSE DE DOCTORAT
Présentée par
El Mehdi EL GRAOUI
Discipline : Science de l’ingénieur
Spécialité : Informatique
Contribution aux algorithmes de réparation de solutions pour
une résolution avec le minimum de perturbation
Soutenue publiquement le 29 octobre 2016 :
Devant le jury
Président :
M. BENKHALIFA Mohammed PES, Faculté des Sciences, Rabat
Examinateurs :
M. BOUYAKHF El-Houssine PES, Faculté des Sciences, Rabat
M. CHEFCHAOUNI Abdelfattah Charif PES, INPT, Rabat
M. BENELALLAM Imade PH, INSEA, Rabat
M. EZZAHIR Redouane PH, ENSA, Agadir
M. KADRANI Abdeslam PH, INSEA, Rabat
Invité :
M. MECHQRANE Younes Dr, Gendarmerie Royale,Rabat
M.GUEDIRA Ali ING(directeur ) Expert en
Technologies de l’information, Energie et
Politiques Publiques
Faculté des Sciences, 4 Avenue Ibn Battouta B.P. 1014 RP, Rabat – Maroc
Tel [phone]/38, Fax : [phone], http://www.fsr.ac.ma

1

Avant propos 2
Avant propos
Ce m´emoire de th`ese a ´et´e r´ealis´e au sein du laboratoire LIMIARF (Laboratoire Infor-
matique, Math´ematique appliqu´ees, Intelligence Artificielle et Reconnaissance de Forme)
de la facult´e des sciences de Rabat. Ce travail a ´et´e effectu´e sous la direction du Pro-
fesseur El Houssine Bouyakhf de la facult´e des sciences de Rabat en Codirection avec le
Professeur habilit´e Imade BENELALLAM `a l’INSEA de Rabat.
Je tiens `a remercier vivement le professeur El-Houssine BOUYAKHF, Directeur de th`ese
et Directeur du LIMIARF (Laboratoire d’Informatique, Math´ematiques appliqu´ees, In-
telligence Artificielle et Reconnaissance de Formes), pour la confiance qu’il m’a t´emoign´e
en acceptant la direction scientifique de mes travaux. Je lui suis reconnaissant de m’avoir
fait b´en´eficier tout au long de ce travail de sa grande comp´etence, de sa rigueur intellec-
tuelle, de son dynamisme, et de son efficacit´e certaine que je n’oublierai jamais. Soyez
assur´e de mon attachement et de ma profonde gratitude.
Je tiens ´egalement `a exprimer ma reconnaissance `a Monsieur Imade BENELALLAM,
professeur habilit´e `a l’INSEA de Rabat et mon Co-encadrant, pour son soutien perma-
nent aussi bien pour mes travaux de recherches que pour mes enseignements.
Je suis tr`es honor´e `a remercier de la pr´esence `a mon jury de th`ese et je tiens `a remercier :
Monsieur Mohammed BENKHALIFA, professeur de l’enseignement sup´erieur `a la Fa-
cult´e des Sciences de Rabat, pour l’honneur qu’il m’a fait en acceptant d’ˆetre Pr´esident
de mon jury de th`ese. Je tiens `a l’assurer de ma profonde reconnaissance pour l’int´erˆet
qu’il porte `a ce travail.
Monsieur Abdelfattah Charif CHEFCHAOUNI, professeur de l’enseignement sup´erieur
`a l’INPT de Rabat, d’avoir accept´e de faire parti du jury de cette th`ese. Je le remercie
pour les conseils scientifiques qu’il a apport´e, ainsi que pour son immense aide pour
mener `a bien ces travaux.
Monsieur Redouane EZZAHIR, professeur habilit´e `a l’ENSA d’Agadir, pour l’honneur
qu’il m’a fait pour sa participation `a mon jury de th`ese en qualit´e de rapporteur de mon
travail, pour le temps consacr´e `a la lecture de cette th`ese, et pour les suggestions et les
remarques judicieuses qu’il m’a indiqu´ees.
Monsieur Abdeslam KADRANI, professeur habilit´e `a l’INSEA de Rabat, pour sa par-
ticipation `a mon jury de th`ese en qualit´e de rapporteur de mon travail et pour toutes
remarques int´eressantes qu’il m’a fait.
Monsieur Younes MECHQRANE, docteur en intelligence artificielle, fonctionnaire en
Gendarmerie Royale `a Rabat, qui a bien voulu juger ce travail. Je le remercie pour le
temps consacr´e `a la lecture de ce travail ainsi que pour les commentaires m’ayant permis
de l’am´eliorer.

Avant propos 3
Monsieur Ali GUEDIRA, directeur Expert en Technologies de l’information, Energie et
Politiques Publiques, pour l’int´erˆet qu’il a manifest´e en participant en qualit´e de membre
invit´e `a ce jury.
A titre plus personnel, je remercie tous mes amis les th´esards et les autres membres du
laboratoire LIMIARF, notamment ceux avec qui j’ai eu l’occasion de travailler et les
autres simplement pour les bons moments partag´es.
Finalement je remercie mes parents pour leurs soutiens qui m’a ´et´e bien utile durant ma
th`ese.

Table des mati`eres
Avant propos 2
Table des Figures 7
Abstract 10
r´esum´e 10
Introduction g´en´erale 11
1 Programmation Par Contraintes 1
1.1 Introduction ................................... 1
1.2 Probl`eme de Satisfaction de Contraintes ................... 2
1.2.1 D´efinitions CSP Statique, Dynamique et Distribu´e ......... 2
1.2.2 Notion de contrainte .......................... 3
1.2.2.1 D´efinition d’une contrainte ................. 3
1.2.2.2 Types de contraintes ..................... 3
1.3 Exemples de formalisation ........................... 4
1.3.1 Exemple statique : Probl`eme N.Reine (N=4) ............ 4
1.3.2 Exemple dynamique .......................... 6
1.3.3 Exemple distribu´e : planification de r´eunions ............ 6
1.4 M´ethodes de r´esolution des CSPs ....................... 8
1.4.1 Algorithmes pour les CSPs statiques ................. 8
1.4.2 Algorithmes pour les CSPs Dynamiques ............... 9
1.4.3 Algorithmes pour les CSPs Distribu´es ................ 11
1.5 Heuristiques ................................... 13
1.6 Conclusion ................................... 14
2 Correction et am´elioration de l’algorithme HS MPP pour probl`eme de
perturbation minimale (Minimal Perturbation Problems MPP) 15
2.1 Introduction ................................... 15
2.2 Probl`eme de Perturbation Minimale ..................... 16
2.2.1 Probl´ematique ............................. 16
2.2.2 D´efinition d’un probl`eme de perturbation minimale ........ 18
2.3 Exemple de mod´elisation ............................ 19
2.4 M´ethodes de r´esolution des MPPs ...................... 20
2.5 Correction de HS MPP ............................ 24
4