Thorie des Graphes Chapitre n 6

Chapitre n6 : Applications des chemins extrmaux

Le problme de l'ordonnancement
Le problme de l'ordonnancement consiste en la recherche d'un temps d'excution minimum
pour une tche complexe T qui peut tre dcompose en sous-tches lmentaires Ti pour
lesquelles existent diffrents types de contraintes. Les exemples les plus courants concernent
les problmes de construction qui font intervenir des corps de mtiers qui doivent se succder
ou peuvent travailler en parallle. Plus gnralement, le problme de l'ordonnancement
concerne la planification de projets de grande taille.
Nous allons commencer par dcrire un problme d'ordonnancement ne comportant que des
contraintes simples et montrer comment on peut le modliser sous forme d'un problme de
recherche de chemin de poids minimum dans un graphe. Ensuite seulement, nous largirons le
problme en y incluant des contraintes et des lments plus ralistes et nous adapterons le
modle en consquence.
Problme de base de l'ordonnancement :
On fait les hypothses suivantes :
1. On suppose connues les dures di des tches Ti ; i = 1,n.
2. Pour tout couple de tches (Ti ,Tj ),
soit Ti et Tj sont indpendantes l'une de l'autre et peuvent avoir lieu en parallle,
soit Tj ne peut dmarrer qu'au moins t ij units de temps aprs la fin de Ti ,
soit Ti ne peut dmarrer qu'au moins t ji units de temps aprs la fin de Tj ,
3. Il existe deux tches fictives de dure nulle,
T0 qui correspond au dbut des travaux et prcde Ti pour tout i > 0,
Tn+1 qui correspond la fin des travaux et est prcde de Ti pour tout i n.
On recherche le temps minimum ncessaire pour accomplir la tche T soit X.
Par convention, on fait commencer les travaux au temps 0, X est donc aussi la date de fin au
plus tt possible. En outre, pour chaque tche Ti (i = 0,n+1) on recherche :
1. La date de dbut au plus tt possible soit Xi,
2. La date de dbut au plus tard possible soit Yi compatible avec la dure minimum X,
3. La marge totale, MTi = Yi - Xi , c--d le dlai maximum compt partir de la date au plus
tt Xi qui ne modifiera pas la date de fin X,
4. La marge libre, Mli , c--d le dlai maximum compt partir de la date au plus tt X i qui ne
modifiera aucune date de dbut Xj (j i) des autres tches.

Thorie des Graphes Chapitre n 6

Commentaires et notations:
Le problme de base ne prend pas en compte les ressources ncessaires pour accomplir,
ventuellement en parallle, les diffrentes tches. On suppose ces ressources suffisantes.
L'hypothse 2 concerne une situation classique de succession; par exemple entre la fin de la
pose de la premire couche de couleur (T i) et le dbut de la pose de la seconde couche (T j), il
faut attendre au moins un certain temps t ij. Quelquefois, deux tches lmentaires Ti et Tj
peuvent se succder directement; dans ce cas, t ij = 0. Exemple : ds que le mesurage est
termin, on peut commencer creuser les fondations.
On suppose disposer d'une matrice t dont l'lment ij a la signification suivante :
1. t ij = 0 , le dbut de Tj doit suivre la fin de Ti , le dlai entre ces 2 vnements peut tre nul
2. t ij > 0 , le dbut de Tj doit suivre la fin de Ti , le dlai entre ces 2 vnements doit tre t ij
3. t ij = -1, la tche Tj est indpendante de la tche Ti
La matrice t n'est videmment pas quelconque : i,j : i j, l'un des deux lments t ij et tji au
moins doit valoir -1 : t ij 0 tji = -1. Sans cette condition il pourrait exister deux tches qui
devraient chacune commencer avant l'autre.
On pourrait imaginer d'autres types de contraintes de succession, nous y reviendrons.
L'hypothse 3, n'est en fait qu'une convention qui simplifie l'expression et la modlisation mais
elle peut correspondre une situation relle : si la tche T est une construction, T 0 est par
exemple l'envoi du formulaire de permis de btir et T n+1 la signature de la rception dfinitive
des travaux. La succession implique t 0i = ti,n+1 = 0 ; i = 1,n.
On a bien sr X0 = Y0 = 0 et Xn+1 = Yn+1 = X.
Les tches pour lesquelles aucun retard vis vis de la date au plus tt n'est permis sans
remettre en cause la dure de T (MTi = 0) sont dites critiques.
On a aussi MLi MTi . En pratique, de nombreuses tches non critiques ont une marge libre
nulle comme nous le verrons sur l'exemple illustratif. Une tche a une marge libre non nulle si
elle n'est pas critique et si sa terminaison ne conditionne pas le dbut d'une autre tche.
Le problme de l'ordonnancement peut tre rsolu par la programmation linaire (algorithme
du simplexe) mais sa mise en uvre est beaucoup plus lourde et moins performante que celle
de la recherche de chemins extrmaux.
Modlisations en terme de graphe
Il existe deux manires classiques de modliser le problme de l'ordonnancement :
la mthode PERT (Performance Evaluation Review Technique)
la mthode MPM (Mthode des Potentiels Metra)
La premire, plus connue, a donn son nom au problme lui mme et il n'est pas rare
d'entendre parler d'un problme "PERT". Pourtant, la seconde est lgrement plus efficace en

