Frdric S UR
sur@loria.fr
http://www.loria.fr/sur/enseignement/RO/
2013-2014
(version du 27 fvrier 2014)
Avertissement. Ce document est constitu de notes de cours qui contiennent vraisem-
blablement des coquilles et erreurs. Merci de bien vouloir me les signaler.
Il sagit dun rsum trs condens de notions dont ltude approfondie ncessiterait
bien plus de temps. On essaie ici de donner les lments simplifis, mais autant que pos-
sible rigoureux, de la thorie qui permettent daller au del de lapplication de formules.
Nhsitez pas consulter la littrature ddie.
Table des matires
1 La programmation dynamique 7
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.1 Un problme de plus court chemin . . . . . . . . . . . . . . . . 7
1.1.2 Principe doptimalit de Bellman . . . . . . . . . . . . . . . . 8
1.2 Lquation de Bellman . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.1 Un systme dynamique . . . . . . . . . . . . . . . . . . . . . . 8
1.2.2 quation de Bellman et principe doptimalit . . . . . . . . . . 9
1.2.3 Un exemple de recherche de plus courts chemins . . . . . . . . 10
1.2.4 La rsolution dune quation de Bellman vue comme une re-
cherche de plus courts chemins . . . . . . . . . . . . . . . . . . 10
1.3 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3.1 La distance ddition . . . . . . . . . . . . . . . . . . . . . . . 13
1.3.2 Problme de location de skis . . . . . . . . . . . . . . . . . . . 14
1.3.3 quilibrage de charge sur deux machines en parallle . . . . . . 15
1.3.4 Un problme dconomie mathmatique . . . . . . . . . . . . . 15
1.3.5 Gestion de stock . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3.6 Problme du sac dos . . . . . . . . . . . . . . . . . . . . . . 17
3
TABLE DES MATIRES 4
F. Sur 2013-2014
5 TABLE DES MATIRES
Recherche Oprationnelle
TABLE DES MATIRES 6
F. Sur 2013-2014
Chapitre 1
La programmation dynamique
1.1 Introduction
1.1.1 Un problme de plus court chemin
On considre le problme du plus court chemin dans un graphe orient et valu,
dfini sur un ensemble de n sommets {1, 2, . . . n}. Si les valuations sont positives, lal-
gorithme de Dijkstra permet de trouver le plus court chemin (i.e. le chemin de valuation
totale minimale) entre deux sommets.
Dans le cas o les valuations peuvent tre ngatives et o le graphe ne prsente
pas de circuit de valuation totale ngative, nous allons prsenter lalgorithme de Floyd-
Warshall qui rpond la question.
Notons d(i, j) la valuation de larc (i, j), et (pour k > 1) dki,j la longueur du plus
court chemin du sommet i au sommet j parmi ceux parcourant uniquement les som-
mets {1, 2, . . . k}. Par convention on suppose aussi :
k
di,j = + sil ny a pas de chemin de i j
d0i,j = d(i, j)
7
CHAPITRE 1. LA PROGRAMMATION DYNAMIQUE 8
soit ce plus court chemin passe par le sommet k + 1. Dans ce cas il ne peut y passer
quune seule fois (sinon il y a un circuit, de valuation totale positive par hypothse sur le
graphe, que lon pourrait liminer pour construire un chemin entre i et j plus court, ce
qui serait absurde). Ce plus court chemin est donc la concatnation du plus court chemin
entre i et k + 1 et du plus court chemin entre k + 1 et j, parmi ceux visitant les sommets
intermdiaires {1, . . . , k} uniquement. On a alors : dk+1 k k
i,j = di,k+1 + dk+1,j .
Lalgorithme de Floyd-Warshall (-Roy) (1962) consiste calculer les (d1i,j )i,j (en
O(n2 ) oprations, car il y a n2 paires de sommets (i, j)), puis les (d2i,j )i,j (O(n2 )
oprations), . . ., et finalement les (dni,j )i,j (toujours O(n2 ) oprations) qui donnent les
longueurs de plus courts chemines cherches.
La complexit totale de lalgorithme est de O(n3 ).
F. Sur 2013-2014
9 1.2. LQUATION DE BELLMAN
Soit (xt ) lensemble des actions possibles lorsque le systme est dans ltat xt . Si
laction at (xt ) est choisie, le systme passe ltat xt+1 = (xt , at ).
Notons galement F (xt , at ) le cot de laction at lorsque le systme est dans l-
tat xt .
Partant de ltat initial x0 , le cot global aprs T pas de temps est alors :
T
X
F (xt , at )
t=0
Notons PT (x) la valeur du cot minimal obtenu en arrivant ltat x aprs T tapes, par-
tant de ltat x0 . Lquation prcdente donne la valeur de PT (xT +1 ) (aprs la dernire
dcision aT le systme arrive ltat xT +1 auquel aucun cot nest associ).
Rsoudre lquation de Bellman consiste choisir les actions at guidant le systme
chaque pas de temps parmi celles possibles de manire minimiser le cot global.
(cette optimisation nest pas forcment vidente en pratique, si par exemple (y) nest
pas un ensemble fini, comme dans lexercice 1.3.4), puis on calcule P2 (x),. . .jusquaux PT (x)
qui sont les valeurs qui nous intressent. La succession des choix a0 , a1 , . . . , aT donne
la stratgie optimale.
1. Il semble que certains auteurs rservent lappellation programmation dynamique la rsolution
dquations de Bellman, rgissant justement un systme dynamique.
Recherche Oprationnelle
CHAPITRE 1. LA PROGRAMMATION DYNAMIQUE 10
F. Sur 2013-2014
11 1.2. LQUATION DE BELLMAN
a un arc entre xt et xt1 sil existe a (xt1 ) tel que xt = (xt1 , a) (i.e. une action
permise dans ltat xt1 menant ltat xt ), et cet arc est valu par F (xt1 , a).
La programmation dynamique revient alors chercher le plus court chemin de x0
xT +1 , et la politique optimale est obtenue par propagation arrire (ou backtracking).
Un tel graphe est illustr sur la figure 1.1.
Comme on peut le voir sur certains exemples (comme le problme du voyageur de
commerce vu en cours), ce graphe peut devenir norme relativement au niveau maxi-
mum T + 1.
Remarquons quune quation de Bellman formule en max correspond la re-
cherche dun plus long chemin dans le graphe associ.
F IGURE 1.1 La rsolution de lquation de Bellman discrte vue comme une recherche
de plus court chemin, le niveau t du graphe tant constitu des tats possibles pour le
systme linstant t. Dans cet exemple, certains tats xt sont tels que (xt ) = (les
sommets correspondants nont pas de successeurs), et certains tats peuvent tre atteints
par diffrentes suites dactions (les sommets correspondants ont plusieurs antcdents).
Recherche Oprationnelle
CHAPITRE 1. LA PROGRAMMATION DYNAMIQUE 12
F. Sur 2013-2014
13 1.3. EXERCICES
1.3 Exercices
1.3.1 La distance ddition
. . .aussi appele distance de Levenshtein.
Soient x et y deux mots sur un alphabet, de longueurs respectives m et n.
On note d(x, y) le nombre minimal dinsertions ou de suppressions de caractres
pour passer de x y. Lentier d(x, y) est appel distance ddition entre les mots x et y.
Par exemple, on peut passer de mines mimes des deux manires suivantes :
mines mies (suppression) mimes (insertion)
mines mins (suppression) mimns (insertion) mimens (insertion)
mimes (suppression)
La premire solution ncessite 2 insertions/suppressions, la seconde 4.
Dans cet exemple, d(mines,mimes) = 2.
Questions.
Recherche Oprationnelle
CHAPITRE 1. LA PROGRAMMATION DYNAMIQUE 14
La mme paire de skis nest pas attribue deux skieurs, donc la fonction a est
injective.
Questions.
1. Montrez que loptimum est atteint par une fonction a croissante. On supposera
donc que laffectation des skis des i premiers skieurs se fait parmi les j premires
paires de skis.
2. Soit Si,j le minimum de la fonction-objectif du problme restreint aux i premiers
skieurs et j premires paires de skis.
Montrez que
S(i, j) = min S(i, j 1), S(i 1, j 1) + |ti lj | .
F. Sur 2013-2014
15 1.3. EXERCICES
Questions.
1. Justifiez que le but est de partitionner lensemble des n tches en deux sous-
ensembles A1 et A2 , lun sexcutant sur la machine 1, lautre sur la machine 2,
tels que !
X X
DT (A1 , A2 ) = max ti , ti
iA1 iA2
soit minimum.
2. Notons minDT(k, T ) le temps darrt minimal ralisable en plaant les n k
dernires tches, lorsque lon impose 1) que les k premires tches ont t r-
parties sur les deux machines (pas forcment de manire optimale) et 2) que la
diffrence (absolue) entre les temps darrt des machines 1 et 2 est T > 0 si on
considre uniquement les k premires tches.
Que vaut minDT(n, T ) ?
tablissez une formule de rcurrence (ascendante en k) sur minDT.
3. Application numrique :
k 1 2 3 4
tk 1 2 2 6
Quel est lordonnancement optimal ?
Recherche Oprationnelle
CHAPITRE 1. LA PROGRAMMATION DYNAMIQUE 16
avec 0 < b < 1 une mesure de la patience consommer : si b est proche de 1 lindividu
est patient car les bt sont tous proches de 1 et donnent approximativement le mme poids
aux log(ct ) alors que si b est petit lindividu est impatient : les bt dcroissent rapidement
et les consommations aux instants t petits ont le plus gros poids. (On pourrait normaliser
lutilit globale par (1b)/(1bT +1 ) de manire utiliser une pondration de somme 1,
ce qui ne change rien la suite)
Le butPde cet exercice est de chercher la stratgie de consommation (les ct ) qui
maximise Tt=0 bt log(ct ) sous contrainte t {0, . . . T }, kt+1 = kt ct > 0.
Questions.
1. Soit {0, . . . , T }, k le capital restant linstant , et U (k ) lutilit maximale
du capital restant linstant :
( T )
X
U (k ) = max bt log(ct ) t.q. t {, . . . , T }, kt ct > 0 .
(ct )t{,...,T }
t=
Montrez que U (k ) = maxc log(c ) + b U +1 (k +1 ) t.q. k c > 0 .
2. tendons le problme en notant pour tout et pour tout k, U (k) lutilit maxi-
male dun capital restant de k linstant . Soit c (k) la consommation permettant
datteindre le maximum U (k) lorsquon connat U +1 (k) pour toute valeur de k.
On fait lhypothse que : k, UT +1 (k) = 0 (il ny a pas dutilit garder un
capital aprs sa mort).
Dmontrez que : cT (k) = k et UT (k) = log(k) + log().
3. Enfin, dmontrez que quel que soient k et {0, . . . , T },
k
cT (k) = P .
t=0 bt
Commentez la politique optimale de consommation.
F. Sur 2013-2014
17 1.3. EXERCICES
Recherche Oprationnelle
CHAPITRE 1. LA PROGRAMMATION DYNAMIQUE 18
F. Sur 2013-2014
Chapitre 2
Les principaux rsultats que vous avez vus dans les cours de probabilit / statistique
antrieurs ont trait des processus stochastiques ralisations indpendantes (par ex-
emple loi des grands nombres, thorme de la limite centrale). Les chanes de Markov
permettent de modliser des processus dans lesquels une ralisation dpend de la rali-
sation prcdente.
19
CHAPITRE 2. LES CHANES DE MARKOV 20
et :
Pr Xn+1 = S | Xn = P + Pr Xn+1 = P | Xn = P = 1.
% 0.5 x
0,9 Sr 2P 0,5
0,1
Par exemple lorsque lon est ltat Soleil, avec une probabilit 0,9 on reste dans cet
tat, et on va vers ltat Pluie avec une probabilit 0,1. Do lappellation probabilits
de transition pour les probabilits conditionnelles ci-dessus.
Notons P la matrice dordre 2 (appele matrice de transition) :
0, 9 0, 1
P=
0, 5 0, 5
Et de mme :
Pr(Xn+1 = P) = Pr(Xn = S) Pr(Xn+1 = P | Xn = S) +
Pr(Xn = P) Pr(Xn+1 = P | Xn = P)
n+1 = n P
n N, n = 0 Pn .
F. Sur 2013-2014
21 2.2. VOCABULAIRE
2.2 Vocabulaire
2.2.1 Dfinitions et premires proprits
Dfinition 2.1 Soit E un ensemble fini ou dnombrable dtats. Une suite de variables
alatoires (Xn )nN valeurs dans E telle que :
Autrement dit, une chane de Markov est un processus dont la mmoire une pro-
fondeur de 1 : Xn ne dpend que de Xn1 .
Dfinition 2.3 Pour une chane de Markov homogne tats finis, on appelle la matrice
P = (pi,j ) matrice de transition.
Recherche Oprationnelle
CHAPITRE 2. LES CHANES DE MARKOV 22
Dmonstration.
Pm Le point 1 vient du fait que la somme des lments de la ligne i est par dfinition
j=1 Pr(X n+1 = j | Xn = i) = 1.
La dmonstration du point 2 se fait comme dans lexemple introductif.
Pour ce qui est du point 3, la dmonstration se fait par rcurrence sur n, avec :
m
X
pn+1
i,j = pi,k pnk,j
k=1
m
X
= Pr(Xt+1 = k | Xt = i) Pr(Xt0 +n = j | Xt0 = k)
k=1
m
X
= Pr(X1 = k | X0 = i) Pr(Xn+1 = j | X1 = k)
k=1
Xm
= Pr(X1 = k | X0 = i) Pr(Xn+1 = j | X1 = k et X0 = i)
k=1
Xm
= Pr(Xn+1 = j et X1 = k | X0 = i)
k=1
= Pr(Xn+1 = j | X0 = i)
En effet, la chane de Markov tant homogne, on peut donner toute valeur t et t0 dans ce qui
prcde (ligne 3), ensuite on utilise la proprit de Markov (dfinition 2.1) la ligne 4, puis la
formule des probabilits totales (ligne 5 et 6).
F. Sur 2013-2014
23 2.2. VOCABULAIRE
Une chane de Markov peut alors tre vue comme une marche alatoire sur le
graphe G : on tire alatoirement x0 ralisation de X0 selon la loi 0 , puis de x0 on
tire x1 (ralisation de X1 ) selon les probabilits de transition des arcs issus de x0 , etc.
Exemple 1.
Considrons la chane de Markov valeurs dans E = {1, 2, 3, 4, 5}, de matrice de
transition :
0, 5 0 0, 5 0 0
0, 25 0, 5 0, 25 0 0
P = 0, 4
0 0, 6 0 0
0 0 0 0, 9 0, 1
0 0 0 0, 5 0, 5
Elle est reprsente par le graphe G suivant :
0,5 0,9
K
s 2 KKK
s 4X
sss KK
sss KK
KK
0,25 sss KK0,25
ss KK
s KK 0,1 0,5
sss KK
ss 0,4 KK
ss KK
s KK
ytss %
9 43e
1 F5
0,5 0,6
0,5 0,5
Dans cet exemple, une ralisation de la chane de Markov pourra prendre les valeurs
des tats 1,2,3, ou 4,5, car le graphe nest pas connexe.
Exemple 2.
La chane de Markov prenant ses valeurs dans {1, 2, 3, 4, 5, 6} et dont la matrice de
transition est :
0 0, 8 0 0 0 0, 2
0, 4 0 0, 6 0 0 0
0 0, 2 0 0, 8 0 0
P=
0 0 0, 9 0 0, 1 0
0 0 0 0, 75 0 0, 25
0, 25 0 0 0 0, 75 0
est reprsente par le graphe suivant :
Recherche Oprationnelle
CHAPITRE 2. LES CHANES DE MARKOV 24
0.4 0,2
q 12q 13
1S S
0,8 0,6
0,25 0,1
6q 15q 14
0,75 0,75
On peut montrer que la relation ltat i est accessible partir de j et ltat j est
accessible partir de i dfinit une relation dquivalence sur lensemble des tats E.
Les classes dquivalences de cette relation sont les composantes fortement connexes du
graphe orient G.
Par dfinition, un graphe reprsentant une chane de Markov irrductible est forte-
ment connexe (il ne prsente quune seule classe dquivalence).
Dfinition 2.5 Si une chane de Markov nest pas irrductible, alors elle est dite r-
ductible et G admet plusieurs composantes fortement connexes.
Une composante qui ne mne aucune autre est dite finale, sinon les tats qui la
composent sont dits transients (ou transitoires).
Remarquons quune fois quon a quitt une classe tats transients, on ne peut pas
y retourner (par dfinition de la classe dquivalence).
Considrons une chane de Markov possdant m n tats transitoires, et n tats
rpartis dans k composantes finales C1 , C2 , . . . Ck . Alors, quitte renumroter les tats
(en considrant dabord les tats de C1 , puis ceux de C2 , . . . puis ceux de Ck , et enfin
les tats transitoires), la matrice de transition P peut scrire sous la forme canonique
suivante :
F. Sur 2013-2014
25 2.2. VOCABULAIRE
P1 0 ... 0 0
0 P2 ... 0 0
P = ... .. .. .. ..
. . . .
0 0 . . . Pk 0
Q1 Q2 . . . Qk Qk+1
Dfinition 2.6 Considrons une chane de Markov rductible. Lorsque les composantes
finales sont toutes rduites un seul tat, on dit que ltat correspondant est absorbant,
et que la chane elle-mme est absorbante.
o s est le nombre dtats transitoires (et donc n = m s est le nombre dtats ab-
sorbants).
Dans lexemple 1 prcdent, la chane est rductible. Ses classes (composantes forte-
ment connexes du graphe associ) sont : {1, 3}, {2}, {4, 5}.
Ltat 2 est transient, les classes {1, 3} et {4, 5} sont finales.
Quitte permuter les tats, on peut crire la matrice de transition sous la forme
canonique suivante :
1 3 4 5 2
1 0, 5 0, 5 0 0 0
3
0, 4 0, 6 0 0 0
P = 4
0 0 0, 9 0, 1 0
5 0 0 0, 5 0, 5 0
2 0, 25 0, 25 0 0 0, 5
Dans lexemple 2, la chane de Markov est irrductible : chaque tat est accessible
de nimporte quel autre tat.
Recherche Oprationnelle
CHAPITRE 2. LES CHANES DE MARKOV 26
Autrement dit, si on considre le graphe associ la chane de Markov, tous les cycles
partant de i et revenant en i ont une longueur divisible par p > 1.
Lorsque p = 1, ltat est dit apriodique.
Proposition 2.2 Les tats dune mme composante fortement connexe (classe dquiv-
alence) ont mme priode.
Il est donc lgitime de parler de la priode dune classe, et de classe priodique (ou
apriodique). Pour une chane de Markov irrductible (qui a donc une seule classe), on
peut parler de chane priodique ou apriodique.
On remarque aussi que ds que le graphe dune chane de Markov irrductible a une
boucle sur un sommet s, alors la chane est apriodique (comme le sommet s).
Dans le cas dune chane irrductible priodique (priode p), on peut dmontrer que
la matrice de transition peut scrire sous la forme (quitte renumroter les tats) :
0 P1 0 . . . 0
0 0 P2 . . . 0
.. .
. .
. . . .
.
P= .
. . . .
0 0 0 . . . Pp1
Pp 0 0 . . . 0
Dans lexemple 1, la chane de Markov est apriodique, car par exemple le sommet 1
est de priode 1 (il prsente une boucle sur lui-mme).
Dans lexemple 2, on se convainc que la chane est de priode 2.
F. Sur 2013-2014
27 2.3. COMPORTEMENT ASYMPTOTIQUE DES CHANES ERGODIQUES
1 3 5 2 4 6
1 0 0 0 0, 8 0 0, 2
3 0
0 0 0, 2 0, 8 0
5 0 0 0 0 0, 75 0, 25
P=
2 0, 4 0, 6
0 0 0 0
4 0 0, 9 0, 1 0 0 0
6 0, 25 0 0, 75 0 0 0
(car P est une matrice stochastique) on se rend compte que 1 est valeur propre de P (
droite, i.e. au sens dont vous avez lhabitude). Comme la matrice P et sa transpose PT
ont les mmes valeurs propres 2 , alors 1 est valeur propre ( droite) de PT . On conclut :
1 est bien valeur propre gauche de P.
Attention, ce raisonnement ne nous assure pas :
1. que la suite (n ) converge effectivement,
2. que le sous-espace propre associ la valeur propre 1 a des vecteurs com-
posantes toutes positives (de manire obtenir une distribution de probabilits
en normalisant),
3. ni lunicit de la limite ventuelle : si le sous-espace propre associ la valeur
propre ( gauche) 1 est de dimension strictement suprieure 1, alors plusieurs
limites sont possibles, selon la valeur de 0 .
Nous allons voir que les chanes irrductibles ont tout de mme une unique distribu-
tion limite. Ce rsultat sera obtenu laide du thorme de Perron-Frobenius.
2. En effet, les polynmes caractristiques
de P et PT sont identiques :
T T
det(P I) = det (P I) = det(P I)
Recherche Oprationnelle
CHAPITRE 2. LES CHANES DE MARKOV 28
Proposition 2.3 Une chane de Markov irrductible admet une unique distribution de
probabilit telle que : P = .
Dmonstration. (esquisse). La chane de Markov tant irrductible, pour tout couple dtat (i, j)
il existe un chemin de longueur n(i, j) N entre i et j. Soit n = ppcm{n(i, j)} : pour tout
(i; j) il existe aussi un chemin de longueur n entre les tats i et j (quitte reprendre plusieurs
fois le chemin de longueur n(i, j)).
Avec la proposition 2.1, on dduit :
Donc toute valeur propre de M est infrieure ou gale 1. Comme 1 est effectivement valeur
propre daprs la remarque du dbut de section, on dit que le rayon spectral de M est infrieur
ou gal 1.
Ainsi Pn a un rayon spectral infrieur ou gal 1.
Comme Pn et sa transpose ont mme spectre, il en est de mme pour (PT )n .
Ainsi, pni,j est strictement positif pour tout couple (i, j) dtats, et la matrice (PT )n a un
rayon spectral gal 1.
Le thorme de Perron-Frobenius (voir la littrature ddie) nous permet de conclure que
lespace propre associ la valeur propre 1 de PT est de dimension 1, et quun vecteur propre
associ 1 est de composantes toutes strictement positives.
On conclut lexistence de en normalisant la somme des lments 1.
Avant de nous demander quelles sont les conditions pour que la suite (Xn ) admette
une distribution stationnaire limite, revenons sur les deux cas particuliers de chanes de
Markov tudis prcdemment : les chanes rductibles et les chanes priodiques.
Dans le cas des chanes rductibles, la limite (ventuelle) de (n ) dpend de 0 .
Dans lexemple 1, si la marche alatoire sur le graphe associ la chane part des tats
1, 2 ou 3, il est clair que la distribution limite ventuelle ne pourra tre que de la forme :
= 0 0
car les tats 4 et 5 ne seront jamais visits. Mme rsultat mutatis mutandis si lon part
de 4 ou 5. La limite ventuelle de la suite des (n ) dpend donc de 0 .
On peut montrer que dans le cas des chanes rductible, la probabilit dtre dans
un tat transient tend vers 0 quand le nombre de pas n tend vers +, et que si chaque
F. Sur 2013-2014
29 2.3. COMPORTEMENT ASYMPTOTIQUE DES CHANES ERGODIQUES
Cette suite ne peut pas converger (rappelons que n est une distribution de probabilit
et que donc sa somme vaut 1).
Remarquons au passage que, comme cette chane priodique est irrductible (cf sec-
tion 2.2.3), elle admet daprs la proposition 2.3 une unique distribution stationnaire. On
voit que cela nassure pas la convergence.
On ne discutera pas davantage le cas des chanes rductibles ou priodiques.
Dfinition 2.8 Une chane de Markov est dite ergodique si (n ) converge, indpendam-
ment de 0 .
Recherche Oprationnelle
CHAPITRE 2. LES CHANES DE MARKOV 30
Ce thorme fait bien sr penser la loi forte des grands nombres lorsque les Xn
sont indpendants.
Un cas particulier intressant est celui o f est la fonction indicatrice dun ensemble
dtat S E : du thorme ergodique
X on dduit quen moyenne, la proportion de temps
pass dans les tats de S est i .
iS
Cela justifie lintuition que lon peut avoir du rgime permanent. Dans lexemple
mtorologique au dbut du chapitre, la chane de Markov est apriodique (elle prsente
une boucle sur au moins un tat) et irrductible (une seule composante fortement con-
nexe), donc elle est ergodique. La distribution existe et satisfait = P. On peut
donc dterminer numriquement (faites-le !). Alors (S) et (P) sont les probabil-
its que, dans longtemps , il y ait un jour ensoleill ou pluvieux. Daprs le thorme
ergodique, cest aussi la proportion de journes ensoleilles ou pluvieuses sur un grand
intervalle de temps.
F. Sur 2013-2014
31 2.4. LE THORME DES COUPES
Proposition 2.5 Thorme des coupes (conservation des flux). Soit (A, B) une par-
tition de E (A B = E et A B = ). Alors :
XX XX
i pi,j = i pi,j
jB iA jA iB
XX X X X (la somme sur les lignes
i pi,j = j i 1 pi,j
de P vaut 1)
jB iA jB iB jA
XX XX
i pi,j = i pi,j (changement dindice dans la somme de droite)
jB iA jA iB
Exemple 3.
On considre la chane de Markov reprsente par le graphe :
0,2 0,4 0,8
0.3 0,2
1r 22r 23
0,8 0,3
Recherche Oprationnelle
CHAPITRE 2. LES CHANES DE MARKOV 32
Dmonstration. Par dfinition des tats transients, pour chacun de ces tats j il existe un nombre
minimum mj de transitions au bout desquelles on peut arriver un tat absorbant. Soit pj la
probabilit de ne pas arriver un tat absorbant en partant de j en mj tapes. Remarquons que
pj < 1 car par hypothse au moins un chemin arrive un tat absorbant en mj tapes. Soit
m = maxj mj et p = minj pj . Partant de nimporte quel tat transient, la probabilit de ne pas
tre absorb (et donc arriver un tat transient) en m tapes est donc infrieure pm , en 2m
tapes elle est infrieure p2m , etc. Comme p < 1, pkm tend vers 0 avec k et la probabilit de
ne pas tre absorb en km tapes aussi.
Dautre part, la probabilit de ne pas tre absorb en n tapes est strictement dcroissante
avec n (faites un raisonnement par rcurrence sur n), donc convergente (suite minore par 0).
Comme la suite extraite des (pkm )kN tend vers 0, cette probabilit tend aussi vers 0.
On conclut bien : Qn 0.
F. Sur 2013-2014
33 2.5. COMPORTEMENT ASYMPTOTIQUE DES CHANES ABSORBANTES
Dmonstration. On calcule :
n
!
X
(I Q) Qk = I Qn+1
k=0
P+n
En passant la limite
k
+, daprs la proposition prcdente, I Q est inversible et son
inverse est N = k=0 Q .
k la variable alatoire valant 1 si, partant de i,
Soient i et j deux tats transitoires, et Xi,j
la chane est dans ltat j aprs k tapes. Notons qi,jk llment en ligne i, colonne j de la
matrice Qk .
On a :
k
Pr(Xi,j = 1) = pki,j = qi,j
k
et :
k k
Pr(Xi,j = 0) = 1 qi,j .
k est :
Lesprance de Xi,j
k k k k
E(Xi,j ) = 0 (1 qi,j ) + 1 qi,j = qi,j .
Proposition 2.7 En consquence, sj=1 ni,j est le nombre moyen de passage dans les
P
tats transients lorsquon part de i (jusque larrive dans un tat absorbant).
Voici un dernier rsultat important sur la matrice fondamentale des chanes de Markov
absorbantes. Rappelons la forme canonique de la matrice P :
Ims,ms 0
P= .
Rs,ms Qs,s
3. Attention, il y a abus de notation, en fait il sagit du i-me (j-me) tat transitoire, les tats tant
ordonns de manire ce que P soit sous forme canonique. . .
Recherche Oprationnelle
CHAPITRE 2. LES CHANES DE MARKOV 34
Dmonstration. Un chemin de i vers j est constitu de k tapes dans les s tats transients avant
daller du dernier tat transient visit ltat absorbant j. Donc la probabilit qi,j dtre absorb
en j partant de i est :
+ X
X s
qi,j = Qki,n Rn,j
k=0 n=1
Xs +
X
= Rn,j Qki,n
n=1 k=0
Xs
= Rn,j Ni,n
n=1
= ai,j
P+ k
En effet, N = k=0 Q .
4. Attention toujours labus de notation, il sagit du j-me tat absorbant et du i-me tat transient
lorsque les tats sont permuts pour mettre la matrice de transition sous forme canonique.
F. Sur 2013-2014
35 2.6. EXERCICES
2.6 Exercices
2.6.1 Lanatomie dun moteur de recherche (examen 2010-2011)
Une des difficults rencontres par les moteurs de recherche sur Internet est que de
trs nombreuses pages web peuvent contenir le mot ou lexpression cherchs. Dans quel
ordre les afficher ?
En 1998, deux tudiants en thse lUniversit de Stanford, Serguey Brin et Lawrence
Page, publient larticle The anatomy of a large-scale hypertextual Web search engine,
dans lequel ils proposent une nouvelle fonction pour classer ces pages, le PageRank. Le
nouveau moteur de recherche prsent est G OOGLE.
Soit PR(pi ) le PageRank de la i-me page du Web. En premire approximation, la
fonction PR est suppose vrifier :
X PR(pj )
PR(pi ) =
L(pj )
pj P(pi )
o P(pi ) est lensemble des pages Web qui ont un lien vers la page pi , et L(pj ) le
nombre total de liens (vers pi mais aussi vers dautres pages) que lon peut trouver sur
la page pj .
Par convention, on considrera que toute page pointe vers elle-mme. Si une page pi
ne prsente aucun lien, on posera donc L(pi ) = 1.
Dautre part, PR est normalis de manire ce que :
N
X
PR(pi ) = 1
i=1
PR = PR M.
Recherche Oprationnelle
CHAPITRE 2. LES CHANES DE MARKOV 36
3. On considre le Web comme un graphe orient dont les sommets sont les pages
Web, et les arcs sont les liens dune page i vers une page j, valus par les coeffi-
cients mi,j .
Justifiez que la chane de Markov associe ne peut pas tre considre comme
ergodique. Quel est le problme pour la dfinition du PageRank ?
1d X PR(pj )
PR(pi ) = +d
N L(pj )
pj P(pi )
PR = PR M.
Le facteur d est appel facteur damortissement (damping factor) par Brin et Page,
et est fix 0.85.
F. Sur 2013-2014
37 2.6. EXERCICES
2. Considrons une industrie j. Soit yj la valeur totale de sa production qui sert aux
autres industries, et Y le vecteur ligne (y1 , y2 , . . . , yn ). Exprimez Y en fonction
de Q et X.
Recherche Oprationnelle
CHAPITRE 2. LES CHANES DE MARKOV 38
3. On rappelle quune suite rcurrente linaire dordre 2 dfinie par : un+2 = aun+1 +
bun scrit sous la forme :
ou bien un = r1n +r2n o r1 et r2 sont les deux racines distinctes du polynmes X 2
aX b ;
ou bien un = ( + n)r0n o r0 est racine double du polynmes X 2 aX b ;
o , sont des paramtres dterminer.
Exprimez Px en fonction de x, q/p et S + C. Vous serez amen distinguer les
cas p = 1/2 et p 6= 1/2.
4. Le capital du casino est bien sr trs grand devant celui du parieur, et on peut
simplifier lexpression de PS en considrant S trs petit devant C (i.e. en calculant
la limite de PS lorsque C tend vers linfini).
a) Dans le cas p = 1/2, quelle est la probabilit pour que le parieur finisse ruin,
partant dun capital S ?
b) Mme question dans le cas p 6= 1/2. On distinguera les cas p < 1/2 et p > 1/2.
c) Interprtez ces rsultats.
F. Sur 2013-2014
Chapitre 3
Lobjet de ce chapitre est la modlisation des files dattente par des processus ala-
toires. Les applications de la thorie des files dattente sont, au del des files un guichet
ou des embouteillages sur la route, la gestion du trafic arien (dcollage, routage, at-
terrissage des avions), les rseaux informatiques (comment dimensionner un serveur
pour quil puisse rpondre un certain nombre de requtes), les call-centers (combien
doprateurs pour assurer une certaine qualit de service ?), etc.
Les rponses que lon cherche apporter concernent par exemple la dimension de
la file et du processus de service (combien de places dans la file dattente, combien de
serveurs ?), le temps moyen dattente, la probabilit que la file dattente soit vide ou
les serveurs inoccups, etc.
Dfinition 3.1 Une variable alatoire X valeurs entires suit une loi de Poisson de
paramtre > 0 si :
k
k N, Pr(X = k) = ek .
k!
Proposition 3.1 Une variable alatoire qui suit une loi de Poisson de paramtre a
une esprance et une variance gales .
Dfinition 3.2 Une variable alatoire Y valeurs relles strictement positives suit une
loi de exponentielle de paramtre > 0 si :
t > 0, Pr(Y = t) = et .
39
CHAPITRE 3. LES FILES DATTENTES 40
Proposition 3.2 Une variable alatoire Y qui suit une loi exponentielle de paramtre
a une esprance gale 1/ et une variance gale 1/2 .
Sa fonction de rpartition est donne par :
Proposition 3.3 Une variable alatoire Y suit une loi exponentielle si et seulement si :
On dit quune variable exponentielle est sans mmoire : si un vnement ne sest pas
produit entre 0 et t, la probabilit quil se produise entre t et t + s est la mme que la
probabilit pour quil se produise entre 0 et s : linstant de dpart na pas dinfluence et
la variable ne garde pas de mmoire du pass.
S1
S2
4 3 2 1
.........
File dattente
Sn
"Clients"
"Serveurs"
Un systme dattente (dnomm file dattente par lger abus de langage) est
caractris par :
la loi darrive des clients dans la file (dterministe ou stochastique),
la loi de la dure des services (dterministe ou stochastique),
le nombre de serveurs travaillant en parallle dans le centre de service,
la taille de la file dattente (finie ou infinie),
lorganisation de la file.
F. Sur 2013-2014
41 3.3. LA FORMULE DE LITTLE
A/B/m/N/S
o :
A est la distribution des arrives : stochastique (on prcise alors la loi) ou dter-
ministe.
B est la distribution des temps de service : idem.
m est le nombre de serveur
N est le nombre maximum de clients dans le systme (clients attendant dans la
file + clients en cours de service)
S est la discipline de service (la manire de sortir de la file dattente pour les
clients) : First In First Out (FIFO), Last In First Out (LIFO), alatoire (RAND),
Round Robin 1 . . .
A et B peuvent prendre les valeurs : D (distribution dterministe), M (distribution
Markovienne), Ek (distribution dErlang-k), G (distribution gnrale, on ne fait pas
dhypothse particulire), etc.
Comme nous ntablirons que des rsultats en moyenne , nous ne nous intresserons
pas lvolution dun individu particulier dans la file et donc la discipline de service
naura pas dimportance pour nous.
Lorsque m ou N ne sont pas prciss, ils sont supposs infinis.
Dans la suite de ce chapitre nous allons tudier les files dattente stochastiques et
voir dans quelle condition il est possible de faire des calculs.
La formule (ou loi) de Little est un rsultat trs gnral (pas dhypothse sur la dis-
tribution des arrives et des services) liant la nombre moyen de clients dans le systme,
leur temps de sjour, et leur taux moyen darrive.
Nous allons ltablir en nous appuyant sur lillustration suivante.
Recherche Oprationnelle
CHAPITRE 3. LES FILES DATTENTES 42
5 5
4
4 Dparts
1
3
3
2
temps
1 2
Donc :
Z t A(t)
1 A(t) 1 X R(t)
N (u)du = Ti
t 0 t A(t) i=1 t
F. Sur 2013-2014
43 3.3. LA FORMULE DE LITTLE
Ce qui nous intresse est dtablir un rsultat asymptotique (i.e. lorsquon observe
le systme sur un intervalle de temps grand). Faisons quelques hypothses additionnelle
lorsque t + :
Rt
1. 1t 0 N (u) N (N est le nombre moyen de clients prsents par unit de temps)
A(t)
2. t
( est le nombre moyen darrives par unit de temps)
P
A(t)
3. i=1 i /A(t) T (T est le temps de sjour moyen)
T
R(t)
4. t
0
Les hypothses 1,2,3 semblent naturelles et caractristiques dun systme qui at-
teindrait un rgime permanent . Lhypothse 4 est galement naturelle dans ce cadre :
on suppose que les clients ne saccumulent pas dans le systme et que le temps de sjour
naugmente pas au cours du temps, et donc que R(t) est born.
On dduit donc la formule de Little (1961) :
Thorme 3.1 (formule de Little). Avec les notations prcdentes :
N = T.
Nf = Tf .
Remarquons encore une fois quil sagit dun rsultat trs gnral, en particulier sans
hypothse sur la distribution des arrives ou des temps de services, ni sur la discipline
de service.
Exemple 1.
Considrons un serveur informatique 5 processeurs, recevant en moyenne 1000 re-
qutes par seconde. Ladministrateur du serveur se rend compte que le serveur est oc-
cup 100%, et quen moyenne 8 requtes sont en attente.
Quel est le temps moyen dattente dune requte ? (quantit mettre en relation
avec la notion de time-out, dure au bout duquel le client dcide que le serveur est
indisponible.)
Daprs la formule de Little (variante) : Tf = Nf / = 8/1000 sec.
Quel est le temps moyen de traitement dune requte ?
Avec les deux lois de Little : T Tf = (N Nf )/ = 5/1000 sec.
Recherche Oprationnelle
CHAPITRE 3. LES FILES DATTENTES 44
(t)k
k > 0, Pr(X(t) = k) = et
k!
2. le temps Tarr entre deux arrives suit une loi exponentielle :
t > 0, Pr(Tarr = t) = et
Dmonstration. Pour le point 1 : soit t > 0. On va montrer par rcurrence sur k que :
(t)k
Pr(X(t) = k) = et .
k!
Dune part si X(t + h) = 0, cest que X(t) = 0 et quaucune arrive na eu lieu entre t
et t + h. Avec lhypothse dindpendance de la dfinition :
F. Sur 2013-2014
45 3.4. PROCESSUS DE POISSON
Donc Pr(X(t + h) = 0) Pr(X(t) = 0) /h = Pr(X(t) = 0) + o(1).
En passant la limite (h 0), on obtient une quation diffrentielle qui se rsout en
Pr(X(t) = exp(t) (rappelons que Pr(X(0) = 0) = 1).
Dautre part si X(t + h) = k > 0, cest que X(t) = k 0 6 k et quil y a eu k k 0 arrives
entre t et t + h. Avec lhypothse dindpendance de la dfinition :
Donc :
d tk1 t
Pr(X(t) = k) = Pr(X(t) = k 1) + k e
dx (k 1)!
qui est une quation diffrentielle linaire du premier ordre avec second membre .
Lquation sans second membre se rsout en : Pr(X(t) = k) = Aet , et on rsout lqua-
tion initiale par la mthode de la variation de la constante :
tk1 t
A0 (t) A(t) et = A(t)et + k
e
(k 1)!
se simplifiant en :
tk1
A0 (t) = k
(k 1)!
do :
tk
A(t) = A(0) + k .
k!
Conclusion :
tk t
Pr(X(t) = k) = k e .
k!
(la constante A(0) est fixe par Pr(X(0) = k) = 0 si k > 0.)
Pour le point 2 du thorme, soit T1 la dure entre t = 0 et la premire arrive. Alors :
Recherche Oprationnelle
CHAPITRE 3. LES FILES DATTENTES 46
Exemple 2.
Voici ci-dessous un exemple de ralisation dun processus de Poisson (avec = 0.2),
not ici A(t) (courbe bleue). En abscisse sont reprs les instants des sauts (en
rouge).
20
18
16
14
12
A(t)
10
0
0 10 20 30 40 50 60 70 80 90
t
F. Sur 2013-2014
47 3.5. MODLISATION DANS LE CADRE MARKOVIEN
t fix, A(t) suit donc une loi de Poisson de paramtre t. Dautre part, les temps
inter-arrives suivent une loi exponentielle de paramtre .
Recherche Oprationnelle
CHAPITRE 3. LES FILES DATTENTES 48
Cela signifie que la probabilit pour quil y ait n clients dans la file linstant t est indpen-
dante du fait que t soit un moment darrive.
En passant la limite (t +), en rgime permanent, cela signifie quun nouveau client
voit n clients devant lui avec une probabilit gale la proportion de temps pendant laquelle le
systme est occup par n clients.
En effet, la premire probabilit est :
et la seconde :
lim Pr(Nt = n).
t+
Exemple 3.
Considrons un serveur informatique. En faisant des statistiques sur son utilisation, on
se rend compte quil est indisponible pendant 80% du temps.
Si lon suppose que les requtes sont distribues selon un processus de Poisson, la
proprit PASTA nous permet de dire quune nouvelle requte a aussi 80% de chances
de trouver le serveur indisponible.
F. Sur 2013-2014
49 3.5. MODLISATION DANS LE CADRE MARKOVIEN
Par dfinition des lois de Poisson, cela signifie que les clients nont pas de mmoire
(i.e. une arrive est indpendante des arrives prcdentes), et les serveurs non plus.
Daprs le thorme sur les processus de Poisson, ces hypothses impliquent que :
les arrives Poissonniennes se font au taux de arrives par unit de temps,
chaque service a une dure exponentielle de moyenne 1/ units de temps ( est
le taux de service).
Remarque : la loi des dparts du systme na pas de raison dtre la loi des services.
Cest le cas si les serveurs sont occups en permanence, sinon le taux de dpart est
infrieur au taux de service.
Avant dillustrer cette remarque dans lexemple suivant (et dans la discussion sur les
processus de Markov), on aura besoin de la proprit suivante.
Pr(N = 1) = Pr(X 6 Y )
Z +
= Pr(Y > X | X = x) Pr(X = x)dx
x=0
Z +
= ex ex dx
x=0
=
+
Exemple 4.
Considrons le cas de s serveurs indpendants et sans mmoire (dure de service
selon une loi exponentielle), chacun ayant un taux de service (dure moyenne 1/).
Recherche Oprationnelle
CHAPITRE 3. LES FILES DATTENTES 50
Le centre de service (ensemble des serveurs) suit alors une loi de service sans
mmoire de taux s daprs la proposition prcdente.
Nanmoins, il faut tre faire attention une subtilit : la loi des dparts des clients
hors du systme dattente nest pas la loi des services !
En effet :
si n > s clients sont dans le systme, alors s dentre eux sont servis, et n s sont
dans la file dattente. La loi des dparts est gal la loi des services de, et le taux
de dpart est s
si n < s clients dont dans le systme, alors ils sont tous en cours de service et sn
serveurs sont inoccups. La dure inter-dparts suit alors une loi exponentielle de
taux n < s.
La proposition 3.4 correspond lintuition : si n clients sont en service, alors la dure
moyenne de service du premier client partir est : 1/(n) (la dure moyenne de service
dun client, i.e. la dure moyenne pour quun des clients soit servi, est divise par n).
Pr(Nt+h = n | Nt = m) = o(h)
F. Sur 2013-2014
51 3.5. MODLISATION DANS LE CADRE MARKOVIEN
et :
Pr(Nt+h = n | Nt = n 1) = h + o(h).
Pr(Nt+h = n | Nt = m) = o(h)
et :
Pr(Nt+h = n | Nt = n + 1) = h + o(h).
De la formule des probabilits totales, on dduit :
si n > 1 :
et :
On a :
t+h = t P(h) + o(h).
Remarquons que P(h) est une matrice stochastique.
Vocabulaire : on dit que N (t) est un processus de Markov temps continu.
Remarque : vu la forme des quations obtenues, un processus de Poisson est un cas
particulier de processus de Markov temps continu. Do le M dans la notation de
Kendall des dparts et arrives.
Recherche Oprationnelle
CHAPITRE 3. LES FILES DATTENTES 52
Aprs n > 0 tapes, notons pi (n) la probabilit pour que Xn soit gal ltat i.
La chane tant apriodique irrductible, elle serait ergodique si lespace dtat tait
fini. . . Ici il faut en plus que la distribution
P stationnaire ventuelle = p0 p1 p2 . . .
soit de somme 1, donc que la srie pn converge. P
Avec la formule des coupes (et la condition pn = 1) on calcule :
p = p
+ 0 + 1
p
+ 1
= p
+ 2
n
... = n N, pn = 1
p = p
+ n + n+1
...
F. Sur 2013-2014
53 3.5. MODLISATION DANS LE CADRE MARKOVIEN
Bien sr, cela simplifie les quations du rgime permanent obtenues par la formule des
coupes.
d Pr(Nt = n)
= Pr(Nt = n 1) + Pr(Nt = n + 1)
dt
( + ) Pr(Nt = n)
Il sagit dun systme diffrentiel linaire du premier ordre quil est possible de
rsoudre.
Dans ce cours on ne dtaillera pas davantage le rgime transitoire.
Remarque : on retrouve (heureusement !) en rgime permanent : 0 = pn1 +
pn+1 ( + )pn (formules quivalentes celles obtenues par la formule des coupes).
Recherche Oprationnelle
CHAPITRE 3. LES FILES DATTENTES 54
1 2
Tf = Nf / =
1
(en utilisant la variante de la formule de Little)
Remarquons que le temps dattente et le nombre moyen de clients en attente peuvent
aussi tre obtenus uniquement partir de la formule de Little et de la proprit PASTA.
Daprs la formule de Little :
T = N /
Mais N (nombre moyen de clients dans le systme) est gal au nombre moyen de
clients vus par un nouvel arrivant (daprs PASTA). Le temps de service moyen de
chacun est 1/, donc le temps de sjour moyen dans le systme du nouveau client est :
1 1
T =N +
F. Sur 2013-2014
55 3.5. MODLISATION DANS LE CADRE MARKOVIEN
(somme des temps de service des N clients prcdents et du temps de service propre).
Donc : N / = N / + 1/, do :
N=
et :
1
T =
(formules bien sr identiques aux expressions trouves plus haut.)
Dans la discussion sur les processus de Markov (page 50), rien nempche les paramtres
des lois exponentielles rgissant les arrives ou dparts de dpendre du nombre de
clients dans le systme dattente. Cest le cas ici.
1 2 3 n n+1
t 41 t 42 s s 3 s
0 3 ... n 3 ...
0 1 2 n1 n
n
Y i1
pn = p0
i=1
i
Recherche Oprationnelle
CHAPITRE 3. LES FILES DATTENTES 56
do
Pr(Nt = n)
= (Pr(Nt = n 1) Pr(Nt = n))
dt
si n > 0,
et :
Pr(Nt = 0)
= Pr(Nt = 0).
dt
n
Donc : Pr(Nt = 0) = et , et par rcurrence : Pr(Nt = n) = (t)
n!
et .
Conclusion : ce type de processus de naissance pur est un processus de Poisson.
File M/M/3.
Dans ce systme, la file est de longueur illimite mais trois serveurs travaillent en
parallle. Cest un exemple de processus de Markov o la dure moyenne des services
dpend du nombre de clients dans le systme (cf exemple 4 page 49).
La reprsentation de la file M/M/3 est :
2 3 3 3
0t 41t 42t 43t 44s 3 ...
3. Mais tous les phnomnes dattente ne sont pas des processus de naissance et de mort. . . Voir les
exercices.
F. Sur 2013-2014
57 3.6. FORMULAIRE
File M/M/2/4.
Il sagit dun systme o deux serveurs travaillent en parallle, mais o le systme ne
peut accueillir quau plus quatre clients (deux en service, et deux dans la file dattente).
Cette fois lensemble des tats possibles est : {0, 1, 2, 3, 4} et la reprsentation de cette
file est :
2 2 2
t 41t 42t 43t 44
0
et :
Tf = Nf / (1 p(K)) .
3.6 Formulaire
On donne ici les formules en rgime permanent, avec les notations :
= /
pk est la probabilit que le systme soit occup par k clients.
N= K
P
k=0 k pk est le nombre moyen de clients dans le systme (K ventuelle-
ment infini).
T est le temps de sjour dans le systme (obtenu par la formule de Little).
Nf = K
P
k=s (k s) pk est le nombre moyen de clients en attente (K ventuelle-
ment infini, s est le nombre de serveurs).
Tf est le temps dattente dans le systme (obtenu par la formule de Little).
Recherche Oprationnelle
CHAPITRE 3. LES FILES DATTENTES 58
Vous devez tre capable de retrouver les formules comme en page 54, faire en
exercice !
pn = n (1 )
+
X
N= npn =
n=0
1
1 1/
T = N / = =
1 1
+
X 2
Nf = (n 1)pn =
n=1
1
1 2 1
Tf = Nf / = =
1 1
Nf = N (1 p0 )
N
T =
(1 pk )
Nf
Tf =
(1 pK )
F. Sur 2013-2014
59 3.6. FORMULAIRE
m /(m!(1 /m))
(m, ) =
m /(m!(1 /m)) + m1
P k
k=0 /k!
On a aussi :
m+1
N= p0 +
m!(1 /m)2
N
T =
m+1
Nf = p0
m!(1 /m)2
Nf
Tf =
k /k!
pk =
1 + + 2 /2! + + m /m!
La probabilit pour que tous les serveurs soient occups est donn par la formule
dite dErlang-B :
m /m!
(m, ) = pm = Pm k
k=0 /k!
Recherche Oprationnelle
CHAPITRE 3. LES FILES DATTENTES 60
N = (1 pm )
1
T =
Nf = 0
Tf = 0
1
{ z x s
0 1 2 ... n-1 n 3 n+1
F. Sur 2013-2014
61 3.7. LES FILES M/G
Dans la suite on suppose que les dures de services sont indpendants identiquement
distribus, donns par la variable alatoire Y de loi y.
Nous allons commencer par tablir lexpression de la probabilit p0 pour que le
serveur soit inoccup.
Proposition 3.5 Dans une file M/G/1 avec arrive Poissonnienne de taux et services
indpendants de dure moyenne E(Y ), si p0 est la probabilit pour que le serveur soit
inoccup, alors :
1 p0 = E(Y ).
Dmonstration. Notons Xn le nombre de clients prsents dans le systme aprs le n-me dpart,
An le nombre darrives pendant le service du n-me client (dessinez une frise chronologique
pour vous aider).
Alors :
Xn+1 = Xn + An + u(Xn )
o u(Xn ) = 1 si Xn > 1 (il y a un dpart car dans ce cas le serveur est effectivement occup)
et u(Xn ) = 0 si Xn = 0 (serveur inactif)
Or daprs la proprit PASTA le nombre moyen de clients vu par un nouvel arrivant ne
dpend pas de linstant darrive, donc E(Xn ) = E(Xn+1 ).
Par suite de quoi : E(An ) = E(u(Xn )).
Recherche Oprationnelle
CHAPITRE 3. LES FILES DATTENTES 62
Remarquons que pour une file M/M/1, alors E(Y ) = 1/ et le formulaire nous
donne bien la mme expression.
Remarquons aussi que pour que la file ne sallonge pas indfiniment, le nombre
moyen darrives pendant la dure dun service doit tre strictement infrieur 1, i.e.
E(Y ) < 1.
Nous allons voir maintenant que lon peut dterminer le nombre moyen de clients
dans le systme et le temps moyen dattente.
Dans lexercice 3.9.1 sur le paradoxe de lautobus, on dmontrera de manire d-
tourne la proprit suivante sur la dure rsiduelle de service (dfinie comme la dure
restant un serveur pour terminer son service lorsquun nouveau client arrive dans la
file) :
Proposition 3.6 Dans une file M/G/1, le temps moyen rsiduel de service tr vrifie :
1 Var(Y )
tr = E(Y ) +
2 2E(Y )
o Y est la dure dun service.
Dans la foule nous allons tablir des formules tablissant le temps dattente moyen
et le nombre moyen de clients dans une file M/G/1. Notons = E(Y ). On suppose
que < 1 pour que la file dattente ne sallonge pas indfiniment.
Daprs la proprit PASTA, un nouveau clients voit Nf clients dans la file, qui
seront servis avant lui sous hypothse de politique de service FIFO 4 . Chacun de ces
clients aura un temps de service moyen de E(Y ).
4. Cest le seul endroit o nous faisons une hypothse sur la politique de service.
F. Sur 2013-2014
63 3.7. LES FILES M/G
Donc le temps moyen dattente dun nouveau client est : Nf E(Y ), augment de
son temps rsiduel moyen dattente, le temps rsiduel dattente tant la diffrence entre
linstant de la fin du service courant et linstant darrive.
Le temps rsiduel dattente est 0 si le serveur est inoccup lorsque le nouveau client
arrive (avec une probabilit 1 daprs la proposition 3.5 et la proprit PASTA) et
gal au temps rsiduel de service sinon (probabilit ).
Donc : Tf = Nf E(Y ) + tr .
Dautre part, avec la loi de Little, Nf = Tf , donc en rsolvant en Tf et Nf :
tr
Tf =
1 E(Y )
et :
tr
Nf =
1 E(Y )
Comme le temps moyen de sjour T (temps dattente + temps de service) vrifie
T = Tf + E(Y ) et le nombre moyen de client dans le systme vrifie N = T , on
conclut :
2 (1 + Var(Y )/E(Y )2 )
N =+
2(1 )
o = E(Y ).
Le temps moyen de sjour dans la file est :
(1 + Var(Y )/E(Y )2 )
T = E(Y ) 1 +
2(1 )
Remarquons que dans le cas particulier M/M/1, alors Var(Y )/E(Y )2 = 1 (cf propo-
sition 3.2) et on retrouve les formules dj tablies.
Dans le cas particulier M/D/1, alors Var(Y ) = 0.
Exemple 5.
Considrons une entreprise utilisant des machines identiques. Ces machines tombent en
panne au bout dune dure Poissonnienne de taux . (1/ = 10 jours est le MTBF )
5. Enfin, admettant au moins une esprance et une variance.
Recherche Oprationnelle
CHAPITRE 3. LES FILES DATTENTES 64
La rparation dure (exactement) 20 jours avec probabilit 0,2 et 1 jour avec proba-
bilit 0,8.
Quel est le temps moyen de rparation latelier ? (il ne traite quune machine la
fois)
On calcule successivement :
E(Y ) = 20 0, 2 + 1 0, 8 = 4, 8 jours.
Var(Y ) = E(Y 2 ) E(Y )2 = 57, 76
= E(Y ) = 0, 48 (donc p0 = 0, 52).
La formule de Pollaczek-Khinchine nous fournit alors : T = 12, 57 jours. On dduit
aussi le nombre moyen de machines prsentes dans latelier : N = 1, 257 machine.
2 1 0 1
S1 S2
1 2
Ici lentre dans le second systme suit bien un processus de Poisson, comme la
sortie du premier systme (ds quun client a t servi dans le premier systme, il entre
sans dlai dans la seconde file). Le taux 0 dentre dans la seconde file est 0 = 0
lorsquil ny a pas de client servi en S1 , sinon 0 = 1
On ajoute lhypothse que lorsque lune des files est pleine, les clients arrivant sont
perdus (les clients sortant du premier systme repartent sans passer par le deuxime).
F. Sur 2013-2014
65 3.8. RSEAUX DE FILES DATTENTE
0,0 bF
FF
FF
FF
FF 2
FF
FF
FF
FF
FF
1
1,0 bF / 0,1
FF bFF
FF FF
FF FF
FF 2 FF
F FF2
FF FF
FF FF
FF FF
FF FF
F F
1 1
2,0 bF / 1,1 bF / 0,2
FF FF S
FF FF
FF FF
FF 2 FF 2
FF FF
FF FF 1
FF FF
FF FF
FF FF
1 1
3,0 bF / 2,1 bF / 1,2
FF FF S
FF FF
FF FF
FF 2 FF 2
FF FF
FF FF 1
FF FF
FF FF
FF FF
1
3,1 bF / 2,2
FF S
FF
FF
FF 2
FF
FF 1
FF
FF
FF
3,2
On est dans la situation dun systme dattente M/G du type de ceux de la sec-
tion 3.7.1 et les calculs se font laide du thorme des coupes, formule de Little, etc.
Voir les exercices.
Recherche Oprationnelle
CHAPITRE 3. LES FILES DATTENTES 66
F. Sur 2013-2014
67 3.9. EXERCICES
3.9 Exercices
3.9.1 Paradoxe de lautobus
La cadence moyenne de passage dun autobus un arrt est approximativement
de 10 minutes.
Quel est le temps moyen dattente dun autobus lorsquon arrive larrt ?
Recherche Oprationnelle
CHAPITRE 3. LES FILES DATTENTES 68
1. Quel modle vu en cours (donnez la notation de Kendall) vous semble bien reprsen-
ter cette situation ?
2. Comment dimensionner la salle dattente de manire atteindre la qualit de ser-
vice cible ?
3. En fait, les patients qui arrivent alors que la salle dattente nest pas pleine nen-
trent que sils jugent lattente raisonnable. On note N la capacit du cabinet
(places en consultation et en salle dattente). Si n < N est le nombre de pa-
tients dans le cabinet, un nouveau patient dcide daller ailleurs avec une proba-
bilit 1 1/(n + 1) (et donc dentrer dans la salle dattente avec une probabilit
1/(n + 1)). Dans quelle proportion du temps la salle dattente est-elle pleine ?
Faites le calcul avec la plus petite salle dattente rpondant la question prc-
dente.
1. On suppose que les conditions sont runies pour modliser ce systmes par un
systme dattente M/M/1. Dessinez le graphe associ et expliquez quoi cor-
respondent les tats de la chane de Markov ainsi que les taux et (mmes
notations que dans le cours).
2. Dterminez les valeurs numriques de , et = /.
3. Quel est le temps moyen de traitement dune requte ?
4. Calculez le nombre moyen de requtes en attente de traitement.
5. On suppose prsent que le serveur est bi-processeur ; le nombre de requtes
adresses ne change pas et le serveur est encore inactif 10% du temps. Que devi-
ennent les valeurs numriques des questions prcdentes ?
F. Sur 2013-2014
69 3.9. EXERCICES
Recherche Oprationnelle
CHAPITRE 3. LES FILES DATTENTES 70
2. Soit pn,i les probabilits pour quen rgime stationnaire le systme se trouve dans
ltat (n, i), et p0 la probabilit pour quil ny ait pas de client dans lagence.
P n
P+ n
Soit pn = pn,1P+p n,2 si n > 0. Notons F (x) = n=0 pn x , F1 (x) = n=1 pn,1 x ,
+ n
et F2 (x) = n=1 pn,2 x .
tablissez les quations suivantes :
F1 (x) + F2 (x) = F (x) p0
1 F1 (x) + 2 F
2 (x) = xF (x)
(1 x) + 2 F2 (x) = 1 F1 (x)
4. Justifiez le systme :
F1 (1) + F2 (1) = 1 p0 ; N = F10 (1) + F20 (1)
1 F1 (1) + 2 F2 (1) = ; 1 F10 (1) + 2 F20 (1) = (N + 1)
1 F1 (1) = 2 F2 (1) ; 1 F10 (1) = 2 F20 (1) F2 (1)
5. Dmontrez que :
F1 (1) + F2 (1) F1 (1)F2 (1) + F2 (1)2
N=
1 F1 (1) F2 (1)
et exprimez F1 (1) en fonction de et 1 , et F2 (1) en fonction de , , et 2 .
F. Sur 2013-2014
71 3.9. EXERCICES
2. En fait, le dmarrage du systme de secours est une action critique, mais indpen-
dante de la panne du systme principal. On fait lhypothse que ce systme d-
marre et prend le relais avec une probabilit , et quil tombe en panne instanta-
nment au dmarrage avec une probabilit 1 . Calculez la nouvelle probabilit
de dfaillance.
5. votre avis, quelle hypothse des question 2 et 3 est trop optimiste ? (vous pouvez
vous inspirer de lactualit rcente.)
Vous expliquerez prcisment quel endroit de la modlisation des questions 2
et 3 intervient cette hypothse.
6. On se place dans les hypothses des questions 2 et 3 avec quatre systmes (soit
un systme principal et trois systmes de secours devant tre dmarrs comme
dans la question 2, soit quatre systmes en parallle comme dans la question 3).
Dans ces deux cas, dessinez le graphe de la chane de Markov correspondant au
nombre de systmes en panne, et crivez les quations permettant de trouver les
probabilits en rgime stationnaire (on ne vous demande pas de les rsoudre).
Recherche Oprationnelle
CHAPITRE 3. LES FILES DATTENTES 72
F. Sur 2013-2014
73 3.9. EXERCICES
o pn,m est la probabilit (en rgime permanent) pour que le systme soit dans
ltat (n, m).
Recherche Oprationnelle
CHAPITRE 3. LES FILES DATTENTES 74
F. Sur 2013-2014
Chapitre 4
Ces propositions de corrections ont pour unique but de permettre le travail en au-
tonomie aprs la sance de TD.
Comme pour les solutions de mots-croiss, elles ne sont consulter quaprs avoir
rflchi lnonc (cest--dire aprs le TD).
75
CHAPITRE 4. CORRECTION DES EXERCICES 76
F. Sur 2013-2014
77 4.1. LA PROGRAMMATION DYNAMIQUE
Recherche Oprationnelle
CHAPITRE 4. CORRECTION DES EXERCICES 78
Alors :
a) si ti1 6 ti2 6 la(i2 ) 6 la(i1 ) : D = 0
b) si ti1 6 la(i2 ) 6 ti2 6 la(i1 ) : D = 2(ti2 la(i2 ) ) > 0
c) si la(i2 ) 6 ti1 6 ti2 6 la(i1 ) : D = 2(la(i1 )ti1 ) > 0
d) si la(i2 ) 6 ti1 6 la(i1 ) 6 ti2 : D = 2(la(i1 ) la(i2 ) ) > 0
e) si la(i2 ) 6 la(i1 ) 6 ti1 6 ti2 : D = 0.
Ainsi, par permutations successives de skieurs, on transforme la fonction a non
croissante en une fonction croissante qui ralise galement le minimum.
2. Considrons le ski j dans laffectation optimale donnant S(i, j). Ou bien ce ski
nest pas affect, et donc S(i, j) = S(i, j 1), ou bien il est affect, et dans ce
cas il sera ncessairement affect au i-me skieur car la fonction daffectation est
croissante.
F. Sur 2013-2014
79 4.1. LA PROGRAMMATION DYNAMIQUE
3. Pour calculer laffectation optimale, on commence par trier les skis et les skieurs.
Puis on remplit un tableau :
t1 t2 t3 ... tn1 tn
l1 |t1 l1 | x x ... x
l2 o |t1 l1 | + |t2 l2 | x ... x x
l3 o o |t1 l1 | + |t2 l2 | + |t3 l3 | ... x x
..
.
lm1 x x x ... o o
lm x x x ... x SOL
o x dsigne les cases que lon ne calcule pas et o les cases calculer.
En effet : 1) sil ny a quun skieur, on lui attribue le ski le plus proche de sa
taille (initialisation de la colonne de t1 ) ; 2) sil y a autant de skieurs que de skis
laffectation se fait simplement par a(i) = i ; 3) pour calculer la case courante
laide de la formule de rcurrence, on a besoin des valeurs des cases au dessus
gauche et au dessus.
Le but est de calculer la valeur de la case SOL, donc il nest pas ncessaire de
calculer toutes les valeurs du triangle infrieur gauche : dans chacune des n
colonnes, m n cases sont calculer.
4. Complexit des tris : O(m log(m)+n log(n)) (admis, cf cours 1A ou page wikipedia),
et n(m n) cases calculer. Do une complexit globale en :
O(m log(m) + n log(n) + n(m n)).
Recherche Oprationnelle
CHAPITRE 4. CORRECTION DES EXERCICES 80
T T
M1 M1
M2 M2
minDT(k,T) minDT(k,T)
etc.
T 0 1 2 3 4 5 6 7 8 9 10 11
tape 0 minDT(4, T ) 5.5 6 6,5 7 7,5 8 8,5 9 9,5 10 10,5 11
tape 1 minDT(3, T ) 8,5 8 7,5 7 6,5 6 - - - - - -
tape 2 minDT(2, T ) 7,5 7 6,5 6 - - - - - - - -
tape 3 minDT(1, T ) 6,5 6 - - - - - - - - - -
tape 4 minDT(0, T ) 6 - - - - - - - - - - -
Remarque 1 : comme dans lexercice avec les skieurs, il nest pas ncessaire de
calculer lintgralit du tableau pour arriver minDT(0, 0) qui est la valeur cher-
che. Remarquons quon a intrt ordonner les tches par dure croissante pour
minimiser le nombre doprations. On peut demander quelle est la complexit de
lalgorithme. On voit quil est en :
n n1
! n
!
X X X
O 1+ ti + 1 + ti + + 1 + t1 + 1 = O n + 1 + (n + 1 i) ti .
i=1 i=1 i=1
F. Sur 2013-2014
81 4.1. LA PROGRAMMATION DYNAMIQUE
On fait une propagation arrire (en gras sur le tableau prcdent). Le cas dgalit
dans lquation de rcurrence permet de dduire si la tche est place sur la ma-
chine la moins charge ou sur la plus charge. On voit quon arrive un dcalage
T = 1 entre les deux machines.
Il est obtenu en plaant : la tche 1 sur la machine la plus charge (machine 1 par
exemple, arbitraire cette tape), puis la tche 2 sur la machine la plus charge
(donc la machine 1), puis la tche 3 sur la machine la plus charge (donc ma-
chine 1), puis la tche 4 sur la machine la moins charge (qui est alors la ma-
chine 2).
Cest--dire :
- machine 1 : tches 1 - 2 - 3
- machine 2 : tche 4
Sans grande surprise. . . (mais il fallait une application numrique lgre ).
Do la relation cherche (on maximise dabord sur les (ct )t{ +1,...,T } puis sur c ).
Il sagit dune quation de Bellman, on va se ramener une succession de prob-
lmes doptimisation une variable en gnralisant le problme : on ne considre
plus le capital linstant t comme une consquence des choix de consommation
dans le pass (et du capital initial), mais comme une variable libre k pouvant
prendre nimporte quelle valeur relle.
2. Daprs la question prcdente, on a :
k, U (k) = max {log(c ) + b U +1 (k c ) t.q. k c > 0} .
c
Recherche Oprationnelle
CHAPITRE 4. CORRECTION DES EXERCICES 82
et :
k
cT (k) = P .
t=0 bt
XT
c0 (k0 ) = k0 / bt .
t=0
Examinons deux cas limites qui montre que ce modle conomique reprsente bien
des situations ralistes .
b 0 : individu impatient. Comme :
k(1 b)
cT (k) =
1 b +1
dans ce cas cT (k) k. Avec cette politique, tout le capital est dpens ds le
dpart.
F. Sur 2013-2014
83 4.1. LA PROGRAMMATION DYNAMIQUE
Soit :
( n )
X
F (n + 1, xn+1 ) = min ck (uk ) + r(xk , uk , wk ) .
(uk )16k6n
k=1
Les commandes uk sont telles que le stock xk ne dpasse pas la capacit maxi-
male C, quelque soit k.
On peut crire :
( n1
)
X
F (n+1, xn+1 ) = min cn (un ) + r(xn , un , wn ) + min ck (uk ) + r(xk , uk , wk )
un {0,...,Cxn } (uk )16k6n1
k=1
Donc :
Lextension scrit :
Recherche Oprationnelle
CHAPITRE 4. CORRECTION DES EXERCICES 84
F. Sur 2013-2014
85 4.1. LA PROGRAMMATION DYNAMIQUE
P
le sac dos et 0 sinon, sous la contrainte : j j pj 6 P . Remarquons quil sagit dun
problme de programmation linaire en nombres entiers !
Le graphe de la section 1.2.4 se construit alors selon les dcisions prises en partant
dun sac vide (capacit 5), on crit aux sommets du graphe de niveau j la capacit
restante selon les dcisions prises aux niveaux < j, et on value les artes par les vj .
On obtient :
/0
1iiiii4 0
ii i i 0
H ---
6 --
2nnnn
n28
88 --
n n
nnn 88 / -
E 3 FFF
8 88 x< 1 1H 3 ---
xx 333 --
0
FF 01 8x
FF x x888 4 33 --
0 FFF
x x x 88
33 --
F" x x
3 / 33 -
-
3 FF E 2 0 2 J FFF 33 --
F F F 3
FF
FF 33--
FF 4 FF 3-
0 FF FF3-3-
F " F"
1 / /
53 3
H
0 3 x< H
33 x
33 xx
33 x xx
x
33 x xx
3 /4 4 /4
0 33 x< 4 0
33
xxx 0
33 2 x
x 1
33 xxx
xx
5 FF
FF
FF
FF
0 FF
F"
5 / 5 / 5
0 0
La rsolution du problme est ainsi quivalente trouver le plus long chemin entre
le sommet lextrme gauche et celui lextrme droite. On trouve bien sr la mme
solution que par la mthode du tableau.
Recherche Oprationnelle
CHAPITRE 4. CORRECTION DES EXERCICES 86
3. Certaines pages (ou sites web) nont pas de liens vers lextrieur et forment donc
des classes finales. Donc la chane de Markov est rductible, donc nest pas er-
godique. La chane tant rductible, il ny a pas unicit de la distribution station-
naire, donc le PageRank nest pas dfini de manire unique.
mi,j = 1d
N
sil ny a pas de lien de la page pi vers la page pj ,
mi,j = (1 d)/N + d/L(pi ) sinon
Soit i {1, . . . , N }. On a :
N
X N
X
mi,j = 1 d + d i,j /L(pi ) = 1 d + d = 1.
j=1 j=1
F. Sur 2013-2014
87 4.2. LES CHANES DE MARKOV
Complment de lecture : Chercher sur le Web : juste un point fixe et quelques algo-
rithmes par Serge Abiteboul dans la brochure Mathmatiques, lexplosion continue ,
disponible ici :
http://smf.emath.fr/content/lexplosion-continue-sommaire
Recherche Oprationnelle
CHAPITRE 4. CORRECTION DES EXERCICES 88
X2 = X2 R2 + B2
F. Sur 2013-2014
89 4.2. LES CHANES DE MARKOV
Recherche Oprationnelle
CHAPITRE 4. CORRECTION DES EXERCICES 90
2. Px est la probabilit dtre absorb par ltat 0 lorsque lon part de ltat x. Donc
P0 = 1 et PS+C = 0.
Soit N la matrice fondamentale de cette chane de Markov absorbante. Daprs le
cours :
P1 q
P2 0
.. .
. = N ..
PS+C2 0
PS+C1 0
Ici, linversion de I Q pour calculer N est complique, on utilise une autre
approche. On a en effet :
q P1
0 P2
.. 1 .
.
. = N .
0 PS+C2
0 PS+C1
Soit :
q 1 p 0 . . . 0 0 0 P1
0 q 1 p . . . 0 0 0 P2
0 0 q 1 . . . 0 0 0 P3
.. .. .. .. .. .. .. .. .
. = . ..
. . . . . .
0 0
0 0 . . . 1 p 0 PS+C3
0 0 0 0 . . . q 1 p PS+C2
0 0 0 0 ... 0 q 1 PS+C1
F. Sur 2013-2014
91 4.2. LES CHANES DE MARKOV
Recherche Oprationnelle
CHAPITRE 4. CORRECTION DES EXERCICES 92
Ta
t
X1 X2 X3 X4 X5 X6
En effet, le temps dattente scrit sous la forme : Ta (t) = tn(t) t, o n(t) est le
numro dordre du premier autobus arrivant aprs la date t, et tn(t) son horaire darrive.
Le temps moyen dattente sur lintervalle [0, t] est donc :
Z t n(t)
1 1 X 1 2
Ta ( )d = X R(t)
t 0 t i=1 2 i
Donc :
X2
Ta =
2X
avec X 2 la moyenne des Xi2 .
F. Sur 2013-2014
93 4.3. LES FILES DATTENTE
2
Comme Var(X) = X 2 X (algbre de la variance), on dduit :
1 Var(X)
Ta = X + .
2 2X
Conclusion(s) :
Le temps moyen dattente du bus est toujours suprieur la moiti du temps
moyen entre deux passages. . . (contrairement lintuition)
Il ne peut tre exactement gal la moiti du temps de passage que dans le cas
o la variance est nulle (cas dgalit), donc dans le cas dintervalles de passages
dterministes.
Dans le cas o les temps inter-passages sont distribus selon une loi de Poisson
2
de paramtre , alors Var(X) = 1/2 = X . Donc dans ce cas : Ta = X.
Le temps moyen dattente est alors gal au temps moyen entre deux passages !
(cest une manifestation de leffet PASTA : le temps moyen dattente ne dpend
pas de linstant darrive, et est gal en particulier au temps dattente lorsquon
arrive juste au dpart dun bus.)
Plus la variance des temps de passage est grande (par exemple lorsque le trafic est
perturb), plus le temps moyen dattente lest aussi. Il peut mme tre arbitraire-
ment grand. Une explication intuitive est que plus la variance est grande, plus on
a de chance darriver dans un grand intervalle de temps entre deux passages.
Par le mme raisonnement on peut dire que dans une file M/G/1, le temps moyen
que dure la fin dun service lorsquun nouveau client trouve le serveur occup est :
1 Var(X)
Ta = X + .
2 2X
En effet, ici le serveur (le bus) est toujours occup linstant o un nouveau client (un
passager) arrive.
Par dfinition, Ta est la dure rsiduelle de service.
Recherche Oprationnelle
CHAPITRE 4. CORRECTION DES EXERCICES 94
Cas 1)
+ +
X X k
m = pk = p
km 0
k=m k=m
m!m
m
= p0
m!(1 /m)
m /(m!(1 /m))
=
m /(m!(1 /m)) + m1
P k
k=0 /k!
F. Sur 2013-2014
95 4.3. LES FILES DATTENTE
2 3
3t 42t 41t 40
Avec p0 + p1 + p2 + p3 = 1 :
2 22
3
p1
0 =1+ 1+ + 2
0 6 k 6 N 1, pk+1 = (N k)pk .
Donc : k
N!
0 6 k 6 N, pk = p0
(N k)!
P
Comme k pk = 1, et = :
N N
X N! X 1
p1
0 = = N!
k=0
(N k)! k=0
k!
On veut p1
0 > 100. Or, si N = 3, p1 0 = 16 (question prcdente), si N = 4
1 1
p0 = 65, et si N = 5 p0 = 326.
Conclusion : il faut une capacit de stockage de cinq vlos.
Recherche Oprationnelle
CHAPITRE 4. CORRECTION DES EXERCICES 96
On cherche donc N tel que (1 )/( N ) < 0.1. Do (10.9 )/0.1 < N ,
soit :
log(1 0.9 ) log(0.1)
N>
log( )
Application numrique : = 4/5, N > 4.61, donc N > 5, do une salle dat-
tente avec au moins 4 places.
u ... t ... s s
0 51u 52t 4 4 3 N-1 4 N
/2 /3 /(N 1) /N
P
Avec le thorme des coupes et pk = 1 :
N /N !
pN = PN
k
k=0 /k!
F. Sur 2013-2014
97 4.3. LES FILES DATTENTE
1 1 1 1
tu t s
0 51u 52t 4 ... 4 ... 3 N-1 4 N
Donc successivement :
pN 1 = (2 /)pN
pN 2 = (1 2 /2 + 2 /) pN
k1 k 2
...
pN k = 1 2 / + + 1 2 / + 2 / pN
Do :
k1
X
pN k = 2 / si pN
i=0
do la formule demande.
3. Comme N
P
k=0 pk = 1, on a :
N
2 X k
p1
N =1+ s 1
1 k=1
Donc : N
2 s 1
=1+ p1
N s N
1 s1
Conclusion : la probabilit pN pour que le serveur soit hors-service est donne
par :
(1 /)N 1
1 2
pN = 1 + 1 N .
1 1
Recherche Oprationnelle
CHAPITRE 4. CORRECTION DES EXERCICES 98
Remarque (non demand) : en faisant lhypothse que N est assez grand, on peut
simplifier la formule en tablissant un quivalent de pN :
si 1 < , alors pN
2 N
1
= O(1/N ) ;
2
N
si < 1 , alors pN ( 1)
1 2
1
= O(1/K N ). (la situation est plus rare,
comme on sy attendait.)
P 1
4. N = N n=0 npN (la somme sarrte N 1 car pN correspond la probabilit
pour que le serveur soit plant ).
1 1 1 1
s
0 cGG 2 1,1 r
dII 2 2,1 dIr 2 3,1 r 2 ...
GG I dHH
GG II III HHH
GG II II HH
GG II II HH
G II I H
2 GGG 2 III 2 III 2 HHH
1 1 1
GG II II HH
GG II II HH
I I HH
1,2 2 2,2 2 3,2 2 ...
F. Sur 2013-2014
99 4.3. LES FILES DATTENTE
5. Du systme :
1 F1 (1) + 2 F2 (1) =
1 F1 (1) = 2 F2 (1)
On dduit :
F1 (1) = F2 (1) =
1 2
Du systme :
(1 )F10 (1) + (2 )F20 (1) =
Finalement, comme N = F10 (1) + F20 (1), on trouve bien lexpression cherche
avec () et ().
Recherche Oprationnelle
CHAPITRE 4. CORRECTION DES EXERCICES 100
) )
0i 1i 2
Les tats sont : 0 (aucun systme en panne), 1 (un des deux systmes est en panne),
2 (les deux systmes sont en panne).
Par formule des coupes (ou les formules du cours sur les processus de naissance
et mort), si = / : p2 = 2 p0 et p1 = p0 avec p0 = (1 + + 2 )1 =
(1 )/(1 3 ).
La probabilit de dfaillance simultane de deux quipements est :
2
p2 = .
1 + + 2
Si deux quipes de rparation sont disponibles, alors le graphe devient :
) )
0i 1i 2
2
On calcule alors :
2
p2 = .
2 + 2 + 2
On obtient une probabilit infrieure ( peu prs divise par deux car il est vraisem-
blable que << 1) par rapport au cas o une seule quipe est disponible.
Dans le premier cas, il sagit dun processus M/M/1/2, dans le deuxime cas
M/M/2/2.
F. Sur 2013-2014
101 4.3. LES FILES DATTENTE
2. Dans cette question, le systme peut passer de ltat 0 ltat 1 avec la proba-
bilit h + o(h) sur un intervalle de temps h 0, et de ltat 0 ltat 2 avec
la probabilit (1 )h + o(h). (on effectue le produit des probabilits car les
vnements sont indpendants.)
Le graphe devient avec une quipe :
(1)
) )#
0i 1i 2
2
) )
0i 1i 2
On calcule
2 2
p02 = .
1 + 2 + 2 2
4. Comparons les situations des questions 2 et 3 :
On suppose << 1, ce qui semble raliste/ Dune part p2 (1 ) , dautre
part p02 2 2 . Donc si 1 (qui est aussi une quantit petite) nest pas trop
petit devant (i.e. on na pas 1 , ce qui peut sembler raliste), p2 > p02 .
La probabilit de dfaillance dans le cas de la question 2 est suprieure au cas de
la question 3 (dun ordre de grandeur).
5. Dans les questions 2 et 3, on suppose lindpendance des pannes entre les deux
machines, ce qui nest pas raliste en cas dune situation catastrophique majeure
qui entrane larrt des deux systmes.
Recherche Oprationnelle
CHAPITRE 4. CORRECTION DES EXERCICES 102
6. Cas dun systme principal et de trois systmes de secours dmarrant avec une
probabilit :
(1)3
(1)2 (1)2
*
*%
"*% "*%
0j 1j 2j 3j 4
4 3 2
* * * *
0j 1j 2j 3j 4
F. Sur 2013-2014
103 4.3. LES FILES DATTENTE
2 3 4 5 6 7
v v v v v v u .3 . . . . .
0 61 62 6 3 64 6 5 6 6
2 3 4 5 6
v v v v v v
0 6 1 62 6 3 6 4 65 6 6
5. Le nombre moyen de produits en stock est donn par lesprance : 4p0 + 3p1 +
2p2 + 1p3 + 0(p4 + p5 + p6 + . . . ), qui vaut ici 46/3e2 = 2, 075.
6. La probabilit quun nouveau client doive attendre est daprs PASTA la proba-
permanent le systme soit dans un tat n > 4. La probabilit
bilit quen rgime P
cherche est donc : n>4 pn = 1 p0 p1 p2 p3 .
Application numrique : 0,143.
Recherche Oprationnelle
CHAPITRE 4. CORRECTION DES EXERCICES 104
P
Le nombre moyen de clients en attente dans le magasin est : n>4 (n 4)pn =
7. P
Pn>0 (n 4)pP
n + 4p0 + 3p1 + 2p2 + 3p3 = 4 + 4p0 + 3p1 + 2p2 + p3 car
npn = et pn = 1.
Application numrique : 2 4 + 2, 075 = 0.075 client en attente en moyenne.
4+4p0 +3p1 +2p2 +p3
Avec la formule de Little, le temps moyen dattente est donc :
.
Application numrique : 0.0375 heure = 2.25 minutes.
F. Sur 2013-2014
105 4.3. LES FILES DATTENTE
s s s ...
0,0T 3 1,0T 3 2,0T 3
0 0 0
0,1T 3 1,1T 3 2,1T 3 ...
0 0 0
0,2T 3 1,2T 3 2,2T 3 ...
0 0 0
. . . . . . . . .
6. Le graphe demand est :
2
s s s ...
0,0T 3 1,0T 3 2,0T 3
0 0 0 2
0,1T 3 1,1T 3 2,1T 3 ...
0 0 2 0 2
0,2T 3 1,2T 3 2,2T 3 ...
0 2 0 2 0 2
. . . . . . . . .
7. Par la formule des coupes (en isolant ltat (n, m), on trouve bien lexpression
demande :
Recherche Oprationnelle
CHAPITRE 4. CORRECTION DES EXERCICES 106
F. Sur 2013-2014
Index
107
INDEX 108
PageRank, 35
Paradoxe de lautobus, 62, 67
PASTA, 47, 54
Plus court chemin, 7, 10
Principe doptimalit de Bellman, 8
Probabilit dabsorption, 34
Probabilit de transition, 20, 21
Problme
de la ruine du joueur, 37
du sac dos, 17
Processus
de Markov, 51
de Markov par lot, 60
de mort pur, 56
de naissance et de mort, 55
de naissance pur, 56
de Poisson, 44, 56
sans mmoire, 40
Programmation dynamique, 7
Rayon spectral, 28
Rseaux de files dattente, 64
Round Robin, 41
Thorme
de Palm-Khintchine, 47
de Perron-Frobenius, 27, 28
des coupes, 31, 52, 55
ergodique, 30, 47
F. Sur 2013-2014