THEORIE DES GRAPHES

0) Introduction historique
La thorie des graphes permet de transcrire concrtement des faits en les modlisant l'aide d'objets mathmatiques, afin de rsoudre des problmes tels : - Les problmes dordonnancement, qui ont pour but la recherche dun ordre optimal des tches pour une ralisation complexe : il sagit de trouver un ordre de ralisation des travaux, en minimisant le temps total et le cot total ; - Les emplois du temps et la rpartition des salles ; - Les problmes daffectations (organiser des quipes de travail pour quelles soient le plus efficaces possibles) ; Les problmes de maintenance (minimiser les stocks de pices de rechange, ou les cots dus larrt des machines) ; - Les problmes de comptition et de concurrence ; - Les problmes de classification de produits, ou dindividus. Le premier problme connu dutilisation dun graphe pour rsoudre un problme est celui des 7 ponts de Knigsberg , rsolu en 1735 par le mathmaticien suisse Leonhard Euler : La ville de Knigsberg (Prusse orientale) comptait 7 ponts, disposs selon la figure ci-contre. Lhistoire veut que Lonard Euler, en visite dans cette ville, ait eu rsoudre le problme qui proccupait fortement ses habitants : Est-il possible de trouver un circuit qui emprunte une fois et une seule chacun des sept ponts de la ville ? Pour cela, lide est de commencer par traduire lnonc du problme par un schma : Chaque lieu de la ville est repr par sa position gographique : N pour le nord de la ville ; S pour le sud de la ville, O pour louest et I pour le . Chaque pont sera alors reprsent par un trait reliant ces lieux entre eux. Cette modlisation sappelle un graphe : Quest-ce quun graphe ? Cest un ensemble de sommets et de liens entre 2 sommets que lon appelle artes. La traduction du problme de dpart en termes de proprits du graphe est alors : Peut-on circuler sur le graphe partir dun sommet en empruntant une fois et une seule chaque arte ? Mais la thorie des graphes a rellement pris son dpart pendant la seconde guerre mondiale, plus prcisment en Angleterre en 1940, sous le nom d Operation Research . Ltat Major alli, qui devait accrotre lefficacit de ses oprations, en confia le travail au physicien Blackett. Il sagissait de rechercher la meilleure rotation des quipages dans les avions1, limplantation optimale des radars, plus tard lorganisation des convois transatlantiques

1) Gnralits sur les graphes

Dfinition : Un Graphe est un ensemble de points (appels Sommets du graphe) ventuellement relis par un ou plusieurs segment(s) appels Artes. Exemples : Un grand nombre de configurations peut se prsenter : Graphe 6 sommets, 5 artes Les sommets sont numrots de 1 6

Tous les sommets sont relis entre eux par une arte

Page 1/14

jgcuaz@hotmail.com

Plusieurs artes peuvent exister entre deux sommets Dans ce cas, il peut tre utile de nommer (ou numroter les artes) :

Une arte peut avoir ces deux extrmits confondues. On dit alors quil sagit dune boucle.

Dfinitions : Lordre dun graphe est gal au nombre de ses sommets Le degr dun sommet est le nombre dartes dont ce sommet est une extrmit. Si deux sommets sont relis par (au moins) une arte, on dit quils sont adjacents. Exemple :

Pour ce graphe les sommets A,B,C,D,E,F,G,H et I ont respectivement pour degr : Sommet A B C D E F G H I Degr 4 6 4 2 4 4 6 4 2 Dfinition : Un graphe dont les sommets sont deux deux adjacents est appel graphe complet Exemple : Ce graphe est complet :

Alors que celui-ci ne lest pas :

(par exemple, les sommets 1 et 2 ne sont pas adjacents) Thorme : La somme des degrs des sommets dun graphe est gal au double du nombre de ces artes Page 2/14 jgcuaz@hotmail.com

2) Chanes et cycles d'un graphe

Dfinition : Soit un graphe. Une chane de est une suite alterne de sommets et dartes Remarque : Deux sommets pouvant tre joints par plusieurs artes, il est ncessaire mentionner les artes dans lnonc de la chane, afin quil ny ait pas dambigut. Si lorigine et lextrmit de la chane sont confondues, on dit que la chane est ferme. Exemple : Soit le graphe ci-contre :

