Beim TSP geht es darum, zu einer gegebenen Menge von Städten und einer Distanzfunktion (die jeder Variation zweier Städte eine Distanz zuordnet) eine Rundreise durch alle Städte zu finden, die nicht länger ist als eine gegebene Schranke. Fehlende Entfernungsangaben werden mit plus unendlich angenommen und im Modul mit dem Wert Schranke belegt.