Sei ein Graph. Ein Eulerkreis ist ein Zyklus, die jede Kante genau einmal enthält. Dabei sind der Start- und Endpunkt des Pfades identisch.

Der Graph enthält genau dann einen Eulerkreis, wenn er zusammenhängend ist und jeder Knoten einen geraden Knotengrad besitzt.