Ein ungerichteter Graph besteht aus Knotenmenge
und Kantenmenge
( sind alle 2-elementigen Teilmengen von .)
Kanten können gewichtet sein durch eine Kostenfunktion .
Mit Graphen können binäre Beziehungen zwischen Objekten modelliert werden. Die Objekte werden durch die Knoten, die Beziehungen durch die Kanten modelliert.
Ein Weg
ist eine Folge von adjazenten Knoten.
Ein Kreis
ist ein Weg, der zurück zum Startknoten führt.