Académique Documents
Professionnel Documents
Culture Documents
4)
Terminologie
Un graphe orienté est un graphe G=(S,A) dont E
toutes les arêtes sont orientés
D
Proposition:
! inDeg(s) = ! outDeg(s) = m
s∈S s∈S
arêtes sélectionnées
}
arêtes de retour
arêtes non-sélectionnées arêtes de traverse
arêtes d’avancement
Sommets accessibles de c: C
A
E D
C F
E D
A B
Sommets accessibles de b:
C F
A B
a
g
c
d
e
b
f
f b
Utiliser la programmation
dynamique:
Algorithme de Floyd-Warshall
Utilise seulement j
des sommets numérotés
1,…,k-1 Utilise seulement
k
des sommets numérotés
1,…,k-1
v7
BOS
ORD v4
JFK
v2 v6
SFO
DFW
LAX
v3
v1
MIA
v5
v7
BOS
ORD v4
JFK
v2 v6
SFO
DFW
LAX
v3
v1
MIA
v5
v7
BOS
ORD v4
JFK
v2 v6
SFO
DFW
LAX
v3
v1
MIA
v5
v7
BOS
ORD v4
JFK
v2 v6
SFO
DFW
LAX
v3
v1
MIA
v5
v7
BOS
ORD v4
JFK
v2 v6
SFO
DFW
LAX
v3
v1
MIA
v5
v7
BOS
ORD v4
JFK
v2 v6
SFO
DFW
LAX
v3
v1
MIA
v5
v7
BOS
ORD v4
JFK
v2 v6
SFO
DFW
LAX
v3
v1
MIA
v5
v7
BOS
ORD v4
JFK
v2 v6
SFO
DFW
LAX
v3
v1
MIA
v5
B
Un ordre topologique pour graphe orienté Graphe orienté
C acylique G
est une numérotation des sommets
A
v1, . . . , vn
telle que pour chaque arête (vi, v j ) du
graphe on a i < j v4 v5
D E
v2
Théorème: Un graphe orienté admet un B
v3
ordre topologique si et seulement si le v1 C Ordre
grpahe est acyclique. A topologique
pour G
Algorithme OrdreTopologique(G)
H←G // Copy temporaire de G
n ← G.nombreSommets()
tant que il existe un sommet v dans H tel que OutDeg(v)=0 faire
Étiquetter v par n
n←n-1
Enlever v de H
G H
G H
G H
7
8
G H
7
8
G H
6 5
7
8
G H
4
6 5
7
8
G H
4
6 5
7
8
G H
2
4
6 5
7
8
G H
1
3
2
4
6 5
7
8
G H