Thorie des Graphes Chapitre n 6

terme de complexit car elle construit un graphe gnralement de plus petite taille. On peut
considrer que les deux mthodes utilisent des approches duales : ce que l'une reprsente par
un sommet l'autre le modlise par un arc et rciproquement.
Mthode PERT
La mthode PERT construit un graphe G(X,U) associ au problme de telle faon que :
les arcs reprsentent les tches effectives ou les dlais, pondrs par les dures et
les sommets modlisent les successions et les deux tches fictives.
U = {Tches T1,...Tn. } {Dlais positifs} { (T0,Ti) ; i=1,n } { (Ti,Tn+1) ; i=1,n }
X = {x | ui uj = x ssi une contrainte de succession entre ui et uj } { T0 } {Tn+1}
W = matrice des poids ; Wij = di ou tij ou 0 selon l'arc correspondant
Si tij = 0 , on a
(1)

(5)

(2)

di

dj

Si tij > 0 , on a
(3)

(7)

(6)
di

(1) et (3)
(2) et (4)
(5) et (6)
(5) et (7)

tij

(4)
dj

reprsentent le dbut de la tche Ti

reprsentent la fin de la tche Tj
reprsentent la fin de la tche Ti
reprsentent le dbut de la tche Tj

Lorsque le dbut d'une tche Tj est conditionn par la fin de plusieurs tches Tr, ...Ti , il vient

dr

dj

di

Thorie des Graphes Chapitre n 6

La modlisation PERT est assez naturelle puisqu'elle reprsente le temps par les pondrations
des arcs. Elle prsente cependant une difficult qui apparat, par exemple, dans la situation
suivante :
tij = tkj = tkm = 0 et tim = -1 autrement dit lorsque le dbut d'une tche, ici j, est conditionn par
la fin d'au moins deux autres, ici i et k et que le dbut d'une autre tche, ici m, n'est conditionn
que par la fin de certaines des tches, ici k, mais pas toutes (pas i) celles qui conditionnent le
dbut de j.
Le graphe suivant (exemple 1) n'est pas correct car il lie indment m et i.
di

dj

dm

dk

Pour modliser correctement les successions, on introduit des arcs artificiels de poids nuls et il
vient :
di

dj

dk

dm

Dans l'exemple ci-dessus, seul l'arc en oblique est indispensable et on aurait pu aussi utiliser le
graphe plus simple suivant :

di

dj
0

dk

dm

L'utilisation systmatique d'arcs artificiels de poids nuls permet de modliser n'importe quelle
situation de succession au dpart d'un graphe uniquement constitu d'arcs disjoints
reprsentant les n tches T1,...Tn. On peut ensuite simplifier le graphe si ncessaire.
De mme, dans un but de lisibilit du graphe, on ne considre :
l'arc entre T0 et Ti que si Ti est tel que t ki = -1 k =1,n.
l'arc entre Ti et Tn+1 que si Ti est tel que tik = -1 k =1,n.
On peut se convaincre aisment que le contenu informatif en terme de succession n'est pas
modifi par cette simplification.

Thorie des Graphes Chapitre n 6

A ce stade, on dispose d'un graphe sans circuit possdant une racine (T 0) et une anti-racine
(Tn+1) c--d un sommet descendant de tous les autres.
La longueur d'un chemin entre la racine et l'anti-racine reprsente le temps minimum ncessaire
pour accomplir les arcs qui constituent le chemin : soit des dures de tches soit des dlais
entre tches successives . Il s'agit bien d'un temps minimum car on suppose que chaque dlai
est compt son minimum t ij.
La dure minimale X des travaux sera donne par le poids du chemin le plus long entre la
racine et l'anti-racine . Ce paradoxe n'en est pas un car c'est bien la succession des tches la
plus longue qui dtermine la dure totale comme le montre ce simple exemple (exemple 2) :

0
T0
0

d1=10

d2=8

T1

T2

d3=6

d4=5

T3

T4

0
0

T5

La dure des travaux sera de 18 units de temps , les tches critiques sont T1 et T2 , les tches
T3 et T4 peuvent tre retardes de 7 units de temps (leurs marges totales valent 7).
Les dates au plus tt sont respectivement 0 , 10 , 0 et 6.
Les dates au plus tard sont respectivement 0 , 10 , 7 et 13.
La marge libre de T3 est nulle car un retard sur T3 implique un retard sur T4.
La marge libre de T4 est de 7 car tout retard sur le dbut de T4 qui n'excde pas 7 n'a aucune
consquence sur les autres tches.
Dans les petits problmes acadmiques, il est frquent que les marges libres soient gales soit
0 soit aux marges totales correspondantes mais ce n'est pas toujours le cas.
Les dates au plus tt (Xi) sont donnes par les poids des chemins T0Ti-maximaux ; en
particulier la dure totale X est le poids du chemin T0Tn+1- maximum.
Pour trouver les dates au plus tard (Yi) , il faut :
1.
2.
3.

