Beispiel

student = Aufgabe { problem = Knapsack
                  , instanz = bsp_cond
                  , beweis = bsp_proof
                  }

bsp_cond = Conditions { items = listToFM [(1,(Size 6, Value 18))
       ,(2,(Size 5, Value 15)) ,(3,(Size 4, Value 9)) ,(4,(Size 4, Value 12))
       ,(5,(Size 3, Value 11)) ,(6,(Size 4, Value 13)) ,(7,(Size 3, Value 7))
       ,(8,(Size 2, Value 6)) ,(9,(Size 2, Value 5)) ,(10,(Size 2, Value 3))
       ,(11,(Size 2, Value 2)) ]
                      , constraint = (Size 6, Value 19)
                      }
bsp_proof = mkSet [6,8]



Johannes Waldmann 2009-11-17