student = Aufgabe { problem = Vertex , instanz = (bsp_graph, maxKnotenzahl) , beweis = bsp_cover } bsp_graph = Graph { knoten = mkSet [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10], kanten = mkSet [kante 0 2, kante 2 3, kante 3 9, kante 9 5, kante 5 6, kante 6 0, kante 0 4, kante 0 10, kante 4 5, kante 10 3, kante 2 7, kante 6 8, kante 8 9, kante 7 9, kante 6 1, kante 4 1] } maxKnotenzahl = 5 bsp_cover = mkSet [10, 6, 2, 9, 4]