Sous-ensemble de somme donnée

let rec existe_somme l cible =
  if cible = 0 then true
  else
    match l with
    | [] -> false
    | x :: reste ->
        existe_somme reste (cible - x) || existe_somme reste cible

existe_somme [2;3;7] 5 : prendre 2 puis chercher 3 dans [3;7] → prendre 3, cible 0 → true. Le sous-ensemble $\{2,3\}$ convient.