Une chane reliant O I est par exemple O a1 N a3 I , mais bien sr O a1 N a2 I en est une autre Enfin O a1 N a2 I a3 N a1 O est une chane ferme Remarque : Il nest pas ncessaire que toutes les artes soient parcourues, ni quelles ne le soient quune fois. Dans les deux chanes ci-dessus, toutes les artes ne sont pas parcourues, et on peut imaginer la chane O a1 N a2 I a7 O a1 N a3 I qui parcourt donc deux fois l'arte a1 La notion de chane est la notion de chemin de base Dfinition : Un graphe est dit connexe si deux sommets quelconques peuvent toujours tres joints par (au moins) une chane. Le graphe ci-dessus est bien videmment connexe, mais pas complet (N et S ne sont pas adjacents) Proprit : Tout graphe complet est connexe (par dfinition mme). La rciproque est fausse Dfinition : On appelle Cycle toute chane ferme dont les artes sont distinctes Dans l'exemple ci-dessus, O a1 N a2 I a7 O est un cycle alors que O a1 N a2 I a3 N a1 ne l'tait pas (deux fois l'arte a1) Encore une fois, il nest pas impos que les artes soient toutes parcourues Dfinitions : On appelle chane eulrienne toute chane empruntant chaque arte du graphe une unique fois. Si, de plus, cette chane est ferme, on parle de cycle eulrien Exemples :

La chane (C,c,D,h,Bf,E,g,C,b,B,a,A,e,E,d,D) est une chane eulrienne entre C et D, puisqu'elle permet de parcourir une seule fois toutes les artes du graphe. Il n'existe pas, pour ce graphe, de cycle eulrien.

Pour ce graphe (qui n'est autre que celui de gauche auquel on a rajout un point et deux artes), il existe le cycle eulrien (C,c,D,h,Bf,E,g,C,b,B,a,A,e,E,d,D,i,F,j,C)

Page 3/14

jgcuaz@hotmail.com

Remarque : Pour un cycle eulrien ou une chane eulrienne, il est ncessaire que les artes soient distinctes, mais il est possible de repasser plusieurs fois par un mme sommet Pour rsumer les diffrents chemins possibles le long d'un graphe, utilisons cet organigramme

3) Thorme dEuler :
Problmatique : Existe-t-il une critre permettant de savoir si un graphe admet une chane ou un cycle eulrien ? La rponse est positive et rside dans le :

THEOREME
1) Un graphe connexe admet un cycle eulrien si et seulement si tous ses sommets sont de degr pair. 2) Un graphe connexe admet une chane eulrienne si et seulement si tous ses sommets sont de degr pair sauf ventuellement deux dentre eux. (En dautres termes le nombre de sommets de degr impair est gal 0 ou 2. Application au problme des ponts de Knigsberg : Le graphe ci-dessous, modlisant la situation gographique des ponts de Knigsberg (voir introduction), possdant 4 sommets de degr impair, il n'existe pas de cycle eulrien rpondant au problme
a1

N
a2 a3 a7 a5

I
a4 Fig 5

a6

Remarque : Ce thorme fournit une condition d'existence d'une chane ou d'un cycle eulrien mais ne fournit pas (hlas!) de procd de construction !

Page 4/14

jgcuaz@hotmail.com

4) Graphes et matrices
Dfinition : Un graphe n sommets A1 , A2 , A3 ....., An tant donn, on appelle matrice associe ce graphe la matrice carre dordre n telle que le terme a ij (situ la ime ligne et la jme colonne) est gal au nombre dartes reliant Ai A j . Exemples : La matrice associe ce graphe (en classant les sommets par ordre alphabtique) est la matrice carre 7 7 :

0 1 0 0 0 1 1

1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0

Remarques - Si le graphe ne contient pas de boucles, la diagonale de cette matrice est constitue de 0 - Si le graphe nest pas orient, la matrice associe un graphe est symtrique - En revanche, si le graphe est orient comme ci-dessous,

la matrice associe ce graphe n'est plus symtrique. En effet, cette matrice est :

0 0 M = 0 0

1 0 1 1

0 0 0 1

1 1 1 0

Dfinition : La longueur dun chane est le nombre dartes composant cette chane Thorme : Soit A la matrice associe un graphe dordre m de sommets A1 , A2 , A3 ....., Am . Alors le terme a ij (situ la ime ligne et la jme colonne) de A n est gal au nombre de chanes de longueur n reliant Ai A j .

Page 5/14

