Étude et résolution exacte de problèmes de transport à la demande ...
Étude et résolution exacte de problèmes de transport à la demande ...
Étude et résolution exacte de problèmes de transport à la demande ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
tel-00534894, version 1 - 10 Nov 2010<br />
Chapitre 2. Optimisation du calcul <strong>de</strong>s tournées <strong>de</strong> véhicules : « Dial-A-Ri<strong>de</strong><br />
Problem »<br />
2.2.1 Principes <strong>de</strong> <strong>la</strong> métho<strong>de</strong><br />
La métho<strong>de</strong> <strong>de</strong> génération <strong>de</strong> colonnes perm<strong>et</strong> <strong>de</strong> résoudre <strong>de</strong>s programmes linéaires.<br />
Les variables sont appelées colonnes. Lorsque <strong>la</strong> génération <strong>de</strong> colonnes est intégrée<br />
dans une recherche arborescente, lors <strong>de</strong> <strong>la</strong> <strong>résolution</strong> <strong>de</strong> programmes linéaires<br />
en nombres entiers par exemple, on parle <strong>de</strong> SEPGCOL (Branch & Price en ang<strong>la</strong>is).<br />
C’est une métho<strong>de</strong> itérative. À chaque itération, on résout un problème restreint (en<br />
nombre <strong>de</strong> colonnes). De <strong>la</strong> solution obtenue <strong>et</strong> <strong>de</strong>s principes <strong>de</strong> dualité <strong>de</strong> <strong>la</strong> programmation<br />
linéaire, on déduit l’optimalité ou non <strong>de</strong> <strong>la</strong> solution obtenue. À l’itération suivante<br />
on enrichit le problème restreint d’une ou plusieurs colonnes. Les informations<br />
obtenues lors <strong>de</strong> <strong>la</strong> <strong>résolution</strong> précé<strong>de</strong>nte perm<strong>et</strong>tent aussi <strong>de</strong> caractériser <strong>de</strong>s variables<br />
intéressantes <strong>à</strong> ajouter. Le problème initial <strong>à</strong> résoudre est appelé problème maître ou<br />
principal <strong>et</strong> le générateur <strong>de</strong> nouvelles colonnes est appelé problème esc<strong>la</strong>ve ou sousproblème.<br />
Considérons le problème maître générique MP, où les données a r ω <strong>et</strong> b r sont <strong>de</strong>s<br />
rationnels <strong>et</strong> cw <strong>de</strong>s réels. Les variables <strong>de</strong> décision sont les réels λw.<br />
s.c.q.<br />
(MP)<br />
min ∑ cωλω<br />
ω∈Ω<br />
(2.1)<br />
∑ a<br />
ω∈Ω<br />
r ωλω ≤ b r ∀r = 1, . . . , R, (2.2)<br />
λω ≥ 0 ∀ω ∈ Ω. (2.3)<br />
P<strong>la</strong>çons nous <strong>à</strong> l’itération it <strong>de</strong> <strong>la</strong> <strong>résolution</strong> par génération <strong>de</strong> colonnes. On résout<br />
optimalement le problème maître restreint <strong>à</strong> Ω it ⊆ Ω. On suppose que <strong>la</strong> métho<strong>de</strong><br />
<strong>de</strong> <strong>résolution</strong> utilisée donne aussi une solution optimale au dual du programme linéaire<br />
3 . Notons π r <strong>la</strong> variable duale associée <strong>à</strong> <strong>la</strong> r ième contrainte (2.2). Toute colonne<br />
ω ∈ Ω \ Ω it susceptible <strong>de</strong> diminuer <strong>la</strong> valeur <strong>de</strong> <strong>la</strong> fonction objectif si on l’ajoute au<br />
problème maître restreint a un coût réduit c π w (défini par l’équation 2.4) négatif. Le problème<br />
esc<strong>la</strong>ve consiste donc <strong>à</strong> trouver <strong>de</strong> telles colonnes. Il est souvent posé comme un<br />
problème <strong>de</strong> minimisation sur les c π w. Si aucune colonne <strong>de</strong> coût réduit négatif n’existe,<br />
on déduit alors l’optimalité pour MP <strong>de</strong> <strong>la</strong> solution obtenue <strong>à</strong> l’itération it.<br />
c π R<br />
ω = cω − ∑<br />
r=1<br />
a r ωπ r<br />
Le schéma <strong>de</strong> <strong>la</strong> figure 2.1 illustre le déroulement <strong>de</strong> l’algorithme <strong>de</strong> génération <strong>de</strong><br />
colonnes.<br />
Le fait d’augmenter progressivement <strong>la</strong> taille du problème <strong>à</strong> résoudre rend <strong>la</strong> génération<br />
<strong>de</strong> colonnes particulièrement adaptée pour <strong>la</strong> <strong>résolution</strong> <strong>de</strong> <strong>problèmes</strong> possédant<br />
(2.4)<br />
3 Les algorithmes, basés sur celui du simplexe ou celui du point intérieur, implémentés dans <strong>la</strong> plupart<br />
<strong>de</strong>s solveurs du marché donnent les <strong>de</strong>ux solutions.<br />
32