On cherche une arête qui va de gauche à droite
Tri topologique : linéarisé les graphes, donc pas d’arête de droite à gauche :
Donc si le tri est cyclique, il ne peut être topologique
Topologique implique acyclique
On a donc que les degrés entrants
Construire l’algorithme du tri topologique :
On utilise un parcourt en profondeur
if
Avec les lignes en rouge ajouté, l’algorithme est super master :
si on retrouve sinon on a un cycle
Existe-t-il un sommet qui n’a pas de degré entrant ? oui
Si le graphe est acyclique, on supprime un sommet de degré entrant zéro, le graphe en
résultant le sera-t-il ? oui, il prend les propriétés précédentes
Supposons un graphe avec aucun sommet de degré zero, comment est-il ? Il est donc
cyclique