inverser le sens des arcs du graphe, soit G' le graphe obtenu,

calculer les dates au plus tt (X'i) sur le graphe G'
calculer Yi = X - X'i - di

Reprenons le petit exemple 4 tches effectives;

Les dates au plus tt X'i sont respectivement 8 , 0 , 5 et 0.
Les dates au plus tard Yi valent donc bien 18-8-10=0 , 18-0-8=10 , 18-5-6=7 et 18-0-5=13.
On peut se convaincre de la validit du procd en considrant que le poids X'i du chemin
Tn+1Ti-maximum du graphe G' reprsente bien le temps ncessaire l'accomplissement des
tches qui succdent Ti .
Si la tche Ti commence aprs le moment Yi , le temps total pour accomplir T sera > Yi + X'i +
di = X .
Le calcul des marges totales procde d'une simple soustraction : MTi = Yi - Xi
Les marges libres sont donnes, par simple application de la dfinition, par la formule

Thorie des Graphes Chapitre n 6

MLi =

Min X j X i - d i -t ij ; t ij 0

Mthode MPM
La mthode MPM construit un graphe G(X,U) associ au problme de telle faon que :
les sommets reprsentent les tches effectives ou fictives et que
les arcs pondrs par les dures augmentes des dlais ventuels modlisent les
successions.
Il vient :
X = { Tches T0,...,T n+1 }
U = { (Ti,Tj) | tij 0 }
Wij = di + tij
La modlisation base sur l'association sommet - tche est toujours possible et les successions
peuvent s'exprimer sans recours aux arcs artificiels.
Une fois le graphe G construit, l'exploitation de G pour trouver les dates au plus tt, au plus
tard et les marges, est identique celle de la mthode PERT.
La modlisation MPM de l'exemple 1 est la suivante :

Ti

di+tij

Tj

dj

T0

dk+tkj

Tn+1

dm
Tk

dk+tkm

Tm

On remarquera que seuls les arcs incidents la tche fictive T0 sont de poids nul ; au contraire
des arcs incidents la tche fictive de fin T n+1.
Il n'y a pas d'arc artificiel, mais par contre l'information sur la dure d'une tche peut tre
multiplie (comme pour Tk dans l'exemple) ou masque lorsqu'elle est combine un dlai.

Thorie des Graphes Chapitre n 6

Exemple de la construction d'un site d'exploitation minire

Cet exemple emprunt J. Fichefet (Notes de cours , Thorie des graphes, pages II.37) va
nous permettre de comparer les modlisations PERT et MPM (cf. figures I et II).
Ns Tches
0
1
2
3
4
5
6

Conditions de dmarrage

Obtention du permis d'exploiter

Construction d'une route
Construction d'un port provisoire
Commande du matriel portuaire
Pose d'une voie ferre
Construction du port dfinitif
Construction de logements pour le
personnel
Construction de l'installation minire

7
8

Mise en place de l'quipement

portuaire
Dbut de l'exploitation minire

Dures en
semaines
0
5 semaines aprs permis d'exploiter
16
1 semaine aprs permis d'exploiter
14
3 semaines aprs permis d'exploiter
20
route et port provisoire finis
8
port provisoire fini
18
port provisoire fini et matriel portuaire
25
livr
voie ferre, port dfinitif et logements
15
achevs
matriel portuaire livr et port dfinitif
17
construit
toutes tches acheves
0

Tous calculs effectus, on obtient :

Tche n

Dure

0
1
2
3
4
5
6
7
8
9

0
16
14
20
8
18
25
15
17
0

Date au
plus tt
0
5
1
3
21
15
23
48
33
63

Date au
plus tard
0
24
9
3
40
28
23
48
46
63

Fin au
plus tt
0
21
15
23
29
33
48
63
50
63

Fin au
plus tard
0
40
23
23
48
46
48
63
63
63

Marge
Totale

Marge
Libre

19
8
0
19
13
0
0
13

0
0
0
19
0
0
0
13

Les tches critiques (3, 6 et 7)sont mises en vidence.

La recherche du chemin de poids maximum sur le graphe G et sur le graphe invers G' est
visualise par les figures III.15 et IV pour la modlisation MPM Les notations entre crochets
reprsentent les marquages (etiq) et les poids (pi) de l'algorithme de Bellman-Kalaba.
Les tches sont notes xi au lieu des Ti
Les dates de fin sont utilises pour construire le diagramme dit de Gantt (figure V)
Reprsentation PERT

Thorie des Graphes Chapitre n 6

(4) 8

(1) 16

(7) 15

fin des
oprations

(5) 18

(2) 14
1
dbut
gnral

(8) 17

(3) 20

(6) 25

- figure I -

Reprsentation MPM

x1
5

x4

16
14

x0

15

18

1
14

x2

x5

18

14
3

x7

17

25

20
x6

x3
20

- figure II -

x8

x9

Thorie des Graphes Chapitre n 6

Recherche du chemin ToTn+1 maximum dans G

[x0,5]
x1
5

x4 [x1,21]
8

16
14

x0

14

x2
[x0,1]
3

[x6,48]
15

18

[nil,0]

x7

x5
[x2,15]

20

x8
[x5,33]

x6
[x3,23]

x3
[x0,3]

[x7,63]

18
25

x9

17

20

- figure III -

Recherche du chemin Tn+1To maximum dans G'

[x4,39]
x1
5

x4 [x7,23]
8

16
14

x0

14

x2
[x6,54]
3

[x9,15]
15

18

[x3,63]

x7

x5
[x8,35]

20

x6
[x7,40]

x3
[x6,60]

20

- figure IV -

[nil,0]

18
25

x9

17
x8
[x9,17]

Thorie des Graphes Chapitre n 6

10

Diagramme de Gantt

00

05

10

15

20

25

30

35

40

45

50

55

60

- figure V Les rectangles reprsentent les tches avec leur dure selon l'axe de temps horizontal.
Les tches critiques sont reprsentes par des rectangles griss.
Les traits attachs aux rectangles indiquent les marges totales.
Nous allons prsent gnraliser le problme de l'ordonnancement en introduisant d'autres
aspects. Etant donn sa plus grande simplicit, nous effectuerons les modlisations selon la
mthode MPM.
Premire gnralisation du problme : autres contraintes de succession et de localisation
temporelle
Jusqu' prsent, nous avons modlis la contrainte de succession :
"La tche j ne peut dbuter, au plus tt que tij units de temps aprs la fin de la tche i".
par le sous-graphe :

Ti

di + tij

Tj

Dans la phrase, nous pouvons remplacer chacun des mots souligns par son oppos (dbut
fin ; aprs avant, tt tard ) pour crer un autre type de contrainte de succession.

Thorie des Graphes Chapitre n 6

11

Illustrons quelques possibilits :

"La tche j ne peut dbuter, au plus tt que tij units de temps aprs le dbut de la tche i".

+tij

Ti

tij

Tj

"La tche j ne peut finir, au plus tt que tij units de temps aprs la fin de la tche i".
+di
Ti

di + tij - dj

Tj

NB : le poids de l'arc peut tre ngatif.

"La tche j ne peut dbuter, au plus tt que tij units de temps avant la fin de la tche i".
-tij
Ti

di - tij

Tj

"La tche j ne peut dbuter, au plus tard que tij units de temps aprs la fin de la tche i".

Ici la succession i - j est inverse; si Tj doit commencer en Xj pour des raisons n'incluant pas Ti,
cette dernire doit commencer aprs Xj - di - tij.

Tj

-di - tij

Ti

En effet,
Dbut(j) Fin(i) + tij = Dbut(i) + Dure (i) + t ij Dbut(i) Dbut(j) - Dure (i) - t ij
Si on procde plusieurs inversions, on peut retrouver un nonc dj modlis en changeant
le rle de i et de j. Il est possible de combiner plusieurs types de contraintes entre deux tches
et de crer ainsi des circuits dans le graphe. Un circuit absorbant rvlera des contraintes
incompatibles.
Exemple :
"La tche j ne peut dbuter, au plus tt que t ij units de temps aprs la fin de la tche i" et
"La tche j ne peut dbuter, au plus tard que t'ij units de temps aprs la fin de la tche i".
On cre alors un circuit (abandonner Bellman-Kalaba au profit Ford Bellman II) :
Si t'ij tij , le circuit est de poids 0, il ne pose pas de problme.
Si t'ij < tij , le circuit est de poids > 0 donc absorbant vu que l'on procde une maximisation et
on dtecte ainsi une incompatibilit entre les contraintes.

Thorie des Graphes Chapitre n 6

12

L' autre type de contrainte vis, c'est--dire la localisation temporelle, concerne le fait qu'une
tche Tj doit commencer une date prcise soit s. Pour modliser cette contrainte, il suffit de
crer un circuit comme suit :
s
T0

Tj
-s

Une telle contrainte n'est pas toujours ralisable, notamment s'il existe un chemin de longueur
suprieure s entre To et Tj exprimant que Tj est prcde de tches dont la dure excde s.
A nouveau, cette contradiction sera rvle par un circuit absorbant.
3
3
5
T0

1
Tj

-5

De mme, deux tches Ti et Tj devant dmarrer en mme temps seront places sur un circuit de
longueur nulle permettant de rpercuter sur la tche i les contraintes de la tche j et
rciproquement .
Nous laissons au lecteur, titre d'exercices, le soin de modliser d'autres combinaisons.
Par exemple, comment procder pour crer un cart fixe de t unit de temps entre le dbut de
Ti et celui de Tj ?

Thorie des Graphes Chapitre n 6

13

Exercice sur la mthode MPM

Soit une tche T constitue de 6 sous- tches T1,....T 6 aux caractristiques suivantes :
Tche
T1
T2
T3
T4
T5

Conditions de dbut
Au plus tt 2 semaines aprs le dbut
Aucune
T1 termine ; T2 termine au moins depuis 3 semaines
T3 termine et obligatoirement en semaine 12
Au plus tt 8 semaines aprs la fin de T3 et au plus tard 13 semaines
aprs le dbut de T3
T2 commence depuis 9 semaines au moins
Au plus tt en semaine 15 , T5 termine et au plus tard 10 semaines
aprs la fin de T2

T6

Dure (sem.)
6
4
3
8
2
10

Trouver s'il existent l'ordonnancement optimum, les dates au plus tt, au plus tard et les marges
de chacune des tches.
T4
-12
+12
2
T0

T1

8
T3

T7

T2 4+3=7
9
15

-13
T5

8+3=11

10

-10-4=-14
T6

Thorie des Graphes Chapitre n 6

14

Solution (Ford-Bellman II)

Itration 1 : pi = (0, -100, -100, -100, -100, -100, -100, -100)
Itration 2 : pi = (0,

2,

0, -100, 12, -100, 15, -100)

Itration 3 : pi = (0,

2,

1,

8, 12,

9, 15, 25)

Itration 4 : pi = (0,

2,

1,

8, 12,

19, 15, 25)

Itration 5 : pi = (0,

2,

1,

8, 12,

19, 21, 25)

Itration 6 : pi = (0,

2,

7,

8, 12,

19, 21, 31)

Itration 7 : pi = (0,

2,

7,

14, 12,

19, 21, 31)

Itration 8 : pi = (0,

2,

7,

14, 17,

25, 21, 31)

Itration 9 : pi = (5,

2,

7,

14, 17,

25, 23, 31)

=> circuit absorbant T2 , T3, T5 , T6 : de poids 7 + 11 + 2 -14 = 6

Planning impossible.

Pour obtenir une solution changeons la condition 8 semaines aprs la fin de T3 en 2 semaines
aprs la fin de T3 ce qui donne un circuit T2 , T3, T5 , T6, T2 de poids nul.
Il vient pi = ( 0, 2, 1, 8, 12, 13, 15, 25)
Tche
T0
T1
T2
T3
T4
T5
T6
T7

Date au plus tt
0
2
1
8
12
13
15
25

Date au plus tard

0
2
1
8
12
13
15
25

Marge totale
0
0
0
0
0
0
0
0

Marge libre
0
0
0
0
0
0
0
0

Toutes les tches sont critiques.

C'est normal pour les tches date fixe comme T4 et celles qui appartiennent des circuits de
poids nul dont au moins une tche est critique.
Pour augmenter le degr de libert, il faudrait diminuer le poids de certains arcs.
Seconde gnralisation du problme : contraintes de type disjonctif

Thorie des Graphes Chapitre n 6

15

Il s'agit d'interdire que deux tches Ti et Tj aient lieu en mme temps, par exemple, parce
qu'elles utilisent la mme ressource rare, sans que l'on veuille prciser laquelle doit prcder
l'autre.
Ce type de contraintes est impossible traduire directement au moyen d'arcs ajouts au graphe.
Si une seule contrainte disjonctive est prsente, il suffit de considrer deux problmes
d'ordonnancement associs deux graphes G et G' dans les quels on modlise respectivement
les contraintes "Ti doit dbuter au plus tt aprs la fin de Tj" et "Tj doit dbuter au plus tt
aprs la fin de Ti". On retient celle des solutions qui donne la dure minimale.
Si on veut interdire la conjonction de plus de deux tches ou de plusieurs couples de tches, il
y a explosion combinatoire du nombre de problmes envisager. Il est alors prfrable
d'abandonner l'approche de la thorie des graphes au profit de la programmation linaire en
variables mixtes (l aussi la complexit s'accrot par rapport l'algorithme du simplexe) ou de
l'optimisation combinatoire.
Troisime gnralisation du problme : dures alatoires des tches
En pratique, il est rare que les dures des tches soient connues avec prcision, surtout au
dbut d'un projet de grande ampleur. Au cours de l'volution du projet, les donnes sont
ractualises priodiquement pour tenir compte de l'avancement effectif et intgrer de
nouvelles informations permettant d'affiner la connaissance des dures. A chaque fois, le graphe
est mis jour et on relance une recherche de chemin maximum.
Au dpart cependant, il faut bien estimer les di. On peut faire appel des experts qui donnent
des estimations dont on fait la moyenne. La mthode PERT prconise d'estimer la dure d'une
tche au moyen de trois valuations : une dure optimiste O, une dure pessimiste P et une
dure vraisemblable V, puis de poser d

O 4V P
qui reprsente la moyenne d'une variable
6

alatoire Beta.
Une approche intressante est base sur la gnration alatoire des dures en accord avec la loi
Beta ou une simple distribution triangulaire.

L'expos de la mthode de gnration, dite du rejet, quoiqu'assez simple, dpasse le cadre de

ce cours (cf cours de 2eme licence ?). Elle permet de gnrer N jeux de valeurs pour les n
dures. Pour chaque jeu K de donnes, on calcule le chemin extremum , la dure X(K) et on
note les tches critiques au moyen d'un tableau binaire :
CR(i,K) = 1 si Ti est critique pour le jeu de donnes K ,
CR(i,K) = 0 sinon.
N

Cela permet de calculer une dure moyenne estime : Xmoyen =

K 1

X ( K)
et
N

Thorie des Graphes Chapitre n 6

16
N

CR (i , K )
N
K 1
Un indice de criticit proche de 1, indique que pour la plupart des jeux de donnes, la tche
concerne est critique et devra donc tre excute sans dlai.
On pourrait aussi calculer une marge totale moyenne.
un indice de criticit pour chaque tche : CR(i) =

Quatrime gnralisation du problme : prise en compte des ressources

Jusqu' prsent, part dans le cas des contraintes disjonctives, on a nglig les ressources
ncessaires l'accomplissement des tches.
Si on veut en tenir compte, sans sortir de la modlisation par les graphes, on peut analyser le
diagramme de Gantt en prenant en compte les ressources mises en uvre et dplacer les tches
au sein de leurs marges pour lisser les pointes de consommation.
Reprenons l'exemple de l'exploitation minire et supposons que toutes les tches utilisent la
mme ressource. On peut limiter la ressource 3 units au plus en modifiant les dates de dbut
comme suit :

00

05

10

15

20

25

30

35

40

45

50

55

60

Evidemment, il s'agit d'une procdure empirique et le problme n'a pas ncessairement de

solution si on ne modifie pas la date de fin X.
Si on souhaite obtenir une solution au problme gnral connu sous le nom de GERT
(Generalysed Evaluation Review Technic) il faut mettre en uvre d'autres mthodes
d'optimisation plus sophistiques. La complexit du problme ne permet pas d'esprer mieux
que des heuristiques.

L'optimisation dynamique
La seconde application des chemins extrmaux concerne l'optimisation dynamique.
Il s'agit d'optimiser une suite de dcisions D1,...Dn permettant de faire passer le systme sous
tude d'un tat initial connu E0 un tat final En qui dpend des dcisions prises.

Thorie des Graphes Chapitre n 6

17

Chaque dcision Di prise dans un tat Ej entrane un cot ou un profit C(i,j) qui dpend la
fois de la dcision et de l'tat de dpart.
Exemple : Au temps T0, on dispose d'un parc de K machines ayant chacune des caractristiques
donnes ( ge, rendement, taux de panne, type).
A chaque dbut de priode T , par exemple chaque trimestre, on peut pour chaque machine :
ne rien faire : elle vieillit, son taux de panne augmente, son rendement diminue mais le cot
de la dcision est nul,
la remplacer par une machine neuve ayant d'autres caractristiques : la nouvelle est
suprieure en rendement mais son prix d'achat doit tre pris en compte,
faire un entretien prventif : peu coteux, il ne modifie pas le rendement mais diminuera le
taux de panne,
effectuer une mise niveau de certains composants qui augmentera le rendement.
L'tat d'une machine en T est dcrit par :
- son type : Type(T) ( 0 = ancienne ou 1 = nouvelle )
- son ge : A(T) (entier)
- sa mise niveau ventuelle antrieure ou au dbut de la priode : MAJ(T) ( 0 ou 1)
- son entretien au dbut de la priode ENT(T) ( 0 ou 1).
Hypothse 1 : Pour simplifier les notations, supposons qu'il n'y ait qu'une machine (K=1) et
ngligeons pour l'instant la possibilit d'achat (Type fix 0).
Pendant une priode T , les modifications suivantes de l'tat se produisent selon les dcisions
1) A(T) := A(T-1)+1
2) Si on dcide d'un entretien, ENT(T) := 1 sinon ENT(T) := 0
3) Si on dcide d'une mise niveau, MAJ(T) := 1 ; sinon MAJ(T) := MAJ(T-1)
On doit connatre l'ge initial A(0), le cot moyen d'une panne CP, le cot d'un entretien CE
et celui d'une mise niveau CM. On doit aussi pouvoir calculer le taux de panne P ainsi que le
rendement R.
Si on suppose qu'il baisse graduellement avec l'ge, le rendement d'une machine pourrait, par
exemple, s'exprimer comme suit :
R(T) = R(0) [ 1 + 0.2 * MAJ(T) ] / [ 1 + 0.25 A(T)]
o R(0) est le rendement de la machine (sans mise jour) au dpart c--d lorsque A=0.
Le taux de panne pourrait s'crire P(T) = P(0) [1 + A(T) ] / [ 1 + ENT(T) ]
o P(0) est le taux de panne de la machine au dpart c--d lorsque A = 0.
Le cot moyen des pannes sur la priode T vaut CMP(T) = CP * P(T).
Les deux formules ci dessus sont donnes titre d'exemple et on pourrait en imaginer d'autres
plus complexes.
Si le rendement est exprim en units financires, le gain ou la perte G d'une priode T pour
une machine est :

