Définition d’un graphe connexe
Un graphe non-orienté est dit connexe si pour tout couple de sommet (i, j), il existe une chaîne joignant i et j.
Définition d’un graphe fortement connexe
Un graphe orienté est dit fortement connexe s’il existe un chemin entre tout couple de sommet.
Ce graphe n’est pas connexe mais il contient deux sous-graphes fortement connexes.
On peut en déduire un graphe réduit représentant les deux composantes fortement connexes.