Graphe orienté
type de graphe
Dans la théorie des graphes, un graphe orienté est un couple formé de un ensemble, appelé ensemble de nœuds et un ensemble appelé ensemble d'arêtes. Les arêtes sont alors nommées arcs, chaque arête étant un couple de noeuds, représenté par une flèche.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/23/Directed_graph_no_background.svg/220px-Directed_graph_no_background.svg.png)
(Figure 1)
Définitions
modifier- Étant donné un arc , on dit que est l'origine (ou la source ou le départ ou le début) de et que est la cible (ou l'arrivée ou la fin) de .
- Le demi-degré extérieur (degré sortant) d'un nœud, noté , est le nombre d'arcs ayant ce nœud pour origine.
- Le demi-degré intérieur (degré entrant) d'un nœud, noté , est le nombre d'arcs ayant ce nœud pour cible.
- Chaque arc ayant une seule origine et une seule cible, le graphe comporte autant de degrés sortants que de degrés entrants : .
- est un chemin si et seulement si est un arc ; on dit que le chemin est élémentaire si tous les sont distincts.
- le chemin est un circuit si et seulement si est un arc. Ce qui est équivalent à dire que le nœud de début du chemin est également sa fin.
- le graphe est un sous-graphe du graphe orienté si et seulement si contient . Plus précisément, si et seulement si et .
- Le graphe transposé d'un graphe orienté est obtenu en conservant tous les nœuds de et en inversant tous les arcs de . Autrement dit, avec . On parle aussi de graphe inverse[1].
- Une chaîne[2] est une séquence de noeuds telle que [3].
Exemples relatifs aux figures 1 et 2
modifier![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c2/Directed_subgraph_no_background.svg/220px-Directed_subgraph_no_background.svg.png)
(Figure 2)
- le graphe dessiné dans la figure 1 est défini par et par.
- le degré sortant . Deux arcs ont pour origine le nœud .
- le degré entrant . Aucun arc n'a pour cible le nœud .
- est un chemin du graphe (puisque et appartiennent à ) .
- est un circuit du graphe (et c'est le seul circuit élémentaire si on l'identifie au circuit ), car les arcs et appartiennent à .
- est une chaîne de .
- est un sous-graphe de .
- est le transposé de .
Modélisation par graphes orientés
modifierLes graphes orientés sont des modèles pour diverses situations.
- Les systèmes routiers possédant des sens uniques, les systèmes de transport dissymétriques...
- Les graphes d'état mêlant transitions réversibles et irréversibles (exemple : les automates à états finis).
- Le flot de contrôle d'un programme.
- Les réseaux de flot sont des graphes orientés dont les arcs sont étiquetés par des capacités.
Notes et références
modifier- Les deux termes sont utilisés, voir Olivier Carton, « Algorithmes sur les graphes » pour graphe transposé, et Jean-Charles Régin et Arnaud Malapert, « Théorie des graphes », pour graphe inverse.
- Claude Berge, Espaces topologiques, fonctions mutivoques, Paris, Dunod, , p. 29
- Marc Lipson, Discrete mathematics, McGraw-Hill, (ISBN 978-0-07-161586-0), p. 203
Bibliographie
modifier- Claude Berge, Théorie des graphes et ses applications, Paris, Dunod, , 275 p. (OCLC 780360).