До тех пор, пока Пусть множество <tex>J\in (I_1 \cap I_2)</tex> не максимально (не удовлетворяет критерию из [[Теорема Эдмондса-Лоулера|теоремы Эдмондса-Лоулера]]), будем итерировать следующий алгоритм:
<br>Определим [[Граф замен для двух матроидов|граф замен]] <tex>D_{M_1, M_2}(J) = (S, A(J))</tex>, где
<tex>A(J) = \{(y, z) | y \in S, z \in S\setminus J, J - y + z \in I_1 \} </tex>
