Beispiel

student = Aufgabe { problem = TSProblem
                        , instanz = bsp1
                        , beweis = bew1
                        }

bsp1 = TSP {entfernungen = listToFM [((1, 2), 4), ((1, 3), 4),
             ((1, 4), 2), ((1, 5), 1), ((2, 1), 6), ((2, 3), 1), ((2, 4), 6),
             ((2, 5), 3), ((3, 1), 2), ((3, 2), 2), ((3, 4), 3), ((3, 5), 3),
             ((4, 1), 2), ((4, 2), 1), ((4, 3), 3), ((4, 5), 5), ((5, 1), 7),
             ((5, 2), 1), ((5, 3), 3), ((5, 4), 2)],
     schranke = 10}

bew1 = Rundreise [ 1, 5, 2, 3, 4 ]