3622
правки
Изменения
м
→Пояснения к доказательству
# В <tex>H_R</tex> входят только насыщенные вершины.
# <tex>N(H_L) = H_R</tex>
# В <tex>H_L</tex> по карйней крайней мере <tex>H_R+1</tex> вершин ("соседи" по паросочетанию для каждой вершины из <tex>H_R</tex> и ещё одна вершина, которую пытаемся добавить).
Цепь {4, 7, 3, 8} является удлиняющей для текущего паросочетания.
