engl.: digraph
Ein gerichteter Graph (engl. digraph) G = (V , E ) besteht aus
Ist (va, ve) eine Kante, dann nennt man
der Kante. ve heißt von va direkt erreichbar und Nachfolger von va; va Vorgänger von ve.
Graphen bieten für eine große Klasse von Problemen ein geeignetes abstraktes Modell.