Beispiel

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]



Johannes Waldmann 2009-11-17