Изменения

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

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

1 байт убрано, 13:29, 13 июня 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> оставляет некоторые независимые множества максимальными по включениюне оставляют их независимыми.
308
правок

Навигация