Basé sur le manuel Introduction to Algorithms , l'exactitude d'un algorithme gourmand nécessite qu'un problème ait deux propriétés:
- propriété de choix gourmande
- sous-structure optimale
Il est facile de trouver des contre-exemples pour lesquels une solution gourmande échoue en raison du manque de la propriété de choix gourmand, par exemple le problème du sac à dos 0/1. Mais je trouve l'autre possibilité assez difficile à imaginer. Quelqu'un peut-il me donner un problème et un algorithme gourmand correspondant qui satisfait la première propriété mais pas la seconde?