Graphen

Ein gerichteter Graph $G = (V,E)$besteht	aus Knotenmenge $V$
	und Kantenmenge $E \subseteq V \times V$

Kanten können gewichtet sein durch eine Kostenfunktion $c: E \rightarrow \mathbb{Z}$ .

Ein ungerichteter $G = (V,E)$ besteht	aus Knotenmenge $V$
	und Kantenmenge $E \subseteq P_{2}(V)$ = 2-elem. Teilmengen von $V$.

Mit Graphen können zwischen Objekten ($\hat =$ Knoten) binäre Beziehungen ( $\hat =$ Kanten) modelliert werden.

Ein Weg ist eine Folge von adjazenten Knoten.
Ein Kreis ist ein Weg mit Anfangsknoten = Endknoten.