1 Généralités
Die Mathematiker sind eine Art Franzosen : redet man zu ihnen, so übersetzen sie
es in ihre Sprache, und dann ist es alsobald ganz etwas anderes1. (Johann Wolfgang
von Goethe).
1.1 Notions de base
1.1.1 Définitions
Si Eest un ensemble fini, on dénote par EoEl’ensemble des couples (x, y)∈E×E
avec x6=ydans lequel on identifie de plus (x, y)et (y, x).
Un graphe Gest la donnée d’un couple d’ensembles finis G= (X, E)où Xest
non-vide et E⊂XoX. L’ensemble Xest l’ensemble des sommets de Get Eest
l’ensemble des arêtes de G. Le cardinal de Gest le cardinal de X.
Remarque : Notre définition implique que les graphes G1= ({1,2},{(1,2)})et
G2= ({a, b},{(a, b)})ne sont pas les mêmes, puisqu’ils n’ont pas le même ensemble
sous-jacent. Néanmoins, leurs propriétés sont suffisamment proches pour que l’on ait
envie de les identifier. Nous reviendrons sur cette subtilité.
Deux sommets (x, y)∈X2sont dits adjacents dans G, ce que l’on note x∼Gy, si
(x, y)∈E. En particulier, un sommet n’est jamais adjacent à lui-même. L’ensemble
{y∈X|(x, y)∈E}est appelé l’ensemble des voisins de xet est noté NG(x). Le degré
dG(x)de x∈Xest le cardinal de NG(x). Le degré minimal δGde Gest le minimum
des degrés des sommets de G; le degré maximal ∆Gest le maximum des degrés des
sommets de G. Lorsque δG= ∆G=k, donc lorsque dG(x)ne dépend pas de x, on
dit que Gest k-régulier.
Deux arêtes distinctes aet bsont dites incidentes si a∩b6=∅, et incidentes en
usi a∩b={u}. Pour x∈Xet e∈E, on note G− {x}ou G−xle graphe
(X− {x}, E − {(x, y)∈E|y∈X})et G− {e}ou G−ele graphe (X, E − {e}). Si
(x, y)∈XoX−E, on note G∪ {e}le graphe (X, E ∪(x, y)). Pour G= (X, E)
et G0= (X0, E0)deux graphes, on note G∪G0et on appelle union de Get G0le
graphe (X∪X0, E ∪E0). Le complémentaire ¯
Gd’un graphe (X, E)est le graphe
(X, X oX−E). On note G/(x, y)le graphe G= (X− {x, y}∪{z}, E ∪{(z, v)|v∈
NG(x)∪NG(y)}).
Un sous-graphe H⊂Gde G= (X, E)est un graphe (X(H), E(H)) avec X(H)⊂
Xet E(H)⊂E. La relation H⊂Gest une relation d’ordre partielle. Un sous-graphe
Hest dit induit si E(H) = {(x, y)∈E|(x, y)∈X(H)oX(H)}. Un sous-graphe
Hest dit couvrant si X(H) = X. Un graphe est dit minimal pour une propriété P
s’il n’admet pas de sous-graphe strict vérifiant P. Un sous-graphe Hde Gest dit
maximal pour une propriété Ps’il n’existe pas de sous-graphe H0de Gcontenant H
et vérifiant P.
1Les mathématiciens sont un peu comme les Français : lorsque vous leur parlez, ils traduisent
tout dans leur langue, si bien que c’est devenu quelque chose de tout à fait différent
2