Recherche:

Genre :

solve :: Value -> Reserve -> [Solution]
solve 0 [] = [[]]
solve value [] = []
solve value ps =
if eagerEnough v ps
then solve' concat value ps
else solve' (foldr merge...

Rien de mystérieux, il explore l'intégralité de l'espace des solutions (c'est du NP-difficile de toute façon) et trie les solutions, la seule optimisation c'est qu'il exploite un peu la structure de...

Mouais... Donc l'algo glouton n'est pas suffisant... Voici un algo qui marche, mais je ne sais pas si on peut faire mieux :

type Value = Int -- value of a piece
type Reserve = [(Value,Int)] --...

Une solution en Haskell :

type Value = Int -- value of a piece
type Reserve = [(Value,Int)] -- couple of (piece value, number of such piece)
type Solution = [(Value,Int)] -- solutions are from...