Hamilton: Hamilton-Kreis (Garey/Johnson: GT39)
Instanz G :: Graph a ein Graph G
Beweis l :: [a] l ist eine geschlossene Rundreise durch alle Knoten von G