Chapitre 1
Introduction
1.1 Digraphe
Un digraphe (ou graphe dirig´e)D=(S, A)est constitu´e d’un ensemble
fini et non vide Sde sommets et d’un ensemble Ade couples de sommets
distincts, appel´es arcs. A chaque partie non vide Xde Sest associ´e le sous-
digraphe D[X]=(X, (X×X)∩A)de Dinduit par X.´
Etant donn´ee une
partie stricte Xde S,D[S∖X]est aussi not´e D−X. De plus, pour x∈S,
D−{x}est not´e D−x. De mˆeme, pour toute partie Bde A, le digraphe
(S, A ∖B)est not´e D−B.
´
Etant donn´e un ensemble non vide S,(S, ∅)est le digraphe vide sur S
tandis que (S, (S×S)∖{(x, x);x∈S}) est le digraphe complet.´
Etant donn´e
un digraphe D=(S, A), consid´erons une partition Pde S. Le graphe Dest
multiparti par Plorsque pour tout M∈P,D[M]est vide. On dit que Dest
biparti si ∣P∣=2.
4