Изменения

==Разделенный матроидМатроид разбиений==

Пусть <tex>X = \bigcup\limits_{i=_1}^n X_i</tex>, при этом <tex> X_i \cap X_j = 0</tex>, <tex>\forall i \neq j,</tex> и <tex>k_1 \dots k_n</tex> — положительные целые числа. <tex>I = \mathcal{f} A \subset X \mid \left\vert A \cap X_i \right\vert \leqslant k_i, \forall i: 1 \leqslant i \leqslant n \mathcal {g}</tex>. Тогда <tex>M = \langle X, I \rangle </tex> называют '''разделенным матроидом разбиений (partition matroid)'''

|statement = Разделенный матроид Матроид разбиений является матроидом.

Пусть <tex>G = \langle V, E \rangle</tex> — неориентированный граф. <tex>I = \mathcal{f} A \subset V \mid \exists</tex> паросочетание <tex>P</tex>, покрывающее <tex>A \mathcal {g}</tex>. Тогда <tex>M = \langle V, I \rangle </tex> называют '''матроидои матроидом паросочетаний (matching matroid)'''.