Bei einem Graph handelt es sich um eine Datenstruktur, die aus zwei Mengen besteht:

- einer Menge der Knoten und
- einer Menge der Kanten.

Bei einem gerichteten Graph ist eine Kante ein geordnetes Paar von Knoten. Bei einem ungerichteten Graph ist eine Kante ein ungeordnetes Paar von Knoten. Eine Kante verbindet zwei Knoten oder einen Knoten mit sich selbst.

Ein Graph kann auch als Adjazenzmatrix dargestellt werden.

Spezielle Graphen sind die Bäume (siehe Baum). Ein Irrgarten kann als Graph beschrieben werden.