Algorithmique de base 2011 – 2012
Feuille de TD n˚4
Exercice 1. Appliquez l’algorithme de recherche des composantes fortement connexes
au graphe ci-dessous, en détaillant les parcours en profondeur effectués.
A
B
C D
E
F
G
H
Exercice 2. Le but de cet exercice est de démontrer la validité de l’algorithme de calcul
des composantes fortement connexes étudié en cours.
1. Montrer que si deux sommets se trouvent dans la même composante fortement
connexe, tous les chemins de l’un à l’autre restent dans cette composante fortement
connexe.
On définit l’aïeul φ(u)d’un sommet ucomme étant le sommet qui, parmi ceux accessibles
à partir de u, termine le premier parcours en profondeur en dernier.
2. Montrer que φ(u)est un ancêtre de uselon le premier parcours en profondeur (c’est-
à-dire qu’il existe un chemin rouge 1de φ(u)vers u).
3. Montrer que uet vsont dans la même composante fortement connexe si et seulement
si φ(u) = φ(v).
Soit ule sommet par lequel on a fini le premier parcours en profondeur. C’est aussi celui
par lequel on commence le second parcours.
4. Montrer que φ(u) = u.
Soit vun sommet dont uest un ancêtre dans le deuxième parcours en profondeur.
5. Montrer que φ(v) = u. En déduire que vet usont dans la même composante fortement
connexe.
6. Montrer que l’algorithme calcule les composantes fortement connexes.
Exercice 3. Trouver un algorithme qui détermine si un graphe orienté contient un cycle.
Exercice 4. Trouver un exemple de graphe ayant des arêtes de poids négatif (mais sans
cycle de poids négatif) pour lequel l’algorithme de Dijkstra donne un résultat faux.
Pour traiter le cas des graphes ayant des arêtes de poids négatif, on considère l’al-
gorithme de Bellman-Ford, qui calcule les plus courts chemin du sommet sà chacun
des sommets accessibles depuis s, dans un graphe ne contenant pas de cycle de poids
négatif :
1: initialiser sà0et les autres sommets à +∞.
2: pour i= 1 à|S(G)| − 1faire
1. C’est-à-dire formé d’arêtes que l’on a suivies au cours du parcours. Ce n’est pas une terminologie
standard.
1
docsity.com
