Изменения

{{Определение

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

{{Теорема

|statement=

Паросочетание <tex>M</tex> в двудольном графе <tex>G</tex> является максимальным тогда и только тогда, когда в <tex>G</tex> нет дополняющей цепи.