Vkládání matroidů - Matroid embedding
v kombinatorika, a vkládání matroidů je nastavený systém (F, E), kde F je sbírka proveditelné sady, který splňuje následující vlastnosti:
- (Vlastnost přístupnosti) Každá neprázdná proveditelná sada X obsahuje prvek X takhle X\{X} je proveditelné;
- (Vlastnost rozšiřitelnosti) Pro každou proveditelnou podmnožinu X a základ (tj., maximální proveditelná sada) B, nějaký prvek v B ale ne v X patří do rozšíření ext (X) z X, kde ext (X) je sada všech prvků E ne v X takhle X∪{E} je proveditelné;
- (Vlastnost uzavření-kongruence) Pro každého nadmnožina A proveditelné sady X disjunkt z ext (X), A∪{E} je obsažen v nějaké proveditelné sadě pro všechny nebo pro ne E v ext (X);
- Shromažďování všech podskupin proveditelných sad tvoří a matroid.
Vkládání matroidů zavedlo Helman, Moret a Shapiro (1993) charakterizovat problémy, které lze optimalizovat pomocí a chamtivý algoritmus.
Reference
- Helman, Paul; Moret, Bernard M. E.; Shapiro, Henry D. (1993), „Přesná charakteristika chamtivých struktur“, SIAM Journal on Discrete Mathematics, 6 (2): 274–283, CiteSeerX 10.1.1.37.1825, doi:10.1137/0406021, PAN 1215233