Изменения

|-valign="center"

|[[Файл:GrafG.png|thumb|200px|Пример графа <tex>G</tex>.]]

|}

Изначально текущее паросочетание пусто. На каждом шаге алгоритма будем поддерживать следующий инвариант: в текущее найденное паросочетание входят те и только те ребра, которые направлены из <tex>R</tex> в <tex>L</tex>.

'''if''' dfs(py[y])

py[y] = x

'''return''' ''true''

'''return''' ''false''