Vous êtes sur la page 1sur 2

STPI 2 Arnaud Knippel 2017

Introduction la thorie des graphes


( complter avec les exemples en cours/TD)

Les graphes sont un puissant outil de modlisation permettant d'tudier des ensembles d'objets lis
par une relation binaire. Ils sont utiliss dans la plupart des domaines d'application : physique, chimie,
informatique, statistique, sciences sociales...

On considre que l'apparition des graphes remonte Euler qui en 1736 a tudi le fameux
problmes des ponts de Knigsberg (actuelle ville de Kalinigrad) : pouvait-on se promener dans la ville
en traversant une et une seule fois chacun des sept ponts de la ville ? La solution de ce problme a permis
de dfinir la notion de cycle eulrien et donne lieu un thorme dsormais classique : c'est possible si
chaque sommet du graphe qui modlise la ville est de degr pair (voir dfinitions plus loin). De nos jours,
ce rsultat est appliqu notamment dans l'industrie pour la conception de circuits lectroniques.

De nombreux rsultats sont apparus dans la seconde partie du XIXme sicle, notamment en
raison des applications en lectricit (lois de Kirschoff...).

Le mathmaticien le plus connu pour la thorie des graphes est Claude Berge (1926-2002, c'est
galement un des membres fondateurs de l'Oulipo), qui on doit une bonne partie du vocabulaire.

I Graphes orients et graphes non orients

Un graphe non orient G = (X,U) est dfini par :


- un ensemble X dnombrable de sommets
- une famille U d'artes u ={x,y} avec x et y des sommets

Une arte entre un sommet et lui-mme est appel une boucle.


Remarquons qu'il peut y avoir plusieurs artes entre deux sommets (d'o le terme de famille au lieu
d'ensemble), on parle alors d'artes multiples. Un graphe est dit simple s'il n'a pas d'artes multiples ni
de boucles.

Dans certains cas, on a besoin de dfinir une orientation des artes, on parle alors d'arcs, et on dit que le
graphe est orient :

Un graphe orient G = (X,U) est dfini par :


- un ensemble X dnombrable de sommets
- une famille U d'arcs u =(x,y) avec x et y des sommets

On dira d'un graphe orient qu'il est simple s'il n'a ni boucles ni arcs multiples.

Pour allger les notations, on note u = xy un arc de x y ou une arte entre x et y (suivant que le graphe
est orient ou non).

Introduction succincte la thorie des graphes page 1


STPI 2 Arnaud Knippel 2017

II Voisins, degrs

Soit G = (X,U) un graphe simple orient et x un sommet.

+
On appelle demi-degr extrieur de x le nombre d (x) d'arcs issus de x.
-
On appelle demi-degr intrieur de x le nombre d (x) d'arcs entrant en x.
+ -
Le degr de x est : d(x) = d (x) + d (x) .

Si xy est un arc, on dit que xy est incident extrieurement x et incident intrieurement y (une arte
xy est incidente x et y).
Ont dit que x est un prdcesseur de y et que y est un successeur de x.

+ -
On note (x) l'ensemble des successeurs de x et (x) l'ensemble des prdcesseurs de x.
+
L'ensemble des voisins de x est : (x) = (x) (x) .

+ -
On note (x) l'ensemble des arcs incidents extrieurement x et (x) l'ensemble des arcs incidents
+ -
intrieurement x. L'ensemble des arcs incidents x est alors : (x) = (x) (x) .

+ +
On a alors par dfinition : d (x)= Card( (x))
+ +
Pour un graphe simple : d (x) = Card( (x))

Exercice : dmontrer le thorme suivant.

Thorme : Soit G = (X,U) un graphe non orient. Alors le nombre de sommets de degr impair est pair.

Introduction succincte la thorie des graphes page 2