| Ein gerichteter Graph G = (V,E) besteht | aus Knotenmenge V |
und Kantenmenge
E  V × V |
Kanten können gewichtet sein durch eine
Kostenfunktion
c : E 
.
| Ein ungerichteter G = (V,E) besteht | aus Knotenmenge V |
| und Kantenmenge
E P2(V) = 2-elem. Teilmengen von V . |
Mit Graphen können zwischen Objekten ( 
Knoten)
binäre Beziehungen ( Kanten) modelliert werden.
Ein Weg
ist eine Folge von adjazenten Knoten.
Ein Kreis
ist ein Weg mit Anfangsknoten = Endknoten.