Com base no livro Introdução aos algoritmos , a correção de um algoritmo ganancioso exige que um problema tenha duas propriedades:
- propriedade escolha ganancioso
- subestrutura ideal
É fácil criar exemplos contrários para os quais uma solução gananciosa falha devido à falta da propriedade de escolha gananciosa, por exemplo, o problema da mochila 0/1. Mas acho a outra possibilidade bastante difícil de imaginar. Alguém pode me dar um problema e um algoritmo ganancioso correspondente que satisfaça a primeira propriedade, mas não a segunda?