jgcuaz@hotmail.com

Exemple d'application : Un parcours de sant est amnag pour les sportifs dans le parc de la ville. Il est compos de chemins sens unique, et de quatre points de repre tous distants de 500 mtres, comme indiqu sur le schma ci-contre. Sur le schma du parcours de sant, S1 dsigne lentre et S4 la sortie. On pourra faire lhypothse que tout trajet commence en S1 et se termine en S4.. Combien y a-t-il de trajets diffrents de 1,5 km ?

Le nombre de trajet de 1,5 km entre S1 et S4 est gal au nombre de chemins de longueur 3 entre S1 et S4 , soit au coefficient a1,4 de la matrice M3, o M est la matrice associe au graphe ci-dessus

0 0 2 Les calculs donnent : M = 0 0

1 1 1 1 1 0 , puis 1 1 1 1 0 2
Il y a donc deux chanes de longueur 3 reliant S1 S4

5) Coloration dun graphe

Dfinition : Colorer un graphe consiste affecter une couleur chacun de ses sommets, de sorte que 2 sommets adjacents ne portent pas la mme couleur. On appelle nombre chromatique dun graphe le plus petit nombre de couleurs permettant de colorier ce graphe. Remarque : Le nombre chromatique dun graphe complet dordre n est gal n En effet, de part sa dfinition mme, tous les sommets de ce graphe sont adjacents les uns aux autres. Sils sont en nombre gal n, il faut donc n couleurs exactement pour le colorier Remarque : Il nexiste pas de formule donnant le nombre chromatique dun graphe. On connat en gnral un encadrement de celui-ci et on essaye dexhiber une coloration (non unique en gnral) utilisant un nombre minimum de couleurs. Encadrement du nombre chromatique : Proprit : Soit un graphe et le plus grand de tous les degrs des sommets. Alors le nombre chromatique de est infrieur ou gal +1 Preuve : Pour chaque sommet, on peut tenir le raisonnement suivant : Ce sommet est adjacent sommets au plus, et le nombre de couleurs dj utilises pour colorer ces sommets est infrieurs ou gal (gal dans le pire des cas ou ces sommets seraient tous adjacents entre eux). Il existe donc dans la palette des +1 couleurs disponibles, au moins une couleur non utilise, avec laquelle nous pouvons colorer notre sommet. Proprit : Le nombre chromatique dun graphe est suprieur ou gal celui de chacun de ses sous-graphes. En effet, pour colorer un graphe, il faut avoir ncessairement colorer tous ses sous-graphes.

Page 6/14

jgcuaz@hotmail.com

Algorithme de coloration de Welch et Powell (ou algorithme Glouton ) :

Lalgorithme prsent ici permet dobtenir une coloration dun graphe en gnral assez bonne, mais pas ncessairement optimale (chaque situation tant un cas particulier, il peut tre lgrement adapt, et certains choix peuvent savrer meilleurs que dautres) Etape 1 : Classer les sommets dans lordre dcroissant de leur degr Etape 2 : En parcourant la liste dans lordre, attribuer une couleur non encore utilise au premier sommet non color, et attribuer cette mme couleur chaque sommet non encore color, et non adjacent un sommet de cette couleur. Etape 3 : Sil reste des sommets non encore colors dans le graphe, revenir ltape 2. Exemple d'application : Soit colorier le graphe suivant :

Etape 1 : on classe les sommets dans l'ordre dcroissant de leur degr Sommet Degr E 4 A 3 B 3 C 3 F 3 D 2 G 2 Etape 2 : On affecte une couleur "1" au sommet E ainsi qu' chaque sommet non encore color, et non adjacent un sommet de cette couleur. En pratique, cela signifie que l'on attribue une couleur E (couleur n1) ainsi qu' tous les sommets non adjacents E et non adjacents entre eux. Par exemple A Sommet Degr Couleur Attribue E 4 1 A 3 1 B 3 C 3 F 3 D 2 G 2

Page 7/14

jgcuaz@hotmail.com

Il reste des sommets non colors, on retourne l'tape 2 On affecte une couleur "2" au sommet B ainsi qu' chaque sommet non encore color, et non adjacent un sommet de cette couleur. On affecte donc cette couleur D et G Sommet Degr Couleur attribue E 4 1 A 3 1 B 3 2 C 3 F 3 D 2 2 G 2 2

