668
правок
Изменения
→Аксиоматическое определение
{{Определение
|definition=
'''Матроид''' — {{---}} пара <tex>\langle X,I \rangle</tex>, где <tex>X</tex> — {{---}} конечное множество, называемое '''носителем матроида''', а <tex>I</tex> — {{---}} некоторое множество подмножеств <tex>X</tex>, называемое семейством '''независимых множеств''' , то есть <tex>I \subset 2^X </tex>. При этом должны выполняться следующие условия:
# <tex>\varnothing \in I</tex>
# если <tex>A \in I </tex> и <tex> B \subset A</tex>, то <tex>B \in I</tex>
{{Определение
|definition=
'''База матроида''' — {{---}} максимальное по включению независимое множество.
}}
{{Определение
|definition=
'''Зависимое множество''' — {{---}} подмножество носителя матроида, не являющееся независимым.
}}
{{Определение
|definition=
'''Цикл матроида''' — {{---}} минимальное по включению зависимое множество.
}}
