Изменения

*функция <tex>\mathtt{alternatingCycle}</tex> принимает три параметра: граф, совершенное паросочетание и ребро. Возвращает альтернативный цикл, включающий в себя данное ребро и обновляет совершенное паросочетание,

*функция <tex>\mathtt{reductions}</tex> сокращает граф,

*функция <tex>\mathtt{reductedGraph}</tex> принимает три параметра: граф, удаляемые вершины, добавляемые рёбра. Возвращает новый граф, у которого удалены выбранные вершины, вместе c инцидентными рёбрами и добавлены другие рёбра, переданные в параметрах. При этом исходный граф не меняется.

<tex>C =</tex> alternatingCycle<tex>(G, M, r[0])</tex>

<tex>M = M \oplus C</tex>

'''return''' <tex>M</tex>