Basato sul manuale Introduzione agli algoritmi , la correttezza di un algoritmo avido richiede che un problema abbia due proprietà:
- proprietà scelta avida
- sottostruttura ottimale
È facile trovare esempi contrari per i quali una soluzione avida non riesce a causa della mancanza della proprietà scelta avida, ad esempio il problema dello zaino 0/1. Ma trovo l'altra possibilità piuttosto difficile da immaginare. Qualcuno può darmi un problema e un corrispondente algoritmo avido che soddisfa la prima proprietà ma non la seconda?