Изменения

Перейти к: навигация, поиск

Оператор замыкания для матроидов

74 байта добавлено, 17:58, 14 июня 2014
м
Нет описания правки
{{Определение
|definition = Пусть <tex>M =\; \langle X,I \rangle</tex> {{---}} [[Определение матроида|матроид]]. Тогда '''замыкание''' (англ. ''closure'') множества <tex>A \subseteq X</tex> {{---}} это множество <tex>\langle A \rangle \subseteq X</tex> такое, что <tex>\langle A \rangle = A \cup \mathcal {f} x \in X \; |\; \exists H \subseteq A :\ H \in I ,\; H \cup x \notin I \mathcal {g}</tex>
}}
Другими словами, замыкание множества <tex> A </tex> {{---}} это все элементы из <tex> A , </tex> плюс а также такие <tex> x \in X, </tex> которые при добавлении к некоторым независимым подмножествам <tex> A </tex> не оставляют их независимыми.
== Закрытые множества ==
{{Определение
|definition = Множество <tex>A \subseteq X</tex> называется '''закрытым''' (англ. ''closed set'', ''flat''), если <tex> span(A) = A. </tex> Класс закрытых множеств обозначается <tex> \mathcal L . </tex>
}}
}}
== Примечания Смотри также ==<references/>[[Покрытия, закрытые множества]]
== Источники информации ==
308
правок

Навигация