th´eorie des graphes - lacl · 2014. 9. 15. · des graphes distance dans un graphe non orient´e...
TRANSCRIPT
![Page 1: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/1.jpg)
Theorie desgraphes
Theorie des graphes et applications
18 novembre 2013
![Page 2: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/2.jpg)
Theorie desgraphes
Plan
Seront abordes les themes suivants :
Generalites
Coloration - Planarite
Probleme de l’arbre couvrant minimal
Probleme du plus court chemin
Ordonnancement
![Page 3: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/3.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chapitre I – Generalites
Definitions
Chaınes et chemins
Connexite (graphe non oriente)
Forte connexite
Representation des graphes
Distance dans un graphe non oriente
Les 7 ponts de Konigsberg
![Page 4: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/4.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chapitre I – Generalites
Definitions
Chaınes et chemins
Connexite (graphe non oriente)
Forte connexite
Representation des graphes
Distance dans un graphe non oriente
Les 7 ponts de Konigsberg
![Page 5: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/5.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chapitre I – Generalites
Definitions
Chaınes et chemins
Connexite (graphe non oriente)
Forte connexite
Representation des graphes
Distance dans un graphe non oriente
Les 7 ponts de Konigsberg
![Page 6: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/6.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chapitre I – Generalites
Definitions
Chaınes et chemins
Connexite (graphe non oriente)
Forte connexite
Representation des graphes
Distance dans un graphe non oriente
Les 7 ponts de Konigsberg
![Page 7: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/7.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chapitre I – Generalites
Definitions
Chaınes et chemins
Connexite (graphe non oriente)
Forte connexite
Representation des graphes
Distance dans un graphe non oriente
Les 7 ponts de Konigsberg
![Page 8: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/8.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chapitre I – Generalites
Definitions
Chaınes et chemins
Connexite (graphe non oriente)
Forte connexite
Representation des graphes
Distance dans un graphe non oriente
Les 7 ponts de Konigsberg
![Page 9: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/9.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chapitre I – Generalites
Definitions
Chaınes et chemins
Connexite (graphe non oriente)
Forte connexite
Representation des graphes
Distance dans un graphe non oriente
Les 7 ponts de Konigsberg
![Page 10: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/10.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Definitions
On ne considerera que des graphes finis
![Page 11: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/11.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Graphe non oriente
Definition
Un graphe non oriente est defini par la donnee
d’un ensemble fini X de sommets
d’un ensemble fini E d’aretes
une application qui a chaque arete associe deux sommetsnon necessairement distincts
Definition
L’ordre d’un graphe est le nombre de sommet du graphe
![Page 12: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/12.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
b b
b
b
b b
b
b
b
b
b b bbi
e f
g
d c
b
a
h
e1 e2
e3
G
![Page 13: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/13.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
b b
b
b
b b
b
b
b
b
b b bbi
e f
g
d c
b
a
h
e1 e2
e3
G
Toutes les aretes n’ont pas ete nommees
![Page 14: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/14.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
b b
b
b
b b
b
b
b
b
b b bbi
e f
g
d c
b
a
h
e1 e2
e3
G
Toutes les aretes n’ont pas ete nommeesa et b sont adjacents ou voisins
![Page 15: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/15.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
b b
b
b
b b
b
b
b
b
b b bbi
e f
g
d c
b
a
h
e1 e2
e3
G
Toutes les aretes n’ont pas ete nommeesa et b sont adjacents ou voisinsl’arete {eg} est incidente a e et a g
![Page 16: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/16.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
b b
b
b
b b
b
b
b
b
b b bbi
e f
g
d c
b
a
h
e1 e2
e3
G
Toutes les aretes n’ont pas ete nommeesa et b sont adjacents ou voisinsl’arete {eg} est incidente a e et a g
le sommet h est pendant, le sommet i est isole
![Page 17: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/17.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
b b
b
b
b b
b
b
b
b
b b bbi
e f
g
d c
b
a
h
e1 e2
e3
G
Toutes les aretes n’ont pas ete nommeesa et b sont adjacents ou voisinsl’arete {eg} est incidente a e et a g
le sommet h est pendant, le sommet i est isolee1 et e2 sont paralleles, e3 est une boucle
![Page 18: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/18.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Graphe non oriente
Definition
Un graphe non oriente est simple s’il ne contient
ni boucle
ni arete parallele
Propriete
Soit G un graphe simple d’ordre n. Le nombre d’aretes m de G
verifie
m ≤ n(n−1)2
![Page 19: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/19.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
b b
b
b
b b
b
b
b
b
b b bbi
e f
g
d c
b
a
h
G
G est simple
![Page 20: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/20.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Graphe oriente
Definition
Un graphe oriente est defini par la donnee
d’un ensemble fini X de sommets
d’un ensemble fini E d’arcs
une application qui a chaque arc associe un couple desommets (x , y) non necessairement distincts ; x estl’origine de l’arc et y est le but de l’arc.
Dans G d est un predecesseur de c , c est un successeur de d .Il y a une boucle sur le sommet b donc G n’est pas simple. Lesommet e est une source car il n’a aucun predecesseur, c estun puits car il n’a aucun successeur.
b
bb bb
b
d c
ba
e
G
![Page 21: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/21.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Isomorphismes de graphes
Definition
les graphes H et G sont isomorphes s’il existe une bijectionentre les ensembles de sommets des deux graphes quirespectent les relations de voisinage.
![Page 22: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/22.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Isomorphismes de graphes
Definition
les graphes H et G sont isomorphes s’il existe une bijectionentre les ensembles de sommets des deux graphes quirespectent les relations de voisinage.
Autrement dit, si le sommet a de G correspond au sommet αde H, alors les correspondants des voisins de a dans G doiventetre les voisins de α dans H et reciproquement.
![Page 23: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/23.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Isomorphismes de graphes
Definition
les graphes H et G sont isomorphes s’il existe une bijectionentre les ensembles de sommets des deux graphes quirespectent les relations de voisinage.
Autrement dit, si le sommet a de G correspond au sommet αde H, alors les correspondants des voisins de a dans G doiventetre les voisins de α dans H et reciproquement.Les deux graphes ci-dessous sont-ils isomorphes ?
b b
bb
bb
b
b
b b
bb
bb
b
bd c
ba
e
G
δ ε
βα
γ
H
![Page 24: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/24.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Isomorphismes de graphes
Definition
les graphes H et G sont isomorphes s’il existe une bijectionentre les ensembles de sommets des deux graphes quirespectent les relations de voisinage.
Autrement dit, si le sommet a de G correspond au sommet αde H, alors les correspondants des voisins de a dans G doiventetre les voisins de α dans H et reciproquement.Les deux graphes ci-dessous sont isomorphes.
b
b b
bb
b b
bb
b
b
b
b
b
b
b
b
b
b b
b b
b
bb
b
bb
b
b
b
b b
b
bd c
ba
e f
gh
Gδ
β
ϕ
η
α
γ
ω
ε
H
![Page 25: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/25.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Trouver les 11 graphes simples d’ordre 4 non isomorphes deux adeux.
![Page 26: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/26.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Trouver les 11 graphes simples d’ordre 4 non isomorphes deux adeux.
bb
bb
bb
bb
b b
bb bb
b bb
b bb
b
b
b
b b
b b
b
b
b
b bb
b
b
b
b b b
b bb
b b b
bbbb
b b b b
b
b
bb
b b bb
bbb b
bb
b
b bb
bbb b
bb
bb
b
![Page 27: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/27.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Sous-graphe
Definition
Un sous- graphe est obtenu en supprimant des sommets et lesaretes (ou arcs) qui lui sont incidentes.
Remarque
dans le cas general, un sous-graphe a moins de sommetset moins d’aretes(ou arcs).
H est un sous-graphe de G , H = G \ {b, d}
b
b b
bb
b b
bb
b
b
b
b
b
b
b
b
b b b
bb
b
b
b
b
b
d c
ba
e f
gh
G
c
a
e f
gh
H
![Page 28: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/28.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Graphe partiel
Definition
Un graphe partiel est obtenu en supprimant des aretes (ou arcs)
Remarque
un graphe partiel a exactement les memes sommets
H est un graphe partiel de G , H = G \ {{a, b}, {d , e}}
b
b b
bb
b b
bb
b
b
b
b
b
b
b
b
b
b
b b
b
b b
bb
b
b
b
b
b
b
b
d c
ba
e f
gh
G b
cd
a
e f
gh
H
![Page 29: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/29.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Degres dans un graphe non oriente
Definition
Dans un graphe non oriente, le degre d’un sommet x , noted(x), est egal au nombre d’aretes incidents a x (une boucleetant 2 fois incidente)
![Page 30: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/30.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Degres dans un graphe non oriente
Definition
Dans un graphe non oriente, le degre d’un sommet x , noted(x), est egal au nombre d’aretes incidents a x (une boucleetant 2 fois incidente)
a est de degre 5, i est de degre 0, h est de degre 1, d est dedegre 4
b b
b
b
b b
b
b
b
b
b b bbi
e f
g
d c
b
a
h
G
![Page 31: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/31.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Degres dans un graphe non oriente
Propriete
Soit G un graphe non oriente et m son nombre d’aretes.
∑
x∈X
d(x) = 2m
![Page 32: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/32.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Degres dans un graphe non oriente
Propriete
Soit G un graphe non oriente et m son nombre d’aretes.
∑
x∈X
d(x) = 2m
En effet chaque arete est comptee exactement deux fois : unefois pour chaque extremite. C’est aussi valable pour une bouclequi est deux fois incidente a un sommet.
![Page 33: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/33.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Degres dans un graphe non oriente
Propriete
Soit G un graphe non oriente et m son nombre d’aretes.
∑
x∈X
d(x) = 2m
En effet chaque arete est comptee exactement deux fois : unefois pour chaque extremite. C’est aussi valable pour une bouclequi est deux fois incidente a un sommet.
Consequence
dans un graphe non oriente, le nombre de sommets de degreimpair est pair
![Page 34: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/34.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Degres dans un graphe non oriente
Propriete
Soit G un graphe non oriente et m son nombre d’aretes.
∑
x∈X
d(x) = 2m
En effet chaque arete est comptee exactement deux fois : unefois pour chaque extremite. C’est aussi valable pour une bouclequi est deux fois incidente a un sommet.
Consequence
dans un graphe non oriente, le nombre de sommets de degreimpair est pair
Propriete
Dans un graphe non oriente simple on a pour tout sommet x ,
d(x) ≤ (n − 1)
![Page 35: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/35.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Graphe complet
Definition
On appelle graphe complet d’ordre n, note Kn, le graphe simpled’ordre n dont tout sommet est adjacent a tous les autressommets (defini a un isomorphisme pres)
![Page 36: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/36.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Graphe complet
Definition
On appelle graphe complet d’ordre n, note Kn, le graphe simpled’ordre n dont tout sommet est adjacent a tous les autressommets (defini a un isomorphisme pres)
Kn a n(n−1)2 aretes. Chacun de ses sommets est de degre n − 1
![Page 37: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/37.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Graphe complet
Definition
On appelle graphe complet d’ordre n, note Kn, le graphe simpled’ordre n dont tout sommet est adjacent a tous les autressommets (defini a un isomorphisme pres)
Kn a n(n−1)2 aretes. Chacun de ses sommets est de degre n − 1
b b
bb
bb
b
b
b
K4
![Page 38: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/38.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Degres dans un graphe oriente
Definition
Dans un graphe oriente,
on appelle degre entrant d’un sommet x , note d−(x), lenombre d’arcs de but x .
on appelle degre sortant d’un sommet x , note d+(x), lenombre d’arcs d’origine x .
![Page 39: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/39.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Degres dans un graphe oriente
Definition
Dans un graphe oriente,
on appelle degre entrant d’un sommet x , note d−(x), lenombre d’arcs de but x .
on appelle degre sortant d’un sommet x , note d+(x), lenombre d’arcs d’origine x .
exemple :d−(a) = 3,d−(b) = 1,d−(c) = 2,d−(d) = 0d+(a) = 0,d+(b) = 2,d+(c) = 1,d+(d) = 3
b
bb b
b
b
ba
b c
d
![Page 40: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/40.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Degres dans un graphe oriente
Definition
Dans un graphe oriente,
on appelle degre entrant d’un sommet x , note d−(x), lenombre d’arcs de but x .
on appelle degre sortant d’un sommet x , note d+(x), lenombre d’arcs d’origine x .
Propriete
Dans un graphe oriente, a m arcs, on a
∑
x∈X
d−(x) =∑
x∈X
d+(x) = m
![Page 41: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/41.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Definition
On dit qu’une suite d’entiers naturels k1, · · · , kn est graphiques’il existe un graphe non oriente simple d’ordre n tel que sessommets x1, · · · , xn ont respectivement les degres k1, · · · , kn.
exemple : la suite 7, 7, 5, 5, 4, 4, 3, 2 n’est pas graphique car . . .
![Page 42: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/42.jpg)
Theorie desgraphes
Definitions
Graphe nonoriente
Graphe nonoriente simple
Graphe oriente
Isomorphismesde graphes
Sous-graphes,graphes partiels
Degres dans ungraphe nonoriente
Degres dans ungraphe oriente
Suite graphique
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Definition
On dit qu’une suite d’entiers naturels k1, · · · , kn est graphiques’il existe un graphe non oriente simple d’ordre n tel que sessommets x1, · · · , xn ont respectivement les degres k1, · · · , kn.
exemple : la suite 7, 7, 5, 5, 4, 4, 3, 2 n’est pas graphique car . . .
Theoreme de Havel-Hakimi :
une suite decroissante d’entiers naturels k1 ≥ · · · ≥ kn avecn ≥ 2 et k1 ≥ 1 est graphique si et seulement si la suitek2 − 1, k3 − 1, · · · , kk1+1 − 1, kk1+2, · · · kn est graphique. (on asupprime k1 de la suite puis on a retranche 1 aux k1 premierstermes)
Ce theoreme fournit un algorithme pour determiner si une suiteest graphique ou non.
![Page 43: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/43.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chaınes et chemins
Definition
Dans un graphe non oriente.
une chaıne est une suite x0e1x1e2x2 · · · ekxk avecei = {xi−1, xi} pour i = 1 · · · k . On dit que cette chaıneest de longueur k et relie x0 a xk .
une chaıne est simple si elle ne contient pas deux fois lameme arete.
un cycle est une chaıne simple fermee c’est-a-dire x0 = xk .
une chaıne est elementaire si elle ne contient pas deux foisle meme sommet (sauf aux extremites si c’est un cycleelementaire).
une chaıne est eulerienne si elle est simple et contienttoutes les aretes.
une chaıne est hamiltonienne si elle est elementaire etcontient tous les sommets.
![Page 44: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/44.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chaınes et chemins
Definition
Dans un graphe non oriente.
une chaıne est une suite x0e1x1e2x2 · · · ekxk avecei = {xi−1, xi} pour i = 1 · · · k . On dit que cette chaıneest de longueur k et relie x0 a xk .
une chaıne est simple si elle ne contient pas deux fois lameme arete.
un cycle est une chaıne simple fermee c’est-a-dire x0 = xk .
une chaıne est elementaire si elle ne contient pas deux foisle meme sommet (sauf aux extremites si c’est un cycleelementaire).
une chaıne est eulerienne si elle est simple et contienttoutes les aretes.
une chaıne est hamiltonienne si elle est elementaire etcontient tous les sommets.
![Page 45: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/45.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chaınes et chemins
Definition
Dans un graphe non oriente.
une chaıne est une suite x0e1x1e2x2 · · · ekxk avecei = {xi−1, xi} pour i = 1 · · · k . On dit que cette chaıneest de longueur k et relie x0 a xk .
une chaıne est simple si elle ne contient pas deux fois lameme arete.
un cycle est une chaıne simple fermee c’est-a-dire x0 = xk .
une chaıne est elementaire si elle ne contient pas deux foisle meme sommet (sauf aux extremites si c’est un cycleelementaire).
une chaıne est eulerienne si elle est simple et contienttoutes les aretes.
une chaıne est hamiltonienne si elle est elementaire etcontient tous les sommets.
![Page 46: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/46.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chaınes et chemins
Definition
Dans un graphe non oriente.
une chaıne est une suite x0e1x1e2x2 · · · ekxk avecei = {xi−1, xi} pour i = 1 · · · k . On dit que cette chaıneest de longueur k et relie x0 a xk .
une chaıne est simple si elle ne contient pas deux fois lameme arete.
un cycle est une chaıne simple fermee c’est-a-dire x0 = xk .
une chaıne est elementaire si elle ne contient pas deux foisle meme sommet (sauf aux extremites si c’est un cycleelementaire).
une chaıne est eulerienne si elle est simple et contienttoutes les aretes.
une chaıne est hamiltonienne si elle est elementaire etcontient tous les sommets.
![Page 47: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/47.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chaınes et chemins
Definition
Dans un graphe non oriente.
une chaıne est une suite x0e1x1e2x2 · · · ekxk avecei = {xi−1, xi} pour i = 1 · · · k . On dit que cette chaıneest de longueur k et relie x0 a xk .
une chaıne est simple si elle ne contient pas deux fois lameme arete.
un cycle est une chaıne simple fermee c’est-a-dire x0 = xk .
une chaıne est elementaire si elle ne contient pas deux foisle meme sommet (sauf aux extremites si c’est un cycleelementaire).
une chaıne est eulerienne si elle est simple et contienttoutes les aretes.
une chaıne est hamiltonienne si elle est elementaire etcontient tous les sommets.
![Page 48: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/48.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chaınes et chemins
Definition
Dans un graphe non oriente.
une chaıne est une suite x0e1x1e2x2 · · · ekxk avecei = {xi−1, xi} pour i = 1 · · · k . On dit que cette chaıneest de longueur k et relie x0 a xk .
une chaıne est simple si elle ne contient pas deux fois lameme arete.
un cycle est une chaıne simple fermee c’est-a-dire x0 = xk .
une chaıne est elementaire si elle ne contient pas deux foisle meme sommet (sauf aux extremites si c’est un cycleelementaire).
une chaıne est eulerienne si elle est simple et contienttoutes les aretes.
une chaıne est hamiltonienne si elle est elementaire etcontient tous les sommets.
![Page 49: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/49.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Remarque
une chaıne elementaire est simple mais le contraire n’est pasnecessairement vrai.
Propriete
si x et y sont reliees par une chaıne alors il existe une chaıneelementaire qui relie x a y .
![Page 50: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/50.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chaınes et chemins
Definition
Dans un graphe oriente.
un chemin est une suite x0e1x1e2x2 · · · ekxk avecei = (xi−1, xi ) pour i = 1 · · · k . On dit que ce chemin estde longueur k et relie x0 a xk .
un chemin est simple s’il ne contient pas deux fois lememe arc.
un circuit est un chemin simple ferme c’est-a-dire x0 = xk .
un chemin est elementaire s’il ne contient pas deux fois lememe sommet (sauf aux extremites si c’est un circuitelementaire).
un chemin est eulerien s’il est simple et contient toutes lesarcs.
un chemin est hamiltonien s’il est elementaire et contienttous les sommets.
![Page 51: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/51.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chaınes et chemins
Definition
Dans un graphe oriente.
un chemin est une suite x0e1x1e2x2 · · · ekxk avecei = (xi−1, xi ) pour i = 1 · · · k . On dit que ce chemin estde longueur k et relie x0 a xk .
un chemin est simple s’il ne contient pas deux fois lememe arc.
un circuit est un chemin simple ferme c’est-a-dire x0 = xk .
un chemin est elementaire s’il ne contient pas deux fois lememe sommet (sauf aux extremites si c’est un circuitelementaire).
un chemin est eulerien s’il est simple et contient toutes lesarcs.
un chemin est hamiltonien s’il est elementaire et contienttous les sommets.
![Page 52: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/52.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chaınes et chemins
Definition
Dans un graphe oriente.
un chemin est une suite x0e1x1e2x2 · · · ekxk avecei = (xi−1, xi ) pour i = 1 · · · k . On dit que ce chemin estde longueur k et relie x0 a xk .
un chemin est simple s’il ne contient pas deux fois lememe arc.
un circuit est un chemin simple ferme c’est-a-dire x0 = xk .
un chemin est elementaire s’il ne contient pas deux fois lememe sommet (sauf aux extremites si c’est un circuitelementaire).
un chemin est eulerien s’il est simple et contient toutes lesarcs.
un chemin est hamiltonien s’il est elementaire et contienttous les sommets.
![Page 53: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/53.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chaınes et chemins
Definition
Dans un graphe oriente.
un chemin est une suite x0e1x1e2x2 · · · ekxk avecei = (xi−1, xi ) pour i = 1 · · · k . On dit que ce chemin estde longueur k et relie x0 a xk .
un chemin est simple s’il ne contient pas deux fois lememe arc.
un circuit est un chemin simple ferme c’est-a-dire x0 = xk .
un chemin est elementaire s’il ne contient pas deux fois lememe sommet (sauf aux extremites si c’est un circuitelementaire).
un chemin est eulerien s’il est simple et contient toutes lesarcs.
un chemin est hamiltonien s’il est elementaire et contienttous les sommets.
![Page 54: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/54.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chaınes et chemins
Definition
Dans un graphe oriente.
un chemin est une suite x0e1x1e2x2 · · · ekxk avecei = (xi−1, xi ) pour i = 1 · · · k . On dit que ce chemin estde longueur k et relie x0 a xk .
un chemin est simple s’il ne contient pas deux fois lememe arc.
un circuit est un chemin simple ferme c’est-a-dire x0 = xk .
un chemin est elementaire s’il ne contient pas deux fois lememe sommet (sauf aux extremites si c’est un circuitelementaire).
un chemin est eulerien s’il est simple et contient toutes lesarcs.
un chemin est hamiltonien s’il est elementaire et contienttous les sommets.
![Page 55: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/55.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Chaınes et chemins
Definition
Dans un graphe oriente.
un chemin est une suite x0e1x1e2x2 · · · ekxk avecei = (xi−1, xi ) pour i = 1 · · · k . On dit que ce chemin estde longueur k et relie x0 a xk .
un chemin est simple s’il ne contient pas deux fois lememe arc.
un circuit est un chemin simple ferme c’est-a-dire x0 = xk .
un chemin est elementaire s’il ne contient pas deux fois lememe sommet (sauf aux extremites si c’est un circuitelementaire).
un chemin est eulerien s’il est simple et contient toutes lesarcs.
un chemin est hamiltonien s’il est elementaire et contienttous les sommets.
![Page 56: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/56.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Connexite
Definition
La relation ’≪ etre relies par une chaıne ≫ est une relationd’equivalence sur l’ensemble des sommets de G d’un graphenon oriente. Les sous-graphes engendres par cette relation sontles composantes connexes de G (ce sont les sous-graphesmaximaux par rapport a cette relation).
La composante connexe CC (x) du sommet x est alorsl’ensemble des sommets de G relies a x par une chaıne sachantque x est relie a lui- meme par une chaıne de longueur nulle.On dit que G est un graphe non oriente connexe s’il n’a qu’unecomposante connexe c’est-a-dire si deux sommets quelconquesde G sont relies par une chaıne.
![Page 57: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/57.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Propriete
Soit G un graphe non oriente d’ordre n a m aretes. Si G estconnexe alors m ≥ n − 1.
![Page 58: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/58.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Preuve
Par recurrence sur n, en supposant G simple (sans perte degeneralite)
pour n = 1, c’est clair
soit n ≥ 1, supposons la propriete vraie pour tous lesgraphes non orientes d’ordre au plus n et considerons ungraphe connexe G d’ordre n+1. On considerera deux cas :
1 il existe une arete e tel que G \ e n’est plus connexe,
2 pour toute arete e, G \ e est connexe.
![Page 59: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/59.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Preuve
Par recurrence sur n, en supposant G simple (sans perte degeneralite)
pour n = 1, c’est clair
soit n ≥ 1, supposons la propriete vraie pour tous lesgraphes non orientes d’ordre au plus n et considerons ungraphe connexe G d’ordre n+1. On considerera deux cas :
1 il existe une arete e tel que G \ e n’est plus connexe,
2 pour toute arete e, G \ e est connexe.
![Page 60: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/60.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Preuve
Par recurrence sur n, en supposant G simple (sans perte degeneralite)
pour n = 1, c’est clair
soit n ≥ 1, supposons la propriete vraie pour tous lesgraphes non orientes d’ordre au plus n et considerons ungraphe connexe G d’ordre n+1. On considerera deux cas :
1 il existe une arete e tel que G \ e n’est plus connexe,
2 pour toute arete e, G \ e est connexe.
![Page 61: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/61.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Preuve
Par recurrence sur n, en supposant G simple (sans perte degeneralite)
pour n = 1, c’est clair
soit n ≥ 1, supposons la propriete vraie pour tous lesgraphes non orientes d’ordre au plus n et considerons ungraphe connexe G d’ordre n+1. On considerera deux cas :
1 il existe une arete e tel que G \ e n’est plus connexe,
2 pour toute arete e, G \ e est connexe.
![Page 62: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/62.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
1er cas
soit e une arete de G telle que G \ e n’est plus connexe : alorsG \ e a exactement 2 composantes connexes.
![Page 63: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/63.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
1er cas
soit e une arete de G telle que G \ e n’est plus connexe : alorsG \ e a exactement 2 composantes connexes.En effet si e = {x , y} et G \ e non connexe, alors, sachant queG est connexe, on peut partitionner les sommets de G en deuxparties : les sommets relies a x par une chaıne ne passant paspar e et les sommets relies a y par une chaıne ne passant paspar e. Ce sont les deux composantes connexes de G \ e.
![Page 64: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/64.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
1er cas
soit e une arete de G telle que G \ e n’est plus connexe : alorsG \ e a exactement 2 composantes connexes.En effet si e = {x , y} et G \ e non connexe, alors, sachant queG est connexe, on peut partitionner les sommets de G en deuxparties : les sommets relies a x par une chaıne ne passant paspar e et les sommets relies a y par une chaıne ne passant paspar e. Ce sont les deux composantes connexes de G \ e.Soient alors C1,C2 les deux composantes connexes de G \ e.L’ordre ni de Ci est au plus egal a n pour i = 1, 2 etn1 + n2 = n + 1.Par hypothese de recurrence, Ci a donc au moins ni − 1 aretes.
![Page 65: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/65.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
1er cas
soit e une arete de G telle que G \ e n’est plus connexe : alorsG \ e a exactement 2 composantes connexes.En effet si e = {x , y} et G \ e non connexe, alors, sachant queG est connexe, on peut partitionner les sommets de G en deuxparties : les sommets relies a x par une chaıne ne passant paspar e et les sommets relies a y par une chaıne ne passant paspar e. Ce sont les deux composantes connexes de G \ e.Soient alors C1,C2 les deux composantes connexes de G \ e.L’ordre ni de Ci est au plus egal a n pour i = 1, 2 etn1 + n2 = n + 1.Par hypothese de recurrence, Ci a donc au moins ni − 1 aretes.Donc G \ e a au moins (n1 − 1) + (n2 − 1) = n+ 1− 2 = n− 1aretes. Donc G a au moins n aretes.
![Page 66: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/66.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
2eme cas
soit k > 1 le plus petit entier tel qu’il existe k aretes e1, . . . ekverifiant G \ {e1, . . . ek−1} est connexe et G \ {e1, . . . ek} n’estpas connexe. Alors en appliquant le meme raisonnement queprecedemment G \ {e1, . . . ek} a 2 composantes connexes et aau moins n − 1 aretes.Donc G a au moins n − 1 + k ≥ n + 1 > n aretes. �
![Page 67: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/67.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Forte connexite
Dans le cadre des graphes orientes, la relation ”etre relies parun chemin” n’est pas symetrique. On definit une notion plusforte que la simple connexite :
Definition
un graphe oriente G est fortement connexe si pour toussommets x 6= y de G , il existe un chemein de x a y et unchemin de y a x .
Definition
Une composante fortement connexe d’un graphe oriente est unsous-graphe fortement connexe maximal pour cette propriete.
exemple : un circuit est un graphe fortement connexe.
![Page 68: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/68.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Representation des graphes
Il existe de nombreuses facons de representer les graphescomme une structure de donnees. On en verra deux :
![Page 69: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/69.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Representation des graphes
Il existe de nombreuses facons de representer les graphescomme une structure de donnees. On en verra deux :matrice d’adjacence : le graphe est represente par une matricecarree n× n A, a coefficients dans N indexee par les sommetsdu graphe et telle que Ai ,j est egal au nombre d’aretes (ouarcs) du sommet i au sommet j
![Page 70: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/70.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Representation des graphes
Il existe de nombreuses facons de representer les graphescomme une structure de donnees. On en verra deux :matrice d’adjacence : le graphe est represente par une matricecarree n× n A, a coefficients dans N indexee par les sommetsdu graphe et telle que Ai ,j est egal au nombre d’aretes (ouarcs) du sommet i au sommet jmatrice d’incidence : le graphe sans boucle est represente parune matrice n ×m M indexee par les sommets et les aretes ettelle que Mi ,ej = 1 si i est l’origine de ej , Mi ,ej = −1 si i est lebut de ej , Mi ,ej = 0 sinon
![Page 71: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/71.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Representation des graphes
Il existe de nombreuses facons de representer les graphescomme une structure de donnees. On en verra deux :matrice d’adjacence : le graphe est represente par une matricecarree n× n A, a coefficients dans N indexee par les sommetsdu graphe et telle que Ai ,j est egal au nombre d’aretes (ouarcs) du sommet i au sommet jmatrice d’incidence : le graphe sans boucle est represente parune matrice n ×m M indexee par les sommets et les aretes ettelle que Mi ,ej = 1 si i est l’origine de ej , Mi ,ej = −1 si i est lebut de ej , Mi ,ej = 0 sinon
![Page 72: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/72.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
matrice d’adjacence
pour une matrice d’adjacence, on peut noter :
la taille d’une matrice d’adjacence est n2
si le graphe est non oriente, alors sa matrice d’adjacenceest symetrique
le presence et l’absence d’aretes sont representees :beaucoup d’espaces memoire utilises pour rien
si le graphe est simple on peut se contenter d’une matriced’adjacence a coefficients dans {0, 1}
![Page 73: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/73.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
matrice d’adjacence
pour une matrice d’adjacence, on peut noter :
la taille d’une matrice d’adjacence est n2
si le graphe est non oriente, alors sa matrice d’adjacenceest symetrique
le presence et l’absence d’aretes sont representees :beaucoup d’espaces memoire utilises pour rien
si le graphe est simple on peut se contenter d’une matriced’adjacence a coefficients dans {0, 1}
![Page 74: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/74.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
matrice d’adjacence
pour une matrice d’adjacence, on peut noter :
la taille d’une matrice d’adjacence est n2
si le graphe est non oriente, alors sa matrice d’adjacenceest symetrique
le presence et l’absence d’aretes sont representees :beaucoup d’espaces memoire utilises pour rien
si le graphe est simple on peut se contenter d’une matriced’adjacence a coefficients dans {0, 1}
![Page 75: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/75.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
matrice d’adjacence
pour une matrice d’adjacence, on peut noter :
la taille d’une matrice d’adjacence est n2
si le graphe est non oriente, alors sa matrice d’adjacenceest symetrique
le presence et l’absence d’aretes sont representees :beaucoup d’espaces memoire utilises pour rien
si le graphe est simple on peut se contenter d’une matriced’adjacence a coefficients dans {0, 1}
![Page 76: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/76.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
La matrice d’adjacence suivante represente le graphe nonoriente ci-dessous
0 1 0 0 0 01 0 2 1 0 10 2 1 1 0 00 1 1 0 0 10 0 0 0 0 00 1 0 1 0 0
b b b
bb
b
b bb
1 2 6
43
5
![Page 77: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/77.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
La matrice d’adjacence suivante represente le graphe orienteci-dessous
0 1 10 0 10 1 1
b bb
b
1 2
3
![Page 78: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/78.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
La matrice d’incidence suivante represente le graphe orienteci-dessous
1 1 0 00 -1 1 -1-1 0 -1 1
b bb
b
1 2
3
![Page 79: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/79.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Distance dans un graphe non
oriente
Definition
La distance d(x , y) entre deux sommets x , y d’un graphe nonoriente G est defini par :
d(x , y) = 0 si x = y .
d(x , y) est la longueur d’une plus courte chaıne reliant x ay s’il existe une telle chaıne
d(x , y) =∞ sinon
Propriete
Pour tous sommets x , y , z
d(x , x) = 0
d(x , y) = d(y , x)
d(x , y) ≤ d(x , z) + d(y , z)
![Page 80: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/80.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Diametre d’un graphe non oriente
Definition
Le diametre d’un graphe non oriente est le maximum desdistances entre deux sommets de ce graphe.
Par exemple, le diametre d’un graphe non connexe est infini. Lediametre d’un graphe complet est 1.
![Page 81: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/81.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Les 7 ponts de KonigsbergCet exemple historique est important puisque sa resolution parL.Euler initia la theorie des graphes.
Figure: les sept ponts de Konigsberg
![Page 82: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/82.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Les 7 ponts de KonigsbergLe probleme pose etait le suivant : peut-on visiter toute la villeen emprutant chaque pont une et une seule fois ?
Figure: les sept ponts de Konigsberg
![Page 83: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/83.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Les 7 ponts de Konigsberg
La reponse est non et L.Euler montra pourquoi en etablissant letheoreme suivant :
Theoreme (Euler)
Soit G un graphe non oriente connexe. G a une chaıneeulerienne si et seulement si G a 0 ou 2 sommets de degreimpair.
Ce theoreme explique pourquoi on peut dessiner d’un seul traitsans repasser la maison avec un toit mais qu’il est impossiblede le faire pour la maison sans toit.
![Page 84: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/84.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Preuve ⇒
Supposons que G a une chaıne eulerienne c . On noterac = α− e0 − x1 − e1 − . . . ek−1 − xk − ek − ω
Comme G est connexe, chaque sommet a au moins uneoccurrence dans c . On notera n(x) le nombre d’occurrencesd’un sommet x dans c .On considere deux cas pour c :
1 c est un cycle : chaque occurrence d’un sommet x dans cest entouree de deux aretes incidentes a x ; puisque toutesles aretes sont presentes une et une seule fois dans c , ledegre de est d(x) = 2× n(x). Donc d(x) est pair.
2 c n’est pas un cycle : on distinguera les extremites α et ωde c et les autres sommets. Pour les autres sommets onpeut raisonner comme dans le cas precedent. Pour α, lesaretes incidentes sont e0 et ei−1, ei pour xi = α, doncd(α) est impair. De meme pour ω.
![Page 85: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/85.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Preuve ⇒
Supposons que G a une chaıne eulerienne c . On noterac = α− e0 − x1 − e1 − . . . ek−1 − xk − ek − ω
Comme G est connexe, chaque sommet a au moins uneoccurrence dans c . On notera n(x) le nombre d’occurrencesd’un sommet x dans c .On considere deux cas pour c :
1 c est un cycle : chaque occurrence d’un sommet x dans cest entouree de deux aretes incidentes a x ; puisque toutesles aretes sont presentes une et une seule fois dans c , ledegre de est d(x) = 2× n(x). Donc d(x) est pair.
2 c n’est pas un cycle : on distinguera les extremites α et ωde c et les autres sommets. Pour les autres sommets onpeut raisonner comme dans le cas precedent. Pour α, lesaretes incidentes sont e0 et ei−1, ei pour xi = α, doncd(α) est impair. De meme pour ω.
![Page 86: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/86.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Preuve ⇒
Supposons que G a une chaıne eulerienne c . On noterac = α− e0 − x1 − e1 − . . . ek−1 − xk − ek − ω
Comme G est connexe, chaque sommet a au moins uneoccurrence dans c . On notera n(x) le nombre d’occurrencesd’un sommet x dans c .On considere deux cas pour c :
1 c est un cycle : chaque occurrence d’un sommet x dans cest entouree de deux aretes incidentes a x ; puisque toutesles aretes sont presentes une et une seule fois dans c , ledegre de est d(x) = 2× n(x). Donc d(x) est pair.
2 c n’est pas un cycle : on distinguera les extremites α et ωde c et les autres sommets. Pour les autres sommets onpeut raisonner comme dans le cas precedent. Pour α, lesaretes incidentes sont e0 et ei−1, ei pour xi = α, doncd(α) est impair. De meme pour ω.
![Page 87: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/87.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Preuve ⇒
Donc si G a un cycle eulerien, tous ses sommets sont de degrepair, sinon G aune chaıne eulerienne et il y a exactement 2sommets de degre impair.
![Page 88: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/88.jpg)
Theorie desgraphes
Definitions
Chaınes etchemins
Connexite(graphe nonoriente)
Forteconnexite
Representationdes graphes
Distance dansun graphe nonoriente
Les 7 ponts deKonigsberg
Preuve ⇐Supposons que tous les sommets de G sont pairs. Soit x0 unsommet de G . On considere une chaıne simple la plus longuepossible en partant de x0 : une telle chaıne est necessairementun cycle c0, sinon son extremite finale serait de degre impair.Si c0 ne contient pas toutes les aretes on considere le graphepartiel G − c0 puis son sous-graphe H obtenu en supprimant lessommets isoles de G − c0. Les sommets de H sont toujours dedegre pair car s’ils ont une occurrence dans c0, on leur a retireun nombre pair d’aretes incidentes ce qui laisse invariant laparite de leur degre.D’autre part il y a necessairement un sommet x1 de H quiappartient a c0 car G est connexe.On considere alors dans H une chaıne simple la plus longuepossible en partant de x1 : elle sera, elle aussi, un cycle c ′.On etablit un cycle c1 en raccrochant c ′ a c0 au sommet x1.Si c1 ne contient pas toutes les aretes on reitere le procedejusqu’a ce que le cycle trouve soit eulerien.
![Page 89: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/89.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Chapitre II – Coloration
Coloration des sommets
Coloration des aretes
Graphe planaire
![Page 90: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/90.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Chapitre II – Coloration
Coloration des sommets
Coloration des aretes
Graphe planaire
![Page 91: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/91.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Chapitre II – Coloration
Coloration des sommets
Coloration des aretes
Graphe planaire
![Page 92: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/92.jpg)
Theorie desgraphes
Coloration dessommets
definition
Graphe biparti
Coloration desaretes
Grapheplanaire
Coloration des sommets
Definition
Soit G un graphe non oriente sans boucle. Une coloration de G
est une application γ : X → C de l’ensemble des sommets deG dans un ensemble fini C de couleurs, telle que si x et y sontadjacents alors γ(x) 6= γ(y) (deux sommets adjacents n’ontpas la meme couleur)
Remarque
Une coloration immediate consiste en l’utilisation de n couleursdistinctes pour un graphe d’ordre n.
![Page 93: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/93.jpg)
Theorie desgraphes
Coloration dessommets
definition
Graphe biparti
Coloration desaretes
Grapheplanaire
nombre chromatiqueCe qui nous interesse est l’optimisation de nombre de couleursutilisees :
Definition
Le nombre chromatique de G est le nombre minimal decouleurs permettant de colorier G .
Remarque
Il est clair que le nombre chromatique de Kn est n.
b b
bb
K4
![Page 94: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/94.jpg)
Theorie desgraphes
Coloration dessommets
definition
Graphe biparti
Coloration desaretes
Grapheplanaire
On peut prouver :
Proprietes
le nombre chromatique d’un graphe d’ordre n est inferieurou egal a n,
le nombre chromatique du graphe complet Kn est n,
si un graphe d’ordre n a un sous-graphe complet d’ordre k
alors son nombre chromatique est compris entre k et n.
si ∆ est le degre maximal d’un graphe alors son nombrechromatique est inferieur ou egal a ∆ + 1
![Page 95: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/95.jpg)
Theorie desgraphes
Coloration dessommets
definition
Graphe biparti
Coloration desaretes
Grapheplanaire
Exemple
Cinq etudiants A, B, C, D, E doivent passer les examenssuivants :
A Micro Economie, Anglais, Theorie des jeuxB Probabilites, Analyse financiereC Macro, Theorie des jeuxD Anglais, Probabilites, MacroE Micro Economie, Analyse financiere
Sachant que chaque etudiant ne peut se presenter qu’a uneepreuve par jour, quel est le nombre minimal de joursnecessaire a l’organisation de toutes les epreuves ?
![Page 96: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/96.jpg)
Theorie desgraphes
Coloration dessommets
definition
Graphe biparti
Coloration desaretes
Grapheplanaire
Exemple
Pour resoudre ce probleme, on definit le graphe simple nonoriente des ”incompatibilites” ainsi : les sommets sont lesmatieres et deux sommets sont adjacents si un etudiant doitpasser ces deux matieres (i.e. elles sont incompatibles en cesens qu’elles ne peuvent pas se derouler la meme journee).Une fois ce graphe etabli, on le colorie et chaque couleurrepresente une journee necessaire ; deux epreuves ayant lameme couleur, donc ne concernant pas un meme etudiant,pourront se derouler la meme journee.
![Page 97: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/97.jpg)
Theorie desgraphes
Coloration dessommets
definition
Graphe biparti
Coloration desaretes
Grapheplanaire
Exemple
A Micro Economie, Anglais, Theorie des jeuxB Probabilites, Analyse financiereC Macro, Theorie des jeuxD Anglais, Probabilites, MacroE Micro Economie, Analyse financiere
T
A m
M P F
![Page 98: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/98.jpg)
Theorie desgraphes
Coloration dessommets
definition
Graphe biparti
Coloration desaretes
Grapheplanaire
Exemple
A Micro Economie, Anglais, Theorie des jeuxB Probabilites, Analyse financiereC Macro, Theorie des jeuxD Anglais, Probabilites, MacroE Micro Economie, Analyse financiere
T
A m
M P F
![Page 99: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/99.jpg)
Theorie desgraphes
Coloration dessommets
definition
Graphe biparti
Coloration desaretes
Grapheplanaire
Le cas particulier du nombre
chromatique 2
On s’interesse au cas des graphes non orientes dont le nombrechromatique est 2. Ils peuvent etre definis ainsi
Definition
Un graphe non oriente G est biparti s’il existe une partition del’ensemble de ses sommets en deux classes disjointes telle quetoute arete a une extremite dans chaque classe.
![Page 100: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/100.jpg)
Theorie desgraphes
Coloration dessommets
definition
Graphe biparti
Coloration desaretes
Grapheplanaire
Exemple
A B
a b
d c
D C
![Page 101: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/101.jpg)
Theorie desgraphes
Coloration dessommets
definition
Graphe biparti
Coloration desaretes
Grapheplanaire
Exemple
A B
a b
d c
D C
![Page 102: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/102.jpg)
Theorie desgraphes
Coloration dessommets
definition
Graphe biparti
Coloration desaretes
Grapheplanaire
Caracteristique
Propriete
un graphe est biparti si et seulement si il n’a pas de cycle impair
![Page 103: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/103.jpg)
Theorie desgraphes
Coloration dessommets
definition
Graphe biparti
Coloration desaretes
Grapheplanaire
Preuve
(⇒) Supposons que G soit biparti et ait un cycle impairx0e1x2e2x3 · · · x2ke2k+1x2k+1 avec x2k+1 = x0.Soit Y ∪ Z la bipartition des sommets de G .Si x0 ∈ Y alors x1 ∈ Z et donc x2 ∈ Y .On obtient x0, x2, · · · x2k ∈ Y et x1, · · · x2k+1 ∈ Z .Mais x2k+1 = x0 : contradiction
![Page 104: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/104.jpg)
Theorie desgraphes
Coloration dessommets
definition
Graphe biparti
Coloration desaretes
Grapheplanaire
Preuve
(⇐) soit G sans cycle impair. On supposera dans un premiertemps que G est connexe et on choisit un sommet x . Ondefinit alors les deux ensembles suivants :Xp = {y ∈ X | la longueur d’une plus courte chaıne elementairereliant x a y est paire}Xi = {y ∈ X | la longueur d’une plus courte chaıne elementairereliant x a y est impaire}.On a bien Xp ∪ Xi = X puisque G est connexe.
![Page 105: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/105.jpg)
Theorie desgraphes
Coloration dessommets
definition
Graphe biparti
Coloration desaretes
Grapheplanaire
Preuve
Montrons qu’il est impossible que deux sommets de Xp soientadjacents : supposons qu’il existe une arete e reliant deuxsommets y et z de Xp.On a alors une chaıne elementaire reliant x a y de longueurpaire et une chaıne elementaire reliant x a z de de longueurpaire.On a donc un cycle x · · · yez · · · x de longueur impaire (pair +pair + 1) : contradiction.On montre de meme qu’il n’existe pas d’arete reliant deuxsommets de Xi .Donc G est biparti.Dans le cas general ou le graphe G n’est pas connexe, onapplique le raisonnement precedent a ses composantesconnexes pour obtenir une bipartition des sommets de G .
![Page 106: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/106.jpg)
Theorie desgraphes
Coloration dessommets
definition
Graphe biparti
Coloration desaretes
Grapheplanaire
graphe biparti complet
Definition
un graphe G est biparti complet si G est biparti et si toutsommet d’une partie est adjacent a tout sommet de l’autrepartie. On note Kp,r le graphe biparti complet dont les deuxparties ont respectivement p et r sommets.
b
b
b
b
b
b
b
K4,3
![Page 107: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/107.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Coloration des aretes
On peut aussi colorier les aretes d’un graphe pour que deuxaretes incidentes a un meme sommet n’aient pas la memecouleur. Bien sur, cela necessite que le graphe non oriente n’aitaucune boucle. Plus formellement,
Definition
Soit G un graphe non oriente sans boucle. Une coloration desaretes de G est une application γ : E → C de l’ensemble desaretes de G dans un ensemble fini C de couleurs, telle que si unsommet x est une extremite des aretes e et e′ alors alorsγ(e) 6= γ(e′).
Definition
On appelle indice chromatique de G le nombre minimal decouleurs permettant de colorier les aretes de G .
![Page 108: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/108.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Le probleme de coloration des aretes peut se ramener a celuides sommets pour un graphe en definissant le graphe adjointG a ainsi : les sommets de G a sont les aretes de G et deuxsommets de G a sont adjacents si, dans G ces deux aretes ontune extremite communes.exemple : 5 amis font un tournoi d’echecs, dont les parties sederoulent en temps limite d’une heure, chacun devantrencontrer les quatre autres. Combien d’heures necessite cetournoi ?L’idee est le suivante : chaque partie est caracterisee par sesdeux joueurs ; donc on peut representer ce tournoi par ungraphe dans lequel les sommets seront les joueurs et les aretesseront les parties. Ici on obtient le graphe complet K5.En coloriant les aretes de ce graphe on determine par unecouleur une plage horaire durant laquelle les parties de cettecouleur pourront se derouler. L’indice chromatique de K5 nousdonne donc la reponse.
![Page 109: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/109.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Propriete
Propriete
si ∆ est le degre maximal d’un graphe alors son indicechromatique est inferieur ou egal a ∆ + 1.
Plus precisement :
Theoreme de Vizing
si ∆ est le degre maximal d’un graphe simple alors son indicechromatique est egal a ∆ ou ∆ + 1.
Pour l’instant, il n’existe pas d’algorithme en temps polynomialqui permet de decider entre ∆ et ∆ + 1 l’indice chromatiqued’un graphe simple.
![Page 110: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/110.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Propriete des graphes bipartis
Le resultat precedent devient plus precis pour les graphesbipartis
Theoreme de Konig
si ∆ est le degre maximal d’un graphe biparti alors son indicechromatique est egal a ∆.
![Page 111: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/111.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Preuve
Soit un graphe biparti.Si ∆ = 1 alors une seule couleur est clairement suffisante dansun graphe biparti.Si ∆ > 1 alors on definit un ensemble de ∆ couleurs que l’onrepresentera par les entiers 1, 2, . . . ,∆. on affecte a chaquearete une couleur sans chercher a ≪ colorier ≫ les aretes : sicette affectation est une coloration alors c’est termine.
![Page 112: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/112.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
PreuveSinon on va ameliorer cette affectation : il existe un sommet xqui est l’extremite de deux aretes e, e′ de meme couleur i .Comme x a au plus ∆ aretes incidentes, alors il existenecessairement une couleur j qui ne colore aucune areteincidente a x .Changeons alors la couleur de e = {x , y} en couleur j .Il se peut que ce changement fasse que y a maintenant deuxaretes incidentes e, e′′ de couleur j : dans ce cas on change lacouleur j de e′′ en couleur i . Puis on s’interesse a l’autreextremite de e′′ pour lui appliquer le meme traitement qu’a y .On obtient ainsi une chaıne issue de x de couleurs alternees :x − j − y − i − . . . .Si cette chaıne se refermait en cycle sur x avec une arete decouleur i alors G aurait un cycle de longueur impaire ce qui estimpossible dans un graphe biparti : on a donc resolu unprobleme pour x .On poursuit ainsi de suite.
![Page 113: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/113.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exemple
b
b
b
b
b
b
b
K4,3
![Page 114: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/114.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exemple
b
b
b
b
b
b
b
K4,3
![Page 115: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/115.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exemple
b
b
b
b
b
b
b
K4,3
![Page 116: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/116.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exemple
b
b
b
b
b
b
b
K4,3
![Page 117: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/117.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exemple
b
b
b
b
b
b
b
K4,3
![Page 118: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/118.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exemple
b
b
b
b
b
b
b
K4,3
![Page 119: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/119.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exemple
b
b
b
b
b
b
b
K4,3
![Page 120: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/120.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exemple
b
b
b
b
b
b
b
K4,3
![Page 121: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/121.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exemple
b
b
b
b
b
b
b
K4,3
![Page 122: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/122.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exemple
b
b
b
b
b
b
b
K4,3
![Page 123: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/123.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exemple
b
b
b
b
b
b
b
K4,3
![Page 124: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/124.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exemple
b
b
b
b
b
b
b
K4,3
![Page 125: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/125.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exemple
b
b
b
b
b
b
b
K4,3
![Page 126: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/126.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exemple
b
b
b
b
b
b
b
K4,3
![Page 127: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/127.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exemple
b
b
b
b
b
b
b
K4,3
![Page 128: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/128.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exemple
b
b
b
b
b
b
b
K4,3
![Page 129: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/129.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Notion de couplageEn regroupant les aretes de meme couleur nous obtenons unepartition de l’ensemble des aretes ; l’ensemble des aretes ayantla meme couleur forme un couplage
Plus formellement :
Definition
Dans un graphe non oriente, un couplage est un ensembled’aretes n’ayant aucune extremite commune deux a deux.
Definition
Pour un graphe donne, un couplage est
maximum s’il contient le plus grand nombre d’aretespossible
maximal si toute arete du graphe est incident a au moinsune arete du couplage
parfait si tout sommet est incident a une arete du couplage
![Page 130: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/130.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exemple
b
b
b
b
b
b
![Page 131: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/131.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exempleun couplage maximum et parfait :
b
b
b
b
b
b
![Page 132: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/132.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Exempleun couplage maximal et non maximum :
b
b
b
b
b
b
![Page 133: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/133.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Remarques
Un couplage parfait est maximum
Un couplage maximum est maximal
les deux reciproques sont fausses
![Page 134: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/134.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
RemarquesVoici un couplage maximum et non parfait :
b
b
b
b
b
b
b
![Page 135: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/135.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Probleme de l’emploi du temps
un ensemble de classes doit recevoir une serie de cours d’uneheure realises par un ensemble de professeurs. Bien sur, chaqueclasse recoit un cours unique par heure et chaque professeurdonne un cours unique par heure. Le probleme est de minimiserle nombre d’heures totales permettant la realisation de tous lescours.
c1 c2 c3 c4 c5
p1 1 1 1 0 0
p2 2 0 0 1 0
p3 0 1 1 1 1
p4 0 0 0 1 2
![Page 136: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/136.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Probleme de l’emploi du tempsOn modelise le probleme par un graphe non oriente biparti dontles sommets sont les professeurs d’une part et les classesd’autre part, et les aretes sont les cours.
![Page 137: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/137.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Probleme de l’emploi du tempsLa coloration des aretes donnent le nombre de heuresminimales : ici 4 couleurs, correspondant au degre maximalselon le theoreme de Konig.
![Page 138: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/138.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Probleme de l’emploi du temps
On rajoute maintenant une contrainte supplementaire ; lenombre de salles est limite par un entier σ.Donc par tranche horaire il ne peut pas y avoir plus de σ cours.Donc, si le nombre total de cours est m (nombre totald’aretes), il faut au moins m
σheures pour realiser tous les cours.
Le resultat optimal est la coloration des aretes avec un nombrede couleurs egal a max{∆, ⌈m
σ⌉}.
Prenons σ = 3. Puisque ∆ = 4 et m = 13 le nombre optimalde couleurs est ⌈m
σ⌉ = 5.
![Page 139: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/139.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Probleme de l’emploi du temps
Pour l’instant, avec 4 couleurs, on a les couplages suivantsCr = {(p1, c1), (p3, c5), (p4, c4)},Cb = {(p1, c2), (p2, c4), (p3, c3)},Cv = {(p1, c3), (p2, c1), (p3, c2), (p4, c5)},Co = {(p2, c1), (p3, c4), (p4, c5)}.Mais on voit bien que Cv (couplage maximum non parfait)necessite 4 salles.
![Page 140: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/140.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Probleme de l’emploi du tempsOn va donc rajouter un couplage vide pour une couleursuppementaire Cj = ∅ puis on va reequilibrer Cv et Cj . Onaffecte (p1, c3) a Cj .
![Page 141: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/141.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Probleme de l’emploi du tempsOn peut continuer a reequilibrer en dimunuant par exemple Cr
par l’affectation de (p3, c5) a Cj .
![Page 142: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/142.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Graphe planaire
Definition
Un graphe est planaire s’il peut etre dessine dans le plan sansqu’aucune paire d’aretes ou d’arcs ne s’intersecte.
![Page 143: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/143.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Graphe planaire
Definition
Un graphe est planaire s’il peut etre dessine dans le plan sansqu’aucune paire d’aretes ou d’arcs ne s’intersecte.
exemple :
![Page 144: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/144.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Graphe planaire
Definition
Un graphe est planaire s’il peut etre dessine dans le plan sansqu’aucune paire d’aretes ou d’arcs ne s’intersecte.
exemple :
![Page 145: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/145.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Graphe planaire
Propriete
K5, K3,3 ne sont pas planaires.
b
b
b b
b
b
K3,3
![Page 146: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/146.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Graphe planaireOn peut se poser le probleme de la planarite lors de laconstruction d’un reseau de voies ferrees afin de minimiser lenombre d’aiguillages.Cette notion de graphe planaire a un lien celebre avec leprobleme des 4 couleurs.L’assertion est la suivante : toute carte geographique peut etrecoloriee avec 4 couleurs seulement de telle sorte que deux paysfrontaliers n’aient pas la meme couleur.Cette assertion n’a ete prouvee que recemment (a l’aide denombreuses heures de calcul sur ordinateur).Une carte geographique peut etre modelisee par un grapheplanaire (les sommets sont les pays et les aretes represententune frontiere commune).
Theoreme
Le nombre chromatique d’un graphe planaire est inferieur ouegal a 4.
![Page 147: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/147.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Formule d’Euler
On doit a L. Euler le resultat suivant sur les graphes planaires :leur representation dans le plan delimite un certain nombre deregions.
Theoreme
Soit G un graphe plan connexe d’ordre n a m aretes delimitantr regions.On a alors la formule d’Euler : n −m + r = 2.
![Page 148: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/148.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Formule d’EulerPour le graphe ci-dessous, n = 7,m = 8, r = 3
b
b
b
b
b
b
b
![Page 149: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/149.jpg)
Theorie desgraphes
Coloration dessommets
Coloration desaretes
Grapheplanaire
Remarque sur r=1
Les graphes connexes planaires ne delimitant qu’une regionsont en quelque sorte ≪ ouverts ≫.Par la formule d’Euler de tels graphes non orientes connexesont n − 1 aretes : ce sont des arbres.
![Page 150: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/150.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Chapitre III – Arbres
Definitions des arbres
Caracterisations des arbres
Arbre couvrant
Probleme de l’arbre couvrant minimal
Algorithme de Kruskal
Algorithme de Prim
Algorithme de Prim
![Page 151: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/151.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Chapitre III – Arbres
Definitions des arbres
Caracterisations des arbres
Arbre couvrant
Probleme de l’arbre couvrant minimal
Algorithme de Kruskal
Algorithme de Prim
Algorithme de Prim
![Page 152: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/152.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Chapitre III – Arbres
Definitions des arbres
Caracterisations des arbres
Arbre couvrant
Probleme de l’arbre couvrant minimal
Algorithme de Kruskal
Algorithme de Prim
Algorithme de Prim
![Page 153: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/153.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Chapitre III – Arbres
Definitions des arbres
Caracterisations des arbres
Arbre couvrant
Probleme de l’arbre couvrant minimal
Algorithme de Kruskal
Algorithme de Prim
Algorithme de Prim
![Page 154: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/154.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Chapitre III – Arbres
Definitions des arbres
Caracterisations des arbres
Arbre couvrant
Probleme de l’arbre couvrant minimal
Algorithme de Kruskal
Algorithme de Prim
Algorithme de Prim
![Page 155: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/155.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Chapitre III – Arbres
Definitions des arbres
Caracterisations des arbres
Arbre couvrant
Probleme de l’arbre couvrant minimal
Algorithme de Kruskal
Algorithme de Prim
Algorithme de Prim
![Page 156: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/156.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Chapitre III – Arbres
Definitions des arbres
Caracterisations des arbres
Arbre couvrant
Probleme de l’arbre couvrant minimal
Algorithme de Kruskal
Algorithme de Prim
Algorithme de Prim
![Page 157: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/157.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Arbres
Definition
Un arbre est un graphe non oriente connexe et sans cycle.
![Page 158: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/158.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Arbres
Definition
Un arbre est un graphe non oriente connexe et sans cycle.
b
b
b
b
b
b
b
![Page 159: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/159.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Exercice
Trouver les 6 arbres d’ordre 6 (non isomorphes)
![Page 160: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/160.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
ArborescenceEn ce qui concerne les graphes orientes, on parled’arborescence :
Definition
Une arborescence est un graphe oriente possedant un sommetpriviligie, la racine, telle qu’il existe un et un seul chemin depuisla racine vers tout autre sommet du graphe.
![Page 161: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/161.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
ArborescenceEn ce qui concerne les graphes orientes, on parled’arborescence :
Definition
Une arborescence est un graphe oriente possedant un sommetpriviligie, la racine, telle qu’il existe un et un seul chemin depuisla racine vers tout autre sommet du graphe.
b
![Page 162: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/162.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Propriete
On peut orienter les aretes d’un arbre a partir de n’importe quelsommet de facon a obtenir une arborescence.
![Page 163: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/163.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Propriete
On peut orienter les aretes d’un arbre a partir de n’importe quelsommet de facon a obtenir une arborescence.
b
![Page 164: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/164.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Propriete
On peut orienter les aretes d’un arbre a partir de n’importe quelsommet de facon a obtenir une arborescence.
![Page 165: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/165.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Propriete
On peut orienter les aretes d’un arbre a partir de n’importe quelsommet de facon a obtenir une arborescence.
b
![Page 166: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/166.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Caracterisations des arbres
Propriete
Soit G un graphe non oriente d’ordre n. Les propositionssuivantes sont equivalentes :
1 G est un arbre
2 G est connexe et a n − 1 aretes
3 G est sans cycle et a n − 1 aretes
4 G est sans boucle et pour tous sommets x , y , x 6= y , ilexiste une unique chaıne reliant x a y
![Page 167: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/167.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Caracterisations des arbres
Propriete
Soit G un graphe non oriente d’ordre n. Les propositionssuivantes sont equivalentes :
1 G est un arbre
2 G est connexe et a n − 1 aretes
3 G est sans cycle et a n − 1 aretes
4 G est sans boucle et pour tous sommets x , y , x 6= y , ilexiste une unique chaıne reliant x a y
![Page 168: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/168.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Caracterisations des arbres
Propriete
Soit G un graphe non oriente d’ordre n. Les propositionssuivantes sont equivalentes :
1 G est un arbre
2 G est connexe et a n − 1 aretes
3 G est sans cycle et a n − 1 aretes
4 G est sans boucle et pour tous sommets x , y , x 6= y , ilexiste une unique chaıne reliant x a y
![Page 169: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/169.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Caracterisations des arbres
Propriete
Soit G un graphe non oriente d’ordre n. Les propositionssuivantes sont equivalentes :
1 G est un arbre
2 G est connexe et a n − 1 aretes
3 G est sans cycle et a n − 1 aretes
4 G est sans boucle et pour tous sommets x , y , x 6= y , ilexiste une unique chaıne reliant x a y
![Page 170: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/170.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Preuve
La preuve de ce theoreme repose en partie sur les deux lemmessuivants :
Lemme 1
un graphe non oriente connexe d’ordre n a au moins n-1 aretes.
Lemme 2
un graphe non oriente d’ordre n qui a au moins n aretespossede un cycle.
Le premier lemme a ete prouve dans le paragraphe connexite.Il reste le lemme 2 a prouver.⊲ Attention, les reciproques des lemmes 1 et 2 ne sont pasvraies.
![Page 171: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/171.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Preuve de lemme 2
Soit G un graphe non oriente d’ordre n ayant au moins naretes. Montrons par recurrence sur n que G possede un cycle.
![Page 172: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/172.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Preuve de lemme 2
Pour n = 1, c’est clair (c’est une boucle).
![Page 173: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/173.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Preuve de lemme 2
Soit n ≥ 1. On suppose la propriete vraie pour tout graphe nonoriente d’ordre n.Soit G graphe non oriente d’ordre n + 1 ayant au moins n+ 1aretes.Alors G a au moins une composante connexe Cj d’ordre njayant au moins nj aretes.En effet, si toutes les composantes connexes Ci de G d’ordre niont mi aretes avec mi < ni alors,
puisque
i=p∑
i=1
ni = n + 1,
G aurait m =
i=p∑
i=1
mi <
i=p∑
i=1
ni aretes d’ou m < n+ 1 :
contradiction avec l’hypothese sur le nombre d’aretes de G .Dans la composante connexe Cj d’ordre nj ≤ n, par hypothesede recurrence, il y a un cycle.
![Page 174: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/174.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Remarques
⊲ Attention, les reciproques des lemmes 1 et 2 ne sont pasvraies.
![Page 175: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/175.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Autre caracterisation
Propriete
Soit G un graphe non oriente d’ordre n. Les propositionssuivantes sont equivalentes :
1 G est un arbre
2 G est connexe et si on lui retire une arete il n’est plusconnexe
3 G est sans cycle et si on lui rajoute une arete on forme uncycle.
![Page 176: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/176.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Autre caracterisation
Propriete
Soit G un graphe non oriente d’ordre n. Les propositionssuivantes sont equivalentes :
1 G est un arbre
2 G est connexe et si on lui retire une arete il n’est plusconnexe
3 G est sans cycle et si on lui rajoute une arete on forme uncycle.
![Page 177: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/177.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Autre caracterisation
Propriete
Soit G un graphe non oriente d’ordre n. Les propositionssuivantes sont equivalentes :
1 G est un arbre
2 G est connexe et si on lui retire une arete il n’est plusconnexe
3 G est sans cycle et si on lui rajoute une arete on forme uncycle.
![Page 178: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/178.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Isthme
Definition
On appelle isthme une arete e telle que le nombre decomposantes connexes de G − e est strictement superieur aunombre de composantes connexes de G .
Toute arete d’un arbre est un isthme et sa suppressionengendre exactement deux composantes connexes.
![Page 179: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/179.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Arbre couvrant
Definition
Soit G un graphe non oriente. Un arbre couvrant de G est ungraphe partiel de G qui est un arbre.
remarque : l’existence d’un arbre couvrant de G implique queG est connexe.Pour un graphe non connexe, on parle de foret comme unensemble d’arbres couvrants de ses composantes connexes.
![Page 180: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/180.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Arbre couvrant
Definition
Soit G un graphe non oriente. Un arbre couvrant de G est ungraphe partiel de G qui est un arbre.
remarque : l’existence d’un arbre couvrant de G implique queG est connexe.Pour un graphe non connexe, on parle de foret comme unensemble d’arbres couvrants de ses composantes connexes.
![Page 181: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/181.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Arbre couvrant
Definition
Soit G un graphe non oriente. Un arbre couvrant de G est ungraphe partiel de G qui est un arbre.
remarque : l’existence d’un arbre couvrant de G implique queG est connexe.Pour un graphe non connexe, on parle de foret comme unensemble d’arbres couvrants de ses composantes connexes.
![Page 182: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/182.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Propriete
Propriete
tout graphe connexe a un arbre couvrant.
remarque : pour un graphe connexe, il peut y avoir plusieursarbres couvrants non isomorphes.
![Page 183: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/183.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
![Page 184: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/184.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
![Page 185: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/185.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
![Page 186: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/186.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Caracterisations
Propriete
Un graphe partiel d’un graphe connexe G est un arbre couvrantde G si et seulement si il est connexe et minimal avec cettepropriete relativement a la suppression d’arete - i.e. s’il perdune arete il n’est plus connexe.
Propriete
Un graphe partiel d’un graphe connexe G est un arbre couvrantde G si et seulement si il est acyclique et maximal avec cettepropriete relativement a l’ajout d’arete - i.e. si on lui ajoute unearete on forme un cycle
![Page 187: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/187.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Consequences
Les deux proprietes suivantes permettent de preciser laconsequence d’un ajout d’aretes a un arbre couvrant.
Propriete
Soit T un arbre couvrant de G et e une arete de G
n’appartenant pas a T . Le graphe partiel T + e contient ununique cycle elementaire.
Propriete
Soit T un arbre couvrant de Get e une arete de G
n’appartenant pas a T . Soit e′ une arete du cycle de T + e.Alors T + e − e′ est un arbre couvrant de G nonnecessairement isomorphe a T .
![Page 188: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/188.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
![Page 189: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/189.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
![Page 190: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/190.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
![Page 191: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/191.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Probleme de l’arbre couvrant
minimal
Le probleme aborde ici correspond a la minimisation du cout deconstruction d’un reseau de communications connaissant lecout de chaque liaison possible entre les noeuds du reseau aconstruire. Puisqu’on souhaite un reseau a cout minimal,
on choisira le nombre juste suffisant d’aretes pour assurerla connexite
on choisira, dans cette optique, un arbre couvrant ayantun cout total minimal
C’est le probleme de l’arbre couvrant minimal
![Page 192: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/192.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Probleme de l’arbre couvrant
minimal
Le probleme aborde ici correspond a la minimisation du cout deconstruction d’un reseau de communications connaissant lecout de chaque liaison possible entre les noeuds du reseau aconstruire. Puisqu’on souhaite un reseau a cout minimal,
on choisira le nombre juste suffisant d’aretes pour assurerla connexite
on choisira, dans cette optique, un arbre couvrant ayantun cout total minimal
C’est le probleme de l’arbre couvrant minimal
![Page 193: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/193.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Probleme de l’arbre couvrant
minimal
Le probleme aborde ici correspond a la minimisation du cout deconstruction d’un reseau de communications connaissant lecout de chaque liaison possible entre les noeuds du reseau aconstruire. Puisqu’on souhaite un reseau a cout minimal,
on choisira le nombre juste suffisant d’aretes pour assurerla connexite
on choisira, dans cette optique, un arbre couvrant ayantun cout total minimal
C’est le probleme de l’arbre couvrant minimal
![Page 194: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/194.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Probleme de l’arbre couvrant
minimal
Le probleme aborde ici correspond a la minimisation du cout deconstruction d’un reseau de communications connaissant lecout de chaque liaison possible entre les noeuds du reseau aconstruire. Puisqu’on souhaite un reseau a cout minimal,
on choisira le nombre juste suffisant d’aretes pour assurerla connexite
on choisira, dans cette optique, un arbre couvrant ayantun cout total minimal
C’est le probleme de l’arbre couvrant minimal
![Page 195: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/195.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 196: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/196.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Une solution naıve
Une solution serait de
de calculer tous les arbres couvrants du graphe
de garder le moins couteux
Mais, sachant que le graphe Kn a nn−2 arbres couvrants, cettemethode prendrait trop de temps.Par exemple, pour 20 sommets, si on compte 1µs pour calculer1000 arbres couvrants et leur cout, il faudrait 2018ns soit plusde 20 000 siecles.
![Page 197: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/197.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Algorithme de Kruskal
L’algorithme de Kruskal est un algorithme glouton qui reposesur le fait qu’un arbre couvrant d’un graphe d’ordre n a n − 1aretes et est acyclique.Le choix des aretes se fera donc sur deux criteres : laconservation de l’acyclicite et un cout minimal et s’arreteralorsque le bon nombre aura ete choisi.
![Page 198: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/198.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Algorithme de Kruskal
Soit E l’ensemble des sommets de G . On utilisera un ensembled’aretes T qui sera en sortie l’arbre couvrant minimal et unensemble d’aretes F qui representera les aretes qui peuvent etrechoisies.Pour simplifier, on supposera que l’ensemble F est trie parordre de cout croissant.algorithme de Kruskal( G : graphe).
T ← ∅F ← E
tant que Card(T ) < n − 1 faire
soit e ∈ F la premiere aretede F
F ← F − e
si T + e est sans cycle alors T ← T ∪ e finsi
fintant que
fin
![Page 199: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/199.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 200: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/200.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 201: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/201.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 202: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/202.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 203: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/203.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 204: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/204.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 205: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/205.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 206: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/206.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 207: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/207.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 208: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/208.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 209: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/209.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 210: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/210.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 211: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/211.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 212: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/212.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
Cout total = 61
![Page 213: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/213.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Complexite
La repetition tant que se fait au plus m fois et chaque fois letest ≪ sans cycle ≫ peut se faire grace a un marquage d’aretesen m instructions ; donc on dit que la complexite del’algorithme est au maximum de l’odre de m2.
![Page 214: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/214.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Preuve
Soit n est l’ordre de G .L’algorithme produit bien un arbre couvrant de G puisqu’iltermine lorsque n − 1 aretes sont choisies et T est acyclique.Supposons que T ne soit pas minimal.
![Page 215: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/215.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Preuve
Si e1, · · · , en−1 sont les aretes de T dans l’ordre de choix del’algorithme, alors p(e1) ≤ · · · ≤ p(en−1) par construction.
Soit alors A un arbre couvrant minimal tel que l’indice de lapremiere arete de T qui ne soit pas une arete de A soitmaximum.Soit k cet indice, on a alors e1 · · · ek ∈ T , e1 · · · ek−1 ∈ A etek 6∈ A.Alors A+ ek contient un unique cycle C . C ne peut pas etreconstitue uniquement d’arete de T (hormis ek) car sinon T
contiendrait un cycle.
![Page 216: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/216.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme
Complexite
Preuve
Algorithme dePrim
Algorithme dePrim
Preuve
Soit alors e′ une arete de C qui appartient a A mais quin’appartient pas a T .A+ ek − e′ est donc un arbre couvrant de G etp(A+ ek − e′) = p(A) + p(ek)− p(e′).Dans l’execution de l’algorihtme de Kruskal, ek a ete choisie depoids minimal tel que G [e1 · · · ek ] soit acyclique.Mais G [e1 · · · ek−1, e
′] est aussi acyclique puisque sous-graphede A.Donc p(e′) ≥ p(ek) et p(A+ ek − e′) ≤ p(A). On en deduitque A+ ek − e′ est optimal et differe de T par un areted’indice strictement superieur a k : contradiction.
![Page 217: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/217.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Algorithme de Prim
L’algorithme de Kruskal veille a maintenir la proprieted’acyclicite d’un arbre alors que l’algorithme de Prim se basesur la connexite d’un arbre.L’algorithme de Prim fait pousser un arbre couvrant minimal enajoutant au sous-arbre T deja construit une nouvelle brancheparmi les aretes de poids minimal joignant un sommet de T aun sommet n’appartenant pas a T . L’algorithme s’arretelorsque tous les sommets du graphe appartiennent a T .
![Page 218: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/218.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Algorithme
Complexite
Algorithme de Prim
Soit X l’ensemble des sommets de G . On utilisera un ensembled’aretes T qui sera en sortie l’arbre couvrant minimal et unensemble de sommets S qui contiendra les sommets de T .lgaorithme de Prim ( G : graphe)
choisir un sommet x de G .S ← S ∪ x
T ← ∅tant que S 6= X faire
trouver une arete {ys} de poids minimal telle quey ∈ X − S et s ∈ S
T ← T ∪ {ys}S ← S ∪ y
fintant que
fin
![Page 219: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/219.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Algorithme
Complexite
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 220: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/220.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Algorithme
Complexite
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 221: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/221.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Algorithme
Complexite
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 222: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/222.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Algorithme
Complexite
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 223: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/223.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Algorithme
Complexite
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 224: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/224.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Algorithme
Complexite
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 225: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/225.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Algorithme
Complexite
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 226: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/226.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Algorithme
Complexite
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 227: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/227.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Algorithme
Complexite
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 228: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/228.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Algorithme
Complexite
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 229: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/229.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Algorithme
Complexite
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
![Page 230: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/230.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Algorithme
Complexite
Exemple
D C B A
J I K H
E F G
6 7
4 8 7 4
8
9 8 9
12
7
7
9 8 8 9 6
4 8
Cout total = 61
![Page 231: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/231.jpg)
Theorie desgraphes
Definitions desarbres
Caracterisationsdes arbres
Arbrecouvrant
Probleme del’arbrecouvrantminimal
Algorithme deKruskal
Algorithme dePrim
Algorithme dePrim
Algorithme
Complexite
Complexite
Soit n l’ordre de G .Si S a k sommets, pour choisir une arete de poids minimalrelient un sommet de S a un sommet de X − S , on doit trouverle poids minimum parmi au plus k(n− k) aretes puisque chaquesommet de S est adjacent a au plus (n− k) sommets de X − S .Or k varie de 1 a n, donc k(n − k) < (n − 1)2.Ce choix est effectue n fois dans la boucle tant que.Donc la complexite est de l’ordre O(n3).
![Page 232: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/232.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme deBellman
Chapitre IV – Probleme du
plus court chemin
Algorithme de Dijkstra
Algorithme de Floyd
Algorithme de Bellman
![Page 233: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/233.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme deBellman
Chapitre IV – Probleme du
plus court chemin
Algorithme de Dijkstra
Algorithme de Floyd
Algorithme de Bellman
![Page 234: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/234.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme deBellman
Chapitre IV – Probleme du
plus court chemin
Algorithme de Dijkstra
Algorithme de Floyd
Algorithme de Bellman
![Page 235: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/235.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme deBellman
Probleme
Le probleme pose dans ce chapitre est de determiner dans ungraphe value (oriente ou non oriente) le plus court cheminentre deux sommets.Les aretes (arcs) du graphe seront donc affectees d’une valeurpar une fonction v a valeurs dans R et on calculera la longueurd’un chemin (chaıne) par la somme des valeurs de ses aretes(arcs).
![Page 236: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/236.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme deBellman
Probleme
Selon la fonction v , on peut etre amene a des solutionsdifferentes. Plus precisement, il est aise de remarquer qu’il n’y apas de solution lorsque le graphe contient un circuit (ou uncycle) absorbant i.e. un circuit pour lequel la somme desvaleurs de ses arcs est negative.
D C B A
E F G
6 -7
4 8 7 4
5
-3 3
-12 2
![Page 237: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/237.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme deBellman
Probleme
Selon la fonction v , on peut etre amene a des solutionsdifferentes. Plus precisement, il est aise de remarquer qu’il n’y apas de solution lorsque le graphe contient un circuit (ou uncycle) absorbant i.e. un circuit pour lequel la somme desvaleurs de ses arcs est negative.
D C B A
E F G
6 -7
4 8 7 4
5
-3 3
-12 2
![Page 238: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/238.jpg)
Theorie desgraphes
Algorithme deDijkstra
Complexite
Preuve
Algorithme deFloyd
Algorithme deBellman
Algorithme de Dijkstra
Cet algorithme est concu pour des valuations positives.Un sommet de depart x est fixe.C’est un algorithme glouton qui construit progressivement unensemble de sommets pour lesquels on connaıt un plus courtchemin depuis x .A chaque etape on choisit un sommet dont la distance a x estminimale parmi ceux qui n’ont pas encore ete choisis.
![Page 239: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/239.jpg)
Theorie desgraphes
Algorithme deDijkstra
Complexite
Preuve
Algorithme deFloyd
Algorithme deBellman
Algorithme de Dijkstra
procedure Dijkstra( G : graphe, x : sommet)C ← {x} ; D[x ]← 0pour tout sommet s 6= x faire
D[s]← v(x , s) ou +∞ si s n’est pas adjacent a x
P [s]← x
finpour
tant que |C | < n faire
choisir y tel que D[y ] = min{D[z ]; z 6∈ C}si D[y ] = +∞ alors exit finsi
C ← C ∪ {y}pour chaque sommet z 6∈ C faire
si D[z ] > D[y ] + v(yz) alors D[z ]← D[y ] + v(yz) ;P [z ]← y finsi
finpour
fintant que
finprocedure
![Page 240: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/240.jpg)
Theorie desgraphes
Algorithme deDijkstra
Complexite
Preuve
Algorithme deFloyd
Algorithme deBellman
Exemple
D C B A
E F G
6 7
4 8 7 4
5
13 3
12 2
![Page 241: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/241.jpg)
Theorie desgraphes
Algorithme deDijkstra
Complexite
Preuve
Algorithme deFloyd
Algorithme deBellman
Exemple
D C B A
E F G
6 7
4 8 7 4
5
13 3
12 2
A B C D E F G C0 5(A) ∞ ∞ ∞ ∞ ∞ A
− 5(A) 12(B) − − − 18(B) + B
− − 12(B) − 20(C) 19(C) 16(C) + C
− − − − − − 16(C) + G
− − − − − 19(C) − + F
− − − − 20(C) − − + E
− − − ∞ − − − + D
![Page 242: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/242.jpg)
Theorie desgraphes
Algorithme deDijkstra
Complexite
Preuve
Algorithme deFloyd
Algorithme deBellman
ComplexiteDans l’algorithme on utilise implicitement l’ensemble X − C
que l’on notera CC . C’est l’ensemble des sommets parmilesquels on choisira le prochain y .La boucle tant que a au plus (n − 1) iterations car on choisitun sommet a chaque iteration.Le choix du sommet y se fera en temps Θ(|CC |) et puisque|CC | diminue d’une unite a chaque iteration, on aura alorsi=n∑
i=1
(i − 1) comparaisons au total soit Θ(n2).
Supprimer y de CC prend un temps au maximum Θ(n)operations.La boucle pour chaque sommet z de CC faire lacomparaison D[z ] > D[y ] + v(yz) se fera au plus d(y) foisdonc au plus Θ(m) fois au total.On peut ameliorer le choix et la suppression du sommet y enrepresentant CC par un tas ordonne selon les valeurs en coursdu tableau D.
![Page 243: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/243.jpg)
Theorie desgraphes
Algorithme deDijkstra
Complexite
Preuve
Algorithme deFloyd
Algorithme deBellman
Preuve
L’algorithme termine puisqu’on augmente le nombre desommets choisis a chaque iteration.Avant la boucle tant que, C ne contient que x et D[x ] = 0est la longueur d’un plus court chemin depuis x .
![Page 244: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/244.jpg)
Theorie desgraphes
Algorithme deDijkstra
Complexite
Preuve
Algorithme deFloyd
Algorithme deBellman
Preuve
Au bout de k iterations, supposons que pour chaque sommet zde C , D[z ] est la longueur d’un plus court chemin depuis x .Soit y le sommet choisi dans X − C a la k + 1 iteration. Soitx = x0, x1, x2, · · · , xl−1, xl = y un chemin σ quelconque de x ay s’il existe. Soit i le plus grand entier tel que x , x1, x2, · · · , xisoient des sommets de C . En particulier xi+1 6∈ C .Par hypothese de recurrence, D[xi ] ≤
∑j=i−1j=0 v(xj , xj+1).
Donc, puisque la fonction p est a valeurs positives, la longueurl(σ) du chemin σ est superieure a D[xi ] +
∑j=l−1j=i+1 v(xj , xj+1).
Le sommet xi a ete choisi au cours des k iterations precedentesdonc on a necessairement D[xi ] + v(xi , xi+1) ≥ D[xi+1].Mais par choix de y , D[y ] ≤ D[xi+1], puisque xi+1 n’a pas etechoisi.Il reste donc D[y ] ≤ D[xi ] + v(xi , xi+1) ≤ l(σ) i.e. D[y ] estinferieur a la longueur d’un chemin quelconque depuis x .
![Page 245: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/245.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme
Complexite
Preuve
Algorithme deBellman
Algorithme de Floyd
Cet algorithme utilise la matrice d’adjacence adaptee pourcontenir les valeurs associees a chaque arete (arc).
![Page 246: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/246.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme
Complexite
Preuve
Algorithme deBellman
Algorithme
On utilise
une matrice carree M d’ordre n initialisee par les valeursv(i , j)
une matrice carree P d’ordre n dans laquelle Pi ,j sera lepere de j dans un plus court chemin depuis i .
procedure Floyd(M,P : matrice)pour i de 1 a n faire
pour j de 1 a n faire Mi ,j ← v(i , j) ; Pi ,j ← i
finpour finpour
pour k de 1 a n faire
pour i de 1 a n faire
pour j de 1 a n faire
si Mi ,k +Mk,j < Mi ,j
alors Mi ,j ← Mi ,k +Mk,j ;Pi ,j ← Pk,j finsi
finpour finpour finpour
finprocedure
![Page 247: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/247.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme
Complexite
Preuve
Algorithme deBellman
Exemple
a b
c d
2
6
-2
5
5
-4
-5
![Page 248: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/248.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme
Complexite
Preuve
Algorithme deBellman
Exemple
M =
0 2 +∞ 6+∞ 0 −2 +∞+∞ 5 0 5−4 −1 +∞ 0
et P =
1 1 1 12 2 2 23 3 3 34 4 4 4
![Page 249: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/249.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme
Complexite
Preuve
Algorithme deBellman
Exemple
pour k = 1
M =
0 2 +∞ 6+∞ 0 −2 +∞+∞ 5 0 5−4 −2 +∞ 0
et P =
1 1 1 12 2 2 23 3 3 34 1 4 4
![Page 250: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/250.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme
Complexite
Preuve
Algorithme deBellman
Exemple
pour k = 2
M =
0 2 0 6+∞ 0 −2 +∞+∞ 5 0 5−4 −2 −4 0
et P =
1 1 2 12 2 2 23 3 3 34 1 2 4
![Page 251: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/251.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme
Complexite
Preuve
Algorithme deBellman
Exemple
pour k = 3
M =
0 2 0 5+∞ 0 −2 3+∞ 5 0 5−4 −2 −4 0
et P =
1 1 2 32 2 2 33 3 3 34 1 2 4
![Page 252: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/252.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme
Complexite
Preuve
Algorithme deBellman
Exemple
pour k = 4
M =
0 2 0 5−1 0 −2 31 3 0 5−4 −2 −4 0
et P =
1 1 2 34 2 2 34 1 3 34 1 2 4
![Page 253: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/253.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme
Complexite
Preuve
Algorithme deBellman
Amelioration
On peut modifier l’algorithme de Floyd afin qu’il detecte lapresence d’un circuit de longueur negative de la facon suivante :procedure Floyd 2 (M,P : matrice)
pour i de 1 a n faire
pour j de 1 a n faire Mi ,j ← v(i , j) ; Pi ,j ← i finpour
finpour
pour k de 1 a n faire
pour i de 1 a n faire
si Mi ,k 6= +∞ alors
si Mi ,k +Mk,i < 0 alors circuit absorbant ; exitsinon
pour j de 1 a n faire
Mi ,j ← min{Mi ,j ;Mi ,k +Mk,j}si Mi ,j = Mi ,k +Mk,j alors Pi ,j ← Pk,j finsi
finpour
finsi finsi finpour finpour finprocedure
![Page 254: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/254.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme
Complexite
Preuve
Algorithme deBellman
Complexite
Elle est clairement en Θ(n3).
![Page 255: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/255.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme
Complexite
Preuve
Algorithme deBellman
Preuve
La matrice M initiale contient les plus courts chemins de i a j
ne passant par aucun autre sommet.On peut montrer par recurrence qu’a l’etape k , Mi ,j est egal aun plus court chemin de i a j passant uniquement par lessommets 1, · · · , k . Cela constitue l’invariant de la boucle pour.
![Page 256: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/256.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme deBellman
Algorithme
Complexite
Preuve
Algorithme de Bellman
Cet algorithme recherche un plus court chemin depuis unsommet fixe x dans un graphe quelconque ou bien detecte lapresence d’un circuit absorbant.
![Page 257: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/257.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme deBellman
Algorithme
Complexite
Preuve
AlgorithmeOn utilise un tableau de distance D indexe par les sommets dugraphe et la liste des voisins (pour un graphe non oriente) oubien la liste des predecesseurs (dans la cas d’un graphe oriente).procedure Bellman (G : graphe ; x : sommet){initialisation} D0[x ]← 0,pour tout sommet y 6= x faire D0[y ]← +∞ finpour
k ← 0tant que k < n faire
Dk [x ]← 0pour tout sommet y faire
Dk+1[y ]← min(Dk [y ],min{Dk [z ] + w(zy)) ; zy ∈ E}finpour
si Dk+1 = Dk alors FIN finsi
k ← k + 1fintant que
si k = n alors il existe un circuit de longueur negative.finprocedure
![Page 258: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/258.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme deBellman
Algorithme
Complexite
Preuve
Exemple
a
b c
d e
3 -1
1
-31 1
![Page 259: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/259.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme deBellman
Algorithme
Complexite
Preuve
Exemple
si on choisit x = a, le tableau D evolue ainsi
sommet a b c d eD0 0 +∞ +∞ +∞ +∞D1 0 3a −1a +∞ +∞D2 0 3a −1a −4c 0c
D3 0 −3d −1a −4c 0c
D4 0 −3d −2b −4c 0c
D5 0 −3d −2b −5c −1c
L’algorithme s’arrete avec k = 5 et le circuit absorbant a etedetecte.
![Page 260: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/260.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme deBellman
Algorithme
Complexite
Preuve
Complexite
La boucle tant que demande chaque fois m additions et mcomparaisons donc la complexite est en O(m × n).
![Page 261: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/261.jpg)
Theorie desgraphes
Algorithme deDijkstra
Algorithme deFloyd
Algorithme deBellman
Algorithme
Complexite
Preuve
Preuve
D0[y ] represente la valeur d’un chemin de x a y de longueurminimum et contenant 0 arete (arc).On peut montrer par recurrence sur k que, a la k-ieme iterationde la boucle tant que, Dk [y ] represente la valeur d’unchemin de x a y de longueur minimum et ne contenant pasplus que k aretes (arcs).S’il n’existe pas de circuit absorbant, il existe un plus courtchemin (elementaire) de x a y de moins de n− 1 aretes (arcs)et le tableau D se stabilise en moins de n− 1 iterations a lavaleur d’un plus court chemin de x a y , pour chaque sommet y .S’il n’y a pas de stabilisation alors il existe un circuit absorbant.
![Page 262: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/262.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Chapitre V – Ordonnancement
Un premier exemple
methode MPM
Date au plus tot
Date au plus tard
Marge totale et marge libre
![Page 263: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/263.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Chapitre V – Ordonnancement
Un premier exemple
methode MPM
Date au plus tot
Date au plus tard
Marge totale et marge libre
![Page 264: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/264.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Chapitre V – Ordonnancement
Un premier exemple
methode MPM
Date au plus tot
Date au plus tard
Marge totale et marge libre
![Page 265: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/265.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Chapitre V – Ordonnancement
Un premier exemple
methode MPM
Date au plus tot
Date au plus tard
Marge totale et marge libre
![Page 266: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/266.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Chapitre V – Ordonnancement
Un premier exemple
methode MPM
Date au plus tot
Date au plus tard
Marge totale et marge libre
![Page 267: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/267.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Probleme de coordination de
travaux
Dans ce chapitre, on etudiera le probleme de coordination detravaux : un ensemble de taches doit etre accompli enrespectant certaines contraintes. Ces contraintes peuvent etrede plusieurs natures, par exemple :
contraintes de precedence : une tache ne peut etreexecutee que si une ou plusieurs autres sont achevees
contraintes absolues : une tache doit etre achevee avantune date precise . . .
contraintes d’incompatibilite : deux taches ne peuvents’executer simultanement, deux taches utilisent une memeressource . . .
On ne verra que les contraintes de precedence simples pourlesquelles les taches ont une duree fixee.
![Page 268: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/268.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
Considerons la refection d’une salle de bain. Les taches sont lessuivantes
depot des sanitaires et du carrelages existants (DS, DC)
pose du nouveau carrelage (PC)
peinture des murs non carreles (P)
mise aux normes electriques (E)
pose des sanitaires (PS)
pose du mobilier et de l’eclairage (PM, PE)
On va etablir un tableau resumant les contraintes deprecedences.
![Page 269: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/269.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
tache duree tache precedente
DS 2 -
DC 4 DS
PC 4 DC, E
P 5 PC
E 3 DC,DS
PS 3 DS,PC
PE 1 P
PM 2 P, PS
![Page 270: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/270.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
ExempleOn peut representer cela sous forme d’un graphe oriente valuede la facon suivante :
les sommets sont les tachesun arc (x , y) existe si la tache x est avant la tache y etcet arc est value par la duree de x .
DS PS PM
E PE P
DC PC
2
4
3 4
2
4
4
2
5
5
3
![Page 271: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/271.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
C’est illisible !Le but etant d’optimiser les travaux il faut classer ces travauxmais comment ?par rang.
![Page 272: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/272.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
C’est illisible !Le but etant d’optimiser les travaux il faut classer ces travauxmais comment ?par rang.
![Page 273: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/273.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Definition du rang dans un graphe
oriente sans circuit
Le calcul du rang correspond a la definition suivante :
Definition
Dans un graphe oriente sans circuit, pour un sommet x ,rang(x) est la longueur maximale d’un chemin de but x .
Remarque : la valeur du rang est unique.
![Page 274: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/274.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Calcul du rang
Pour calculer cette fonction rang , il suffit donc de resoudre leprobleme du plus long chemin par opposition au probleme duplus court chemin.Une solution consiste a utiliser les degres entrants des sommets.
![Page 275: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/275.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Algorithme
On utilise :
un entier k qui permet le calcul du rang
un tableau qui permet d’y ecrire la valeur du rang etd’effacer virtuellement les arcs depuis les sommets de rangk .
On initialise
k a 0
les sommets de rang 0 sont tous les sommets source
A chaque iteration, on construit l’ensemble des sommets derang k + 1 en supprimant virtuellement les arcs depuis lessommets de rang k : ce sont les sommets qui se retrouventsans degre entrant.
![Page 276: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/276.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
tache duree tache precedente rang
DS 2 - 0
DC 4 DS
PC 4 DC, E
P 5 PC
E 3 DC,DS
PS 3 DS,PC
PE 1 P
PM 2 P, PS
![Page 277: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/277.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
tache duree tache precedente rang
DS 2 - 0
DC 4 DS
PC 4 DC, E
P 5 PC
E 3 DC,DS
PS 3 DS,PC
PE 1 P
PM 2 P, PS
![Page 278: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/278.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
tache duree tache precedente rang
DS 2 - 0
DC 4 DS 1
PC 4 DC, E
P 5 PC
E 3 DC,DS
PS 3 DS,PC
PE 1 P
PM 2 P, PS
![Page 279: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/279.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
tache duree tache precedente rang
DS 2 - 0
DC 4 DS 1
PC 4 DC, E
P 5 PC
E 3 DC,DS
PS 3 DS,PC
PE 1 P
PM 2 P, PS
![Page 280: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/280.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
tache duree tache precedente rang
DS 2 - 0
DC 4 DS 1
PC 4 DC, E
P 5 PC
E 3 DC,DS 2
PS 3 DS,PC
PE 1 P
PM 2 P, PS
![Page 281: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/281.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
tache duree tache precedente rang
DS 2 - 0
DC 4 DS 1
PC 4 DC, E
P 5 PC
E 3 DC,DS 2
PS 3 DS,PC
PE 1 P
PM 2 P, PS
![Page 282: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/282.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
tache duree tache precedente rang
DS 2 - 0
DC 4 DS 1
PC 4 DC, E 3
P 5 PC
E 3 DC,DS 2
PS 3 DS,PC
PE 1 P
PM 2 P, PS
![Page 283: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/283.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
tache duree tache precedente rang
DS 2 - 0
DC 4 DS 1
PC 4 DC, E 3
P 5 PC
E 3 DC,DS 2
PS 3 DS, PC
PE 1 P
PM 2 P, PS
![Page 284: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/284.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
tache duree tache precedente rang
DS 2 - 0
DC 4 DS 1
PC 4 DC, E 3
P 5 PC 4
E 3 DC,DS 2
PS 3 DS, PC 4
PE 1 P
PM 2 P, PS
![Page 285: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/285.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
tache duree tache precedente rang
DS 2 - 0
DC 4 DS 1
PC 4 DC, E 3
P 5 PC 4
E 3 DC,DS 2
PS 3 DS, PC 4
PE 1 P
PM 2 P, PS
![Page 286: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/286.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
tache duree tache precedente rang
DS 2 - 0
DC 4 DS 1
PC 4 DC, E 3
P 5 PC 4
E 3 DC,DS 2
PS 3 DS, PC 4
PE 1 P 5
PM 2 P, PS 5
![Page 287: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/287.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
tache duree tache precedente rang
DS 2 - 0
DC 4 DS 1
PC 4 DC, E 3
P 5 PC 4
E 3 DC,DS 2
PS 3 DS,PC 4
PE 1 P 5
PM 2 P, PS 5
![Page 288: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/288.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
DS DC PC PS PM
E P PE
2 4
3 42 4
4
2
5
5
3
Certains arcs sont inutiles pour ordonner les travaux : (DS,E),(DS,PS), (DC,PC)Il manque les durees des ≪ dernieres ≫ taches PM, PE.
![Page 289: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/289.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
DS DC PC PS PM
E P PE
2 4
3 42 4
4
2
5
5
3
Certains arcs sont inutiles pour ordonner les travaux : (DS,E),(DS,PS), (DC,PC)Il manque les durees des ≪ dernieres ≫ taches PM, PE.
![Page 290: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/290.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
DS DC PC PS PM
E P PE
2 4
3 42 4
4
2
5
5
3
Certains arcs sont inutiles pour ordonner les travaux : (DS,E),(DS,PS), (DC,PC)Il manque les durees des ≪ dernieres ≫ taches PM, PE.
![Page 291: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/291.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
DS DC PC PS PM
E P PE
2 4
3 42 4
4
2
5
5
3
Certains arcs sont inutiles pour ordonner les travaux : (DS,E),(DS,PS), (DC,PC)Il manque les durees des ≪ dernieres ≫ taches PM, PE.
![Page 292: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/292.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
methode MPM
Dans la methode potentiels–taches (MPM pour Method of
Project Management), la modelisation se fait par un grapheoriente dont
les sommets sont les taches,
un arc indique que la tache origine doit preceder la tachebut,
chaque arc est value par la duree de son origine.
On complete alors le graphe avec deux sommets fictifs α et ω :
α represente la tache fictive de debut des travaux etprecede chaque sommet sans predecesseur par un arc devaleur nulle,
ω represente la tache fictive de fin des travaux et succedea chaque sommet sans successeur par un arc value par laduree de la tache origine.
![Page 293: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/293.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
methode MPM
Le probleme est d’etablir un calendrier des travaux respectantles contraintes et minimisant la duree totale.
DS DC PC PS PM
α E P PE ω
2 4
3 42 4
4
2
5
5
3
0 2
1
![Page 294: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/294.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
methode MPM
Le probleme est d’etablir un calendrier des travaux respectantles contraintes et minimisant la duree totale en supprimant les
arcs inutiles.
DS DC PC PS PM
α E P PE ω
2
3 44
4
5
5
3
0 2
1
![Page 295: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/295.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Date au plus tot
Pour qu’une tache puisse commencer, il est necessaire quetoutes les taches qui la precedent soient terminees : donc, auplus tot elle ne peut demarrer qu’a la fin de celle qui termine leplus tard parmi toutes la taches qui la precedent.On va donc calculer la longueur d’un plus long chemin
depuis le sommet α jusqu’a la tache pour determiner sa date
au plus tot.
![Page 296: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/296.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Date au plus tot
Pour qu’une tache puisse commencer, il est necessaire quetoutes les taches qui la precedent soient terminees : donc, auplus tot elle ne peut demarrer qu’a la fin de celle qui termine leplus tard parmi toutes la taches qui la precedent.On va donc calculer la longueur d’un plus long chemin
depuis le sommet α jusqu’a la tache pour determiner sa date
au plus tot.
![Page 297: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/297.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Date au plus tot
Pour qu’une tache puisse commencer, il est necessaire quetoutes les taches qui la precedent soient terminees : donc, auplus tot elle ne peut demarrer qu’a la fin de celle qui termine leplus tard parmi toutes la taches qui la precedent.On va donc calculer la longueur d’un plus long chemin
depuis le sommet α jusqu’a la tache pour determiner sa date
au plus tot.
![Page 298: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/298.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Date au plus tot
Definition
Pour une tache x , la date au plus tot de x est
dtot [x ] = maxz precede x (dtot [z ] + duree(z))
La duree minimale des travaux est donc la date au plus tot dela tache ω soit la longueur d’un plus long chemin depuis αjusqu’a ω.Le calcul pour toutes les taches se fait par la fonction suivantefonction date au plus tot(G : graphe ) : entier naturel
dtot [α]← 0 ;pour chaque sommet x par ordre de rang croissant faire
dtot [x ]← maxz precede x (dtot [z ] + duree(z)) ;finpour
finfonction
![Page 299: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/299.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
DS DC PC PS PM
α E P PE ω
2
3 44
4
5
5
3
0 2
1
tache DS DC PC P E PS PE PM ω
dtot 0 2 9 13 6 13 18 18 20
![Page 300: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/300.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Date au plus tard
Une fois determinee la duree minimale du projet, on peutremarquer ques le retard de certaines taches entraıne un retardglobal des travaux : ce sont des taches critiques. Il existe aumoins un chemin dit critique dont tous les sommets sont destaches critiques : c’est un plus long chemin de α a ω.Au contraire, certaines autres taches peuvent etre differees,dans une certaine limite appelee marge totale, sans pour autantretarder la fin des travaux.Pour calculer cette marge, on va determiner tout d’abord ladate au plus tard dtard pour chaque tache en posantdtard [ω]← dtot [ω].On cherche donc le ≪ dernier moment ≫ auquel executer unetache sans provoquer de retard global.
![Page 301: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/301.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Date au plus tard
Pour une tache x , on determine la premiere tache dans le tempsqui doit lui succeder et on tient compte alors de la duree de x :
dtard [x ] = min(xy)∈E (dtard [y ])− d(x)
Cela correspond a dtard [x ] = dtot [ω]− l(x , ω) ou l(x , ω) est lalongueur d’un plus long chemin de x a ω.Le graphe est donc parcouru depuis le sommet ω pour lequelon fixe dtard [ω] = dtot [ω]. Pour chaque sommet x , on tientcompte des sommets qui lui succedent et on cherche lacontrainte la plus forte : x doit etre fini avant toutes les tachesqui lui succedent ne demarrent.
![Page 302: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/302.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Date au plus tard
Le calcul se fait par la fonction suivantefonction date au plus tard(G : graphe ) : entier naturel
dtard [ω]← dtot [ω] ;pour chaque sommet x par ordre de rang decroissant faire
dtard [x ]← minx precede y (dtard [y ])− d(x) ;finpour
finfonction
![Page 303: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/303.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
DS DC PC PS PM
α E P PE ω
2
3 44
4
5
5
3
0 2
1
tache DS DC PC P E PS PE PM ω
dtot 0 2 9 13 6 13 18 18 20
dtard 0 2 9 13 6 15 19 18 20
![Page 304: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/304.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Marge totale
Les sommets pour lesquels les dates au plus tot et au plus tardsont egales correspondent aux taches dites critiques.Pour les autres sommets, leur marge totale est obtenue par ladifference entre leurs date au plus tard et date au plus tot.
![Page 305: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/305.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
DS DC PC PS PM
α E P PE ω
2
3 44
4
5
5
3
0 2
1
tache DS DC PC P E PS PE PM ω
dtot 0 2 9 13 6 13 18 18 20
dtard 0 2 9 13 6 15 19 18 20
marge 0 0 0 0 0 2 1 0 0
![Page 306: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/306.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Marge libre
On a vu la notion de marge totale. Cette marge, si elle estutilisee peut obliger les taches suivantes a elles-meme utiliserleur marge totale.Une notion plus fine de marge libre permet de calculer pourchaque tache une marge qui n’aura aucune influence sur lecomportement des taches suivantes.
![Page 307: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/307.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Marge libre
Par exemple, si une tache A de duree 10 a pour date au plustot 12, date au plus tard 17 et si elle precede deux taches B etC dont les dates au plus tot sont respectivement 24 et 27 (acause d’autres predecesseurs) alors A pourra commencer auplus tard a la date 14 (et se terminer a la date 24) sans que Bet C voient leur date au plus tot perturbee. Sa marge libre estalors de 2.
![Page 308: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/308.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Marge libre
Le calcul de la marge libre se fait par la fonction suivante :fonction marge libre(G : graphe ) : entier naturel
pour chaque sommet x faire
marge libre[x ]← minx precede y (dtot [y ])− dtot [x ]− d(x) ;finpour
finfonction
![Page 309: Th´eorie des graphes - LACL · 2014. 9. 15. · des graphes Distance dans un graphe non orient´e Les 7 ponts de Ko¨nigsberg Isomorphismes de graphes D´efinition les graphes H](https://reader035.vdocuments.site/reader035/viewer/2022062403/60ff8004a2a7dc158a38781c/html5/thumbnails/309.jpg)
Theorie desgraphes
Un premierexemple
methodeMPM
Date au plustot
Date au plustard
Marge totaleet marge libre
Exemple
DS DC PC PS PM
α E P PE ω
2
3 44
4
5
5
3
0 2
1
tache DS DC PC P E PS PE PM ω
dtot 0 2 9 13 6 13 18 18 20
dtard 0 2 9 13 6 15 19 18 20
marge 0 0 0 0 0 2 1 0 0
marge libre 0 0 0 0 0 2 1 0 0