import Challenger import Clique.Clique student = Aufgabe { problem = Clique , instanz = (bsp_graph,2) , beweis = TGraph [0,1] } bsp_graph = Graph{ knoten = mkSet [0,1,2,3] , kanten = mkSet [kante 0 1 ,kante 1 2 ,kante 2 3 ,kante 1 0 ] } |
import Challenger import Clique.Clique student = Loesung { problem = Clique ,ident = Ident {aufgabe = 1} ,beweis = TGraph [0,1] } |