Hmmm, ich bin hier zwiegespalten. Ich bin gespannt auf die Musterlösung. Ich bin mit meinem Beweis sehr zufrieden, vor allem weil ich ohne Computer auf ein zertifiziertes Ergebnis gekommen bin. Allerdings war das, was ich gemacht habe, nicht wirklich deterministisch sondern involvierte ein bisschen an Zahlen rumdrehen.
Ich kann mir nicht vorstellen, dass es eine viel bessere Lösung gibt (das Problem des reisenden Weihnachtsmanns ist bekanntlicherweise schwer), wenn das sich bewahrheitet ist die Aufgabe für meinen Geschmack dann doch zu viel Fleißarbeit, wenn auch der Beweis der Optimalität sehr hübsch ist.