Anfänglich wurden Matroiden eingeführt, um die Begriffe der linearen Unabhängigkeit einer Sammlung von Teilmengen über eine Grundmenge I zu verallgemeinern . Bestimmte Probleme, die diese Struktur enthalten, ermöglichen es gierigen Algorithmen, optimale Lösungen zu finden. Das Konzept der Greedoiden wurde später eingeführt, um diese Struktur zu verallgemeinern und mehr Probleme zu erfassen, die es ermöglichen, mit gierigen Methoden optimale Lösungen zu finden.
Wie oft entstehen diese Strukturen im Algorithmusdesign?
Darüber hinaus kann ein gieriger Algorithmus häufig nicht vollständig erfassen, was für die Suche nach optimalen Lösungen erforderlich ist, kann aber dennoch sehr gute Näherungslösungen finden (z. B. Bin Packing). In Anbetracht dessen, gibt es eine Möglichkeit zu messen, wie "nah" ein Problem an einem Greedoid oder einer Matroid ist?
quelle