Thorie des Graphes Chapitre n 6

18

G(T) = R (T) - CMP(T) - CE * ENT(T) - CM * (MAJ(T) - MAJ(T-1))

Le graphe qui modlise l'volution pendant deux priodes est le suivant :
Rien

Maj
+ Ent
d

Ent
Maj
f
Ent

Maj

Maj + Ent
Ent

Rien

Rien

Les sommets noirs indiquent une machine mise jour, les sommets gris sont les sommet fictifs
associs au dpart de l'tude et la fin de l'tude. Le graphe est bien entendu sans circuit,
dcomposable en niveaux et chaque niveau sauf les deux derniers correspond un dbut de
priode.
Remarquons que le modle ne tient pas compte des entretiens qui ont prcd l'ventuel
dernier, de mme, l'poque de mise jour ventuelle n'importe pas : le modle est markovien
autrement dit sans mmoire du pass : la connaissance de l'tat actuel suffit dcrire le
systme.
Si on veut tenir compte des poques d'entretien et de mise jour, en gardant le caractre
markovien, il faut augmenter le nombre de variables d'tat : utiliser ENT(t) et MAJ(t) ;
t = 0,T au lieu des seuls ENT(T) et MAJ(T). Le nombre de sommets diffrents chaque niveau
crot alors exponentiellement.
Pour trouver la suite de dcisions optimale, il suffit d'affecter un arc le poids G calcul selon
la dcision qu'il modlise. On procde ainsi pour chaque arc sauf ceux qui joignent les sommets
des deux derniers niveaux et qui reoivent un poids nul puis on recherche le chemin de poids
maximum entre les sommets fictifs de dpart et de fin d'tude.
Grce la proprit de Markov, il est possible de gnrer le graphe automatiquement de faon
simple et de rechercher les poids des chemins optimaux au fur et mesure de la construction
(cf mode de fonctionnement de l'algorithme de Bellman-Kalaba).
Hypothse 2 : Plusieurs machines - pas d'interaction entre dcisions - pas de possibilit d'achat
Cette premire gnralisation du problme peut s'effectuer sans peine :
S'il y a plusieurs (k) machines identiques, pour lesquelles on prend les mmes dcisions, il
suffit de multiplier G(T) par k. Si les machines sont identiques, la meilleure suite de
dcisions pour l'une d'entre elle est aussi la meilleure pour toutes .... sous rserve qu'il soit

Thorie des Graphes Chapitre n 6

19

possible de les effectuer simultanment . Si ce n'est pas le cas, il faut considrer les machines
comme diffrentes et travailler globalement (cfr hypothse 3).
Si les machines sont diffrentes, il suffit d'ajouter un "indice machine" aux diverses
variables. On peut rechercher les dcisions optimales pour chaque type de machine
sparment s'il n'y a pas interaction entre les dcisions sinon voir hypothse 3.
Hypothse 3 : Plusieurs machines - interaction entre dcisions - pas de possibilit d'achat
Si les dcisions concernant des machines diffrentes ne sont pas indpendantes, il faut tudier
le problme globalement : un sommet du graphe doit modliser l'tat des K machines et un arc
est associ l'ensemble des dcisions pour les K machines du parc.
Deux exemples simples d'interaction :
1) Le cot total des dpenses d'entretien et de mise jour par priode est limit.
2) Le nombre total d'entretiens (respectivement) de mises jour par priode est limit par le
temps mis effectuer ces oprations et l'obligation de maintenir en permanence un certain
nombre de machines en fonctionnement.
Les interactions limitent le nombre de dcisions donc de transitions entre tats donc de
sommets par niveaux.
Exemple : 3 machines, dont une (la premire) dj mise jour et possibilit d'effectuer au plus
deux entretiens ou (exclusif) une mise jour par priode :
Neuf dcisions restent possibles :
Ne rien faire
Mettre jour machine 2
Mettre jour machine 3
Entretenir machine 1
Entretenir machine 2
Entretenir machine 3
Entretenir machine 1 et 2
Entretenir machine 1 et 3
Entretenir machine 2 et 3
contre 32 a priori ( 8 possibilits d'entretien ou rien et 4 possibilits de m--j ou rien)
Hypothse 4 : Plusieurs machines - interaction entre dcisions - possibilit d'achat
La possibilit d'achat ajoute des variables la description de l'tat d'une machine et modifie
certaines possibilits :
Variable Type ajoute
Rendement devient une fonction du type : R(T,Type)
Taux de panne devient une fonction du type : P(T,Type)
Mise jour n'est possible que si Type = 0

Thorie des Graphes Chapitre n 6

20

Le fait de pouvoir acheter entrane des cots plus importants et justifie une actualisation des
grandeurs G affectes aux arcs. Cette actualisation peut bien sr tre faite sous les hypothses
G (T )
antrieures. Si i est le taux d'actualisation, G(T) devient
(1 i ) T
Le choix de la dure de l'tude peut interfrer de manire importante et artificielle avec les
rsultats. En effet, un achat de machine neuve effectu dans les dernires priodes de l'tude ne
pourra tre rentabilis et sera rejet du chemin de poids optimal. Pour contrer ce biais, il faut
attribuer au parc une valeur rsiduelle VR fonction de sa valeur d'achat et de son ge.
On pourrait envisager de remplacer le prix d'achat par un amortissement priodique mais cela
supposerait que la dure d'amortissement est connue ce qui est contraire la philosophie de
recherche de dcision optimale.
Pour tenir compte de cet lment, il faut modifier le graphe comme suit :
Supprimer les arcs entre les 2 derniers niveaux, soit les arcs incidents au sommet terminal f.
Relier chaque sommet x de la dernire priode un nouveau sommet x' par un arc de poids
VR Relier chaque sommet x' au sommet f par un arc de poids nul.
Plus simplement, on peut aussi pondrer les "derniers" arcs avec les poids VR.
Discussion :
L'intrt de l'optimisation dynamique dpend du ralisme du compromis entre le nombre de
variables qui dcrivent l'tat du systme et la taille du graphe qui en rsulte d'une part et la
ralit conomique qu'elle modlise d'autre part. L'introduction de contraintes ralistes sur les
dcisions et la suppression d'lments de dtails concourent rendre le modle oprationnel.
Les caractristiques du graphe sont galement importantes : plus le graphe comporte de cycles,
plus la taille reste contenue et plus le modle est efficace. Si un sommet appartient plusieurs
cycles, la situation qu'il modlise pourra tre atteinte de plusieurs faons depuis l'tat initial et
l'optimisation progressive retient seulement la meilleure d'entre elles : l'approche par le graphe
conomise beaucoup de calculs par rapport une tude exhaustive des dcisions possibles.
Par contre si le sous-graphe obtenu en supprimant le sommet terminal f est une arborescence,
le modle n'apporte rien par rapport l'tude exhaustive.

Thorie des Graphes Chapitre n 6

21

L'optimisation dynamique au sens large aborde d'autres aspects plus complexes que ceux
voqus ici :
l'optimisation en univers alatoire base sur les chanes de Markov et/ou
l'optimisation en horizon infini : grce l'actualisation le cot d'une suite infinie de dcisions
reste fini car

1(1 i )

converge vers 1/i

Dans ces domaines, la thorie des graphes n'est pas utilise explicitement.
Exercice d'optimisation dynamique.
On dispose de deux machines A et B d'ge respectifs (nombres entiers d'annes) i et j. Pur fixer
les ides disons i = 1 et j = 3
Les deux machines sont de mme type. Chaque anne, le gain attendu de leur production et le
cot de leur pannes en fonction de leur ge est donne par le tableau suivant :
Age
Gain
Cot