Il reste des sommets non colors, on retourne l'tape 2 On affecte une couleur "3" au sommet C ainsi qu' chaque sommet non encore color, et non adjacent un sommet de cette couleur. On affecte donc cette couleur F Sommet Degr Couleur attribue E 4 1 A 3 1 B 3 2 C 3 3 F 3 3 D 2 2 G 2 2

Les sommets tant tous colors, l'algorithme s'arrte, et on a ainsi utilis trois couleurs pour colorier le graphe

6) Graphes pondrs
Dfinitions : On appelle Graphe pondr un graphe dont les artes sont affects dun nombre appel poids. On appelle poids dune chane la somme des poids des artes qui la composent . Une plus courte chane entre deux sommets est, parmi toutes les chanes qui les relient, une chane de poids minimum. Ainsi, pour se rendre de E B sur le graphe ci-dessous, on peut effectuer le chemin E-A-B, de poids gal 11+8=19 ou le chemin E-F-G-B de poids gal 2+9+6=17. Il semble donc que la chane la plus courte entre E et B soit de poids gal 17.

Existe-t-il un moyen de dterminer la plus courte chane entre deux sommets d'un graphe ?

Page 8/14

jgcuaz@hotmail.com

La rponse est positive, sous la forme de :Algorithme de Dijkstra : Cet algorithme est valable lorsque les poids sont tous positifs (ce qui constitue la majorit des cas) Nous allons illustrer cet algorithme l'aide d'un exemple (tableaux et graphique), et en expliquer les tapes au fur et mesure (en bleu) Un voyageur souhaite se rendre de Marseille au Futuroscope en train. D'une carte du rseau TGV, il a extrait le schma ci-contre :

Les guides donnent par ailleurs les temps suivants : Marseille Lyon : 1h50 Lyon Paris : 2h15 Marseille Paris :3h Lyon St Pierre des corps : 3h Marseille -Toulouse : 3h Paris St Pierre des corps : 1h

St Pierre des corps Futuroscope : 30 ' Futuroscope - Bordeaux : 2h10 Toulouse Bordeaux : 2h10

Il semble naturel de porter sur le schma prcdent les indications fournies par le tableau. (On crira M pour Marseille ; L pour Lyon ; P pour Paris ; S pour St Pierre des corps ; F pour Futuroscope ; B pour Bordeaux, et T pour Toulouse).

On appelle l'ensemble dans lequel on met les sommets au fur et mesure de leur marquage dfinitif. Le voyageur, partant de Marseille, peut se rendre directement Paris (3h), Lyon (1h50), ou Toulouse (3h). Il code ces indications sur son schma, en indiquant de plus pour chacune de ces villes linitiale de la ville de laquelle il vient. On attribue au sommet M le couple (0,M) A chaque sommet X on associe le couple : (dist(X), P(X)), dans lequel dist(X) reprsente la distance (provisoire ou dfinitive) de M X, et P(X) le prdcesseur de X. On attribue aux autres sommets le couple (+, ?) Ces trois villes seront dites provisoirement marques . On place M dans . Une fois qu'un sommet est plac dans , on noircit le reste de la colonne le concernant M L P S F B T (1h50,M) (3h,M) (3h,M) M-> ={M} ( ;? ) ( ;? ) ( ;? ) Le temps le plus court inscrit cette tape est 1h50 (si lon excepte, bien entendu, 0 pour Marseille). Aucune autre ville ntant accessible depuis Marseille en un temps plus court, on peut assurer quaucun autre trajet, passant par une autre ville, ne relie Marseille Lyon en un temps plus court. 1h50 est le temps minimum dun trajet Marseille-Lyon. Ce temps sera appel distance de Marseille Lyon, et not dist(L). Lyon sera dite marque dfinitivement. Notre voyageur peut alors considrer les villes accessibles depuis Lyon : pour chacune, trois cas peuvent se prsenter : - Cette ville X ntait pas provisoirement marque : on la marquera provisoirement du temps (dist(L)+poids de larte [LX]). - Cette ville tait dj provisoirement marque, mais le temps (dist(L)+poids de larte [LX]) est infrieur au temps du marquage provisoire : on le remplace. - Cette ville tait dj provisoirement marque, et le temps (dist(L)+poids de larte [LX]) est suprieur au temps du marquage provisoire : on garde le marquage provisoire. Page 9/14 jgcuaz@hotmail.com

