Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. Sei G =( V E ) ein ( gerichteter ) Graph ohne Mehrfachkanten . Ist H ein Pfad bzw. Kreis der alle Knoten aus V enthält so nennt man W Hamiltonpfad bzw. Hamiltonkreis . Falls ein Graph G einen Hamiltonkreis besitzt so nennt man G hamiltonisch . Das Problem zu entscheiden ob ein Graph einen Hamiltonpfad besitzt bzw. ob er ist nennt man Hamiltonpfad-Problem bzw. Hamiltonkreis-Problem .
Sind x und y zwei nicht benachbarte Knoten in einem Graphen G deren Gradsumme d G ( x )+ d G ( y ) mindestens so groß wie die Anzahl Knoten | V ( G )| in G ist so ist G hamiltonisch genau dann wenn G +{ x y } hamiltonisch ist. Ist G 0 ... G k eine Folge von ungerichteten Graphen wobei G i aus G i -1 für jedes i aus {1 ... k } durch Hinzufügen einer Kante { x y } mit d G i -1 ( x )+ d G i -1 ( y )&ge| V ( G i -1 )| entsteht und d G k ( x )+ d G i k ( y )&le| V ( G i -1 )| für jedes Paar in G k nicht benachbarter Knoten x und y so bezeichnet man G k als Hamiltonabschluss von G 0 . Ein weiterer Satz besagt dass der für jeden Graphen eindeutig ist. Ein Graph daher genau dann hamiltonisch wenn sein Hamiltonabschluss ist.
Daraus lassen sich folgende hinreichender Bedingungen hamiltonische Graphen ableiten. Unter anderem ist ein G mit mindestens drei Knoten hamiltonisch falls:
d G ( x )+ d G ( y )≥| V ( G )| für alle { x y } die nicht zu E ( G ) gehören oder
Die Probleme Hamiltonpfad und Hamiltonkreis sind NP-vollständig . Entsprechend schwierig gestaltet es sich dann zusätzlich einen Hamiltonpfad bzw. einen Hamiltonkreis in Graphen zu finden sofern dieser existiert. Probleme gerichteten Hamiltonkreisen lassen sich auf 3-SAT polynominal reduzieren. Probleme mit ungerichtete Hamiltonkreisen sich auf gerichtete reduzieren. Das Problem des Handlungsreisenden lässt sich auf Probleme mit ungerichteten reduzieren.