import Challenger import Col.Col student = Aufgabe{problem = Col , instanz = ( bsp_graph , 3 ) , beweis = bsp_loesung } bsp_graph = Graph { knoten = mkSet [1,2,3,4,5] , kanten = mkSet [kante 1 2, kante 2 3, kante 3 4, kante 4 5, kante 5 1, kante 3 5] } bsp_loesung = Klassen([[1,4],[2,5],[3]])
import Challenger import Hamilton.Hamilton student = Loesung { problem = Hamilton ,ident = Ident {aufgabe = 1} ,beweis = Kreis [0,1,2,3] }