Basierend auf dem Lehrbuch Einführung in Algorithmen erfordert die Korrektheit eines gierigen Algorithmus, dass ein Problem zwei Eigenschaften aufweist:
- gierige Wahl Eigenschaft
- optimale Unterkonstruktion
Es ist leicht, Gegenbeispiele zu finden, bei denen eine gierige Lösung aufgrund des Fehlens der Eigenschaft der gierigen Auswahl fehlschlägt, z. B. das 0/1-Rucksackproblem. Aber ich finde die andere Möglichkeit ziemlich schwer vorstellbar. Kann mir jemand ein Problem und einen entsprechenden gierigen Algorithmus geben, der die erste Eigenschaft erfüllt, aber nicht die zweite?