0
30
0

1
30
1

2
28
2

3
26
3

4
24
5

5
21
8

6
18
12

4
33
30

5
22
20

6
11
10

Aprs 6 ans les machines sont sans intrt.

Le cot d'achat et celui de revente varient comme suit :
Age
Achat
Vente

0
100
imp.

1
88
80

2
66
60

3
44
40

Sachant que l'on ne rachte une machine que si elle est strictement plus nouvelle que la
machine qu'elle remplace et qu'on n'effectue qu'un seul achat au plus par an, construire le
graphe permettant de trouver la politique de remplacement optimale trois priodes.
Les changements se font en dbut de priode.
Formaliser le problme pour permettre une gnration automatique du graphe.
Formules de gnration du graphe
1) relier le sommet (i,j) au sommet (i+1,j+1)
2) relier le sommet (i,j) au sommet (i+1,k) ; k : 1 k j
3) relier le sommet (i,j) au sommet (k,j+1) ; k : 1 k i
4) relier les sommets du dernier niveau un sommet "Fin"
Poids des arcs :
1) R(i) +R(j) -P(i) -P(j)
2) R(i) + R(k-1) - P(i) - P(k-1) - A(k-1) + V(j)
3) R(j) + R(k-1) -P(j) -P(k-1) - A(k-1) + V(i)
4) V(i)+V(j)

