Изменения

|definition= '''Паросочетание ''' в двудольном графе - произвольное множество ребер двудольного графа, такое что никакие два ребра не имеют общей вершины. Обозначается паросочетание как <tex>M</tex>.}}

|definition= Вершины двудольного графа, инцидентные ребрам <tex>M</tex>, называются '''покрытыми''', а неинцидентные - '''свободными'''.}}

|definition= '''Чередующаяся цепь ''' - путь в двудольном графе, для любых двух соседних ребер которого выполняется, что одно из них принадлежит паросочетанию <tex>M</tex>, а другое нет.}}

|definition= '''Дополняющая цепь ''' - чередующаяся цепь, у которой оба конца свободны.}}