Autrement dit : Tant que tous les sommets ne sont pas dans , ou que le sommet F nest pas affect de la plus petite distance provisoire : - Choisir parmi les sommets nappartenant pas un de ceux dont la distance provisoire est minimale. Soit X ce sommet. - Mettre X dans . - Pour chacun des sommets Yi qui lui sont adjacents et qui ne sont pas dans - Calculer s=distance de X + poids de larte [XYi] - Si s est infrieur la distance provisoire de Yi, attribuer Yi le couple (s, X) Dans notre exemple, les temps pour Paris et Toulouse restent inchangs, et un temps pour Saint Pierre des Corps apparat.

M M->

L (1h50,M) L->

P (3h,M) (on recopie le temps au dessus) (3h,M) et on compare au temps en provenance de Lyon, c'est dire d(L)+[LP] 1h50+2h15 = 4h05 Puisque 4h05>3h, on garde (3h,M)

( ;? )

d(L)+[LS] =1h50+3h =4h50 (marquage provisoire)

( ;? ) ( ;? )

( ;? ) ( ;? )

T (3h,M)

={M}

on recopie le ={M,L} temps au dessus) (3h,M) Il reste inchang car on ne peut pas ralier Lyon et Toulouse

A ce stade, parmi les villes provisoirement marques, Paris et Toulouse ont les distances minimales (3h). Paris, par exemple, ne pourra donc pas tre relie Marseille en moins de 3 heures. Paris est donc marque dfinitivement Le mme raisonnement que prcdemment conduit modifier le temps de St Pierre des Corps, puisque dist(P)+poids de larte[PS]=4h, et que 4h<4h30.

Page 10/14

jgcuaz@hotmail.com

M M->

L (1h50,M) L->

P (3h,M) (3h,M)

( ;? )

P->

(4h50,L) (marquage provisoire) Puisque d(P)+[PS] =3h+1h =4h<4h50 on retiendra (4h,P)

( ;? ) ( ;? ) ( ;? )

( ;? ) ( ;? ) ( ;? )

T (3h,M) (3h,M)

={M} ={M,L} ={M,L,P}

(3h,M)

Toulouse est marque dfinitivement. Apparat un temps provisoires pour Bordeaux M L P S F B T (3h,M) (3h,M) M-> (1h50,M) ( ;? ) ( ;? ) ( ;? ) L-> (3h,M) P-> (4h50,L) (4h,P) (4h,P)

={M} ={M,L} ={M,L,P} ={M,L,P,T}

( ;? ) ( ;? ) ( ;? )

( ;? ) ( ;? )

(3h,M) (3h,M) T->

(5H10,T)

St Pierre des Corps est marque dfinitivement. Apparat un temps provisoires pour Le Futuroscope M L P S F B T (3h,M) (3h,M) M-> (1h50,M) ={M} ( ;? ) ( ;? ) ( ;? ) L-> (3h,M) P-> (4h50,L) (4h,P) (4h,P) S->

( ;? ) ( ;? ) ( ;? )

( ;? ) ( ;? )

(3h,M) (3h,M) T->

={M,L} ={M,L,P} ={M,L,P,T} ={M,L,P,T, S} ={M} ={M,L} ={M,L,P} ={M,L,P,T} ={M,L,P,T, S} ={M,L,P,T, S,F} jgcuaz@hotmail.com

(5H10,T) (5H10,T)

(4h30,S)

Le Futuroscope est marqu dfinitivement. M L P S (3h,M) M-> (1h50,M) ( ;? ) L-> (3h,M) P-> (4h50,L) (4h,P) (4h,P) S->

( ;? ) ( ;? ) ( ;? ) ( ;? )

( ;? ) ( ;? ) ( ;? )

T (3h,M) (3h,M) (3h,M) T->

(5H10,T) (5H10,T) (5H10,T)

(4h30,S) F->

Page 11/14

Le Futuroscope a t marqu (dfinitivement) avant Bordeaux : le temps pour atteindre Bordeaux tant suprieur celui mis pour atteindre Poitiers par un autre trajet, il est inutile denvisager de passer par Bordeaux. M L P S F B T (3h,M) (3h,M) M-> (1h50,M) ={M} ( ;? ) ( ;? ) ( ;? ) L-> (3h,M) P-> (4h50,L) (4h,P) (4h,P) S->

( ;? ) ( ;? ) ( ;? )

