text: На каждом шаге или модифицируется y {\displaystyle y\ } так, что увеличивается множество вершин Z {\displaystyle Z\ } , определённое в следующем абзаце, или изменяется ориентация, чтобы получить паросочетание с большим количеством рёбер; всегда остаётся верным, что все рёбра из M {\displaystyle M\ } являются жёсткими.