Algorithmes de programmation par contraintes
Algorithmes de programmation par contraintes pour la
recherche d’allocations leximin-optimales.
Sylvain Bouveret et Michel Lemaître
Office National d’Études et de Recherches Aérospatiales
Centre National d’Études Spatiales
Institut de Recherche en Informatique de Toulouse
Séminaire de l’UR Conduite et décision (DCSD),
27 juin 2006
1. Introduction 2. Le problème 3. L’algorithme 4. L’application 5. Conclusion
Quelques problèmes issus du monde réel
Problème d’emploi du temps pour les gardes des infirmières
dans les services d’urgences (Nurse rostering problem).
Problème d’emploi du temps pour le service des pompiers.
Problème d’affectation de créneaux à des compagnies
aériennes dans des aéroports.
Problèmes d’allocation de ressources multi-agents : partage
d’une constellation de satellites d’observation de la Terre.
2 / 44
Algorithmes de programmation par contraintes pour la recherche d’allocations leximin-optimales.
1. Introduction 2. Le problème 3. L’algorithme 4. L’application 5. Conclusion
Quelques points communs entre ces problèmes
Ils peuvent être fortement combinatoires ;difficiles à
résoudre.
Ils font intervenir des variables à domaines généralement finis.
3 / 44
Algorithmes de programmation par contraintes pour la recherche d’allocations leximin-optimales.
1. Introduction 2. Le problème 3. L’algorithme 4. L’application 5. Conclusion
Quelques points communs entre ces problèmes
Ils peuvent être fortement combinatoires ;difficiles à
résoudre.
Ils font intervenir des variables à domaines généralement finis.
Ils font intervenir un certain nombre de contraintes entre ces
variables.
3 / 44
Algorithmes de programmation par contraintes pour la recherche d’allocations leximin-optimales.
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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
1
/
134
100%
