Изменения
Нет описания правки
'''Граф замен''' — специальный [[Основные определения теории графов|ориентированный двудольный граф]], фигурирующий в [[Теорема Эдмондса-Лоулера|теореме Эдмондса-Лоулера]].
Пусть <tex>I</tex> — текущее независимое множество, построенное [[Алгоритм построения базы в пересечении матроидов|алгоритмом]] для матроидов даны матроиды <tex>M_1 = \langle S, I_1 \rangle</tex>, <tex>M_2 = \langle S, I_2 \rangle</tex>, множество <tex>I \in (I_1 \cap I_2)</tex>. Введем граф замен.
{{Определение
|definition =
