Inicialmente, matroides se introdujeron generalizar las nociones de independencia lineal de una colección de subconjuntos sobre algún motivo previsto Me . Ciertos problemas que contienen esta estructura permiten que los codiciosos algoritmos encuentren soluciones óptimas. El concepto de greedoids se introdujo más tarde para generalizar esta estructura para capturar más problemas que permitan encontrar soluciones óptimas mediante métodos ambiciosos.
¿Con qué frecuencia surgen estas estructuras en el diseño de algoritmos?
Además, la mayoría de las veces un algoritmo codicioso no podrá capturar por completo lo que es necesario para encontrar soluciones óptimas, pero aún puede encontrar soluciones aproximadas muy buenas (Bin Packing, por ejemplo). Dado eso, ¿hay alguna manera de medir qué tan "cercano" está un problema a un greedoid o matroid?
fuente