Изменения

Аналогично предыдущей идее, однако будем удалять в процессе обхода в глубину из графа все рёбра, вдоль которых не получится дойти до стока <tex>t</tex>. Это очень легко реализовать: достаточно удалять ребро после того, как мы просмотрели его в обходе в глубину (кроме того случая, когда мы прошли вдоль ребра и нашли путь до стока). С точки зрения реализации, надо просто поддерживать в списке смежности каждой вершины указатель на первое неудалённое ребро, и увеличивать этот указать в цикле внутри обхода в глубину. Корректность при этом сохраняется согласно предыдущему пункту.

{

<tex>p := [s]</tex> //путь <tex>p</tex>

<tex>v := s</tex>; //текущая вершина и указатель на вершину первого неудалённого ребра

завершить алгоритм;

{

удалить <tex>(uv)</tex> из <tex>V(G)</tex>; //<tex>uv</tex> - последнее ребро на пути <tex>p</tex>

}

{

//<tex>w</tex> - вершина смежная с <tex>v</tex>

<tex>v := w;</tex>

}

<tex>\delta := min(c(vw) - f(vw), (vw)\in p);</tex>

<tex>f(vw)+= \delta;</tex> //увеличиваем поток вдоль пути <tex>p</tex>

<tex>if</tex> (ребро <tex>(vw)</tex> насыщено)

удалить <tex>(vw)</tex> из <tex>V(G);</tex>

}