Thorie des Graphes Chapitre n 6

22
3,5

4,6

2,5

3,6

2,4
1,5

2,6

2,4

1,4

1,6

2,2

1,2

1,3

3,5

Fin

1,2
2,5

2,2
1,3

1,5
2,3

2,3

4,4
3,3

3,4

Partie du graphe modlisant le problme ; seuls

les niveaux 0, 1 et 2 sont compltement
reprsents.
1,2

Matrice des transitions

1,2
1,2

2,2
x

1,3
x

2,3
x

3,3

1,4

2,4

3,4

4,4

1,5

2,5

3,5

4,5

1,6

2,6

3,6

4,6

FIN
x

Thorie des Graphes Chapitre n 6

2,2
1,3
2,3
3,3
1,4
2,4
3,4
4,4
1,5
2,5
3,5
1,6
2,6
3,6
4,6

x
x
x

x
x
x

x
x

x
x

23

x
x

x
x
x

x
x

x
x

x
x

x
x
x
x
x

x
x
x
x

x
x

x
x
x

x
x

x
x
x
x

x
x
x
x
x

x
x
x

x
x

x
x

x
x
x

x
x
x

x
x

x
x
x
x
x
x
x
x
x
x
x
x
x
x
x

Nb : certaines transitions dont par exemple celles issues de (4,4) sont thoriques car la situation (4,4) ne peut se
produire qu'au niveau 3 : seul l'arc (4,4) FIN est utile . C'est la raison pour laquelle on n'a pas reprsent les
transitions issues de (i,6) sauf celles d'extrmit "FIN".