( ;? ) ( ;? )

(3h,M) (3h,M) T->

={M,L} ={M,L,P} ={M,L,P,T} ={M,L,P,T, S} ={M,L,P,T, S,F}

(5H10,T) (5H10,T) (5H10,T)

(4h30,S) F->

La longueur du plus court chemin de M F est la distance de F. La chane de poids minimum se lit " l'envers", de F chacun des prdcesseurs successifs. Remarque : ici lalgorithme se termine alors quun des sommets na pas t marqu dfinitivement (Bordeaux). Ceci vient du fait que le temps trouv pour le Futuroscope (extrmit du chemin cherch) est infrieur aux temps encore provisoires restant (Bordeaux : 5h10). On peut alors tre certain que le passage par Bordeaux nest pas intressant, et que le chemin optimal ne passera pas par cette ville. La lecture inverse des prdcesseurs donne successivement : (4h30,S) ; (4h,P) ; (3h,M) . Le chemin optimal est donc Marseille- Paris-Saint-Pierre des Corps- Futuroscope On dmontre que cet algorithme donne un chemin minimal

Page 12/14

jgcuaz@hotmail.com

7) Graphes probabilistes
Introduction : Lorsque lon rpte plusieurs fois une exprience nayant que deux issues A et B, indpendantes ou non, on obtient un arbre de probabilits conditionnelles de la forme :

On voit vite les limites dune telle reprsentation, ds que les preuves se rptent plus de 4 fois ! Cependant, larbre de probabilit suivant :

peut tre vu comme un graphe orient et pondr, de sommets A et B, de la forme :

Remarque : Sur ce graphe ne figurent que les probabilits conditionnelles dun vnement sachant un autre, et napparaissent pas les probabilits simples des vnements A et B. Dfinition : Un graphe probabiliste est un graphe orient pondr, tel que les poids figurant sur chaque arte est un nombre rel de lintervalle [0;1] et tel la somme des poids des artes issues dun mme sommet vaut 1. On dit que A et B sont les diffrents tats du systme. Le poids des arte reprsente la probabilit de passer dun tat un autre. Page 13/14 jgcuaz@hotmail.com

Dfinition : Si on note A1 , A2 , A3 ....., An les sommets de ce graphe (reprsentant donc des vnements), la matrice carre n n dans laquelle le coefficient a ij (situ la ime ligne et la jme colonne) reprsente le poids de larte oriente Ai A j , donc la probabilit conditionnelle p Ai A j est appel matrice de transition du graphe probabiliste. Exemple : Dans lexemple ci-dessus, la matrice de transition du systme (o on a ordonn les points suivant lordre alphabtique) est donc

( )

Consquence : Supposons quune exprience alatoire dissues possibles A et B se rpte n fois successivement, et que les probabilits de ralisation initiale des vnements A et B soient p 0 = p ( A) et q 0 = p ( B ) = 1 p ( A) = 1 p o . Supposons enfin que les probabilits conditionnelles soient celles dfinies plus haut. On a donc :

La probabilit de ralisation de lvnement A la 1me tape, note

p1

sera donc gale :

1 1 1 1 p1 = p 0 + (1 p 0 ) = p 0 + q 0 . De la mme manire la probabilit de ralisation de lvnement A la 3 5 3 5 2 4 1me tape, q1 sera gale : q1 = p 0 + q 0 . 3 5 En utilisant la notation matricielle, si on note ( p 0 q 0 ) les deux probabilits de ltat initial, et si on note ( p1 q1 ) la
probabilit la 1re tape, on aura ( p1

q1 ) = ( p0

Si on note P1 , P2 ,....., Pn les matrices lignes ( p n transition, on aura donc : P1 = P0 M , P2 = P1 M , etc et de manire gnrale Pn +1 = Pn M . On en dduit par rcurrence que pour tout entier n, Pn = P0 M n

1 2 q0 ) 3 3 . 1 4 5 5 q n ) correspondant aux probabilits la nme tape, et M la matrice de

Thorme : Soit un graphe probabiliste dordre 2 dont la matrice de transition ne comporte pas de 0. Alors - ltat Pn converge vers un tat P indpendant de ltat initial P0 P est lunique solution de lquation matricielle X = X M

Remarque : X est la matrice inconnue. La rsolution de lquation matricielle se traduira par celle dun systme.

Page 14/14

jgcuaz@hotmail.com