Once an augmenting path is found that involves one of the vertices in F {\displaystyle F}, the DFS is continued from the next starting vertex. |
Как только увеличивающий путь войдёт в одну из вершин F {\displaystyle F}, следует начать DFS от следующей вершины. |
Finally, it locates an augmenting path P' in the contracted graph (line B22) and lifts it to the original graph (line B23). |
Наконец, алгоритм обнаруживает увеличивающий путь Р' в сжатом графе (строка B22) и поднимает его в исходном графе (строка B23). |
Thus, whenever there exists a matching M {\displaystyle M^{ }} larger than the current matching M {\displaystyle M}, there must also exist an augmenting path. |
Итак, если существует паросочетание М {\displaystyle M^{ }}, большее текущего паросочетания M {\displaystyle M}, также должен существовать увеличивающий путь. |
However, instead of finding just a single augmenting path per iteration, the algorithm finds a maximal set of shortest augmenting paths. |
Вместо того чтобы находить один увеличивающий путь, алгоритм находит максимальное множество кратчайших увеличивающих путей. |
In each iteration the algorithm either (1) finds an augmenting path, (2) finds a blossom and recurses onto the corresponding contracted graph, or (3) concludes there are no augmenting paths. |
На каждой итерации алгоритм либо (1) находит увеличивающий путь, либо (2) находит цветок и осуществляет рекурсию в сжатый граф, либо (3) делается вывод, что увеличивающего пути не существует. |