pour

vérifier que

la contrainte est respectée

il suffit de calculer cette

somme


0 x 13 + 1 x 12 + 1 x 8 + 1 x 10 = 30
















comme on le voit

le résultat 30

est

par définition

inférieur ou égal à 30

donc la contrainte est respectée

nous parlons alors de solution réalisable

mais

ce n'est pas nécessairement la meilleure

solution