Gerichteter Graph

Ein gerichteter Graph modelliert asymmetrische Beziehungen zwischen Knotenentitäten, bei denen Verbindungen eine feste Orientierung besitzen.

Formale Definition: Ein gerichteter Graph $G$ besteht aus einer Knotenmenge $V (G)$ und einer Kantenmenge $E (G)$ , die als Teilmenge des kartesischen Produkts der Knoten definiert ist: $E (G) \subseteq V (G) \times V (G)$
Kanten-Semantik: Eine Kante ist ein geordnetes Paar $e = (u, v)$ . Dabei bezeichnet $u$ den Startknoten (Vorgänger) und $v$ den Zielknoten (Nachfolger).