44 dnitions de thorie des graphes

cours ALGO1

Graphes

Un

est un couple (S, A) o S est un ensemble de

et
A S S est un ensemble d'
. Un
(s, t) se note
s t ou s t. On dit que s t
du sommet s. On dit que s t
au sommet t. Les sommets t tels que s t sont appels
de s. Les
sommets s tels que s t sont appels
de t. Un arc s t est
pour s et t. Une
est un arc s s. Le
d'un
sommet est le nombre d'arcs qui y arrivent. Le
d'un sommet est
le nombre d'arcs qui en partent.
Un
est un couple (S, A) o S est un ensemble de
et A est un ensemble d'ensembles de deux sommets. Les lments de A
s'appellent des
(ou
) (il n'y a pas de boucles). Un
{s, t} se note s  t ou s  t. Le
d'un sommet s est le
nombre d'artes qui sont incidentes s.
graphe orient

sommets

arcs (orients)

arc orient

part

arrive

sucesseurs

prdcesseurs

incident

boucle

degr entrant

degr sortant

graphe non orient

som-

mets

arcs non orients

artes

arc

non orient

degr

Chemins, cycles

Un
(de
n) de s t est une suite de sommets hs = s, s , . . . , s =
ti tels que pour tout i {0, . . . , n 1}, on a s s . Le chemin
les
sommets s et les arcs s s . S'il existe un chemin de s t, on note s t et
t est
depuis s. Il existe toujours un
entre s
et s. Si 0 i j n, hs , s , . . . , s i est un
de hs , s , . . . , s i.
Un chemin est
(ou
) ssi tous les sommets du chemin sont
distincts. Un
(ou ) est un chemin hs , s , . . . , s i ssi s = s et il
contient au moins un arc.
Pour les graphes non orients, un chemin s'appelle aussi une
.
Un
est un chemin qui passe exactement une fois par chaque
arc. Un
est un chemin qui passe exactement une fois par
chaque sommet.
chemin

longueur

i+1

accessible

chemin de longueur 0

i+1

lmentaire

circuit

contient

i+1

sous-chemin

cycle

chane

chemin eulrien

chemin hamiltonien

1 selon

simple

Cormen, Leiserson, Rivest, Stein. Algorithmique.

Qualicatifs pour les graphes

Un graphe
est un graphe sans boucles. Un graphe sans cycle est
. Un graphe non orient est
ssi tout sommet est accessible depuis
tous les autres sommets. Une
d'un graphe est une classe
d'quivalence pour la relation `est accessible depuis'. Un
est un graphe non
orient, connexe et acyclique.
Un graphe orient est
si pour tout s, t, s t et t s.
Une composante fortement connexe est une classe d'quivalence pour la relation
sRt: s
t et t
s.
Un graphe
est un graphe tel que pour tout couple de sommets (s, t),
on a s t.
Un graphe est dit
ssi il est dessinable dans le plan de manire ce
que deux arcs ne se croisent pas.
simple

acy-

clique

connexe

composante connexe

arbre

fortement connexe

complet

planaire

Graphe pondr

Un

est un graphe muni d'une

s'appelle le
de l'arc .
est

G = (S, A)
fonction de pondraw : A R w(s t)
poids
s

t
Pn1
poids d'un chemin hs0 , s1 , . . . , sn i
i=0 w(si si+1 )

graphe pondr

Le

tion