WikiDer > Встраивание матроидов
В комбинаторика, а вложение матроидов это установить систему (F, E), куда F это собрание возможные наборы, который удовлетворяет следующим свойствам:
- (Доступность Свойство) Каждое непустое допустимое множество Икс содержит элемент Икс такой, что Икс\{Икс} возможно;
- (Свойство расширяемости) Для каждого допустимого подмножества Икс из основа (т.е., максимально допустимый набор) B, какой-то элемент в B но не в Икс принадлежит к расширение доб (Икс) из Икс, где ext (Икс) - это множество всех элементов е не в Икс такой, что Икс∪{е} возможно;
- (Замыкание-конгруэнтность) Для каждого суперсет А возможного набора Икс не пересекается с ext (Икс), А∪{е} содержится в некотором допустимом наборе либо для всех, либо для всех е в ext (Икс);
- Совокупность всех подмножеств возможных множеств образует матроид.
Вложение матроидов было введено Хельман, Морет и Шапиро (1993) для характеристики проблем, которые можно оптимизировать жадный алгоритм.
Рекомендации
- Хельман, Пол; Морет, Бернард М. Э.; Шапиро, Генри Д. (1993), "Точная характеристика жадных структур", Журнал SIAM по дискретной математике, 6 (2): 274–283, CiteSeerX 10.1.1.37.1825, Дои:10.1137/0406021, МИСТЕР 1215233