4625
правок
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
Строка 1: | Строка 1: | ||
'''Матроид''' (''[[Matroid]]'') | '''Матроид''' (''[[Matroid]]'') — | ||
комбинаторный объект, представляющий собой пару <math>(E, {\mathcal | комбинаторный объект, представляющий собой пару <math>(E, {\mathcal | ||
B})</math>, где | B})</math>, где | ||
<math>E</math> | <math>\,E</math> — конечное непустое множество элементов матроида, а <math>{\mathcal B}</math> | ||
— непустое множество его подмножеств (называемых ''[[база|базами]]''), | |||
удовлетворяющее следующим двум условиям (аксиомы баз): | удовлетворяющее следующим двум условиям (аксиомы баз): | ||
'''B1.''' Никакая из баз не содержится в другой базе. | '''B1.''' Никакая из баз не содержится в другой базе. | ||
'''B2.''' Если <math>B_{1}</math>и <math>B_{2}</math> | '''B2.''' Если <math>\,B_{1}</math>и <math>\,B_{2}</math> — базы, то для любого элемента <math>b | ||
\in B_{1}</math> существует такой элемент <math>c \in B_{2}</math>, что <math>(B_{1} | \in B_{1}</math> существует такой элемент <math>c \in B_{2}</math>, что <math>(B_{1} | ||
\setminus b) \cup c</math> | \setminus b) \cup c</math> — также база. | ||
Существуют другие эквивалентные определения матроида, например, через | Существуют другие эквивалентные определения матроида, например, через | ||
Строка 20: | Строка 20: | ||
==См. также == | ==См. также == | ||
''[[Бинарный матроид]], [[Графический матроид]], [[Кографический матроид]], [[Планарный матроид]]'' | * ''[[Бинарный матроид]],'' | ||
* ''[[Графический матроид]],'' | |||
* ''[[Кографический матроид]],'' | |||
* ''[[Планарный матроид]].'' | |||
==Литература== | ==Литература== | ||
* Лекции по теории графов / В.А.Емеличев, О.И.Мельников, В.И.Сарванов, Р.И.Тышкевич. — М.: Наука, 1990. | |||
* Липский В. Комбинаторика для программистов. — М.: Мир, 1988. | |||
* Свами М., Тхуласираман К. Графы, сети и алгоритмы. — М.: Мир, 1984. |