Verifizierung

Beim Verifizieren wird geprüft:

• Besitzt die Städtemenge des TSP mindestens 2 Elemente und das TSP damit eine Lösung.
• Stimmen die Städte der Rundreise mit denen in der Städtemenge des TSP überein.
• Ist die angegebene Rundreise kleiner oder gleich der Schranke.

Der Aufwand hierfür ist linear. Es wird nicht geprüft, ob die Lösung die kürzeste ist.