Исходя из учебника Введение в алгоритмы , корректность жадного алгоритма требует, чтобы задача имела два свойства:
- жадный выбор собственности
- оптимальная подструктура
Легко придумать контрпримеры, для которых жадное решение не удается из-за отсутствия свойства жадного выбора, например, проблема ранца 0/1. Но мне трудно представить другую возможность. Кто-нибудь может дать мне проблему и соответствующий жадный алгоритм, который удовлетворяет первому свойству, но не второму?
источник