Изменения
Нет описания правки
'''Матроид''' — пара <tex>(X,I)</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># Если ссли <tex>A,B \in I</tex> и <tex>|A| > |B|</tex>, то <tex> \exists \, x \in A \setminus B</tex> такой, что <tex>: B \cup \{x\} \in I</tex>
}}
