Дополняющая сеть, дополняющий путь

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

Остаточной пропускной способностью ребра [math](u, v)[/math] называется величина дополнительного потока, который мы можем направить из [math] u [/math] в [math] v [/math], не превысив пропускную способность [math] c(u, v) [/math]. Иными словами [math] c_f(u, v) = c(u, v) - f(u, v) [/math].

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

Для заданной транспортной сети [math]G=(V,E)[/math] и потока [math]f[/math], дополняющей сетью (residual network) в [math]G[/math], порожденной потоком [math]f[/math], является сеть [math]G_f=(V,E_f)[/math], где [math]E_f=\{(u,v) \in V\times V : c_f(u, v) \gt 0\}[/math]

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

Для заданных транспортной сети [math]G=(V,E)[/math] и потока [math]f[/math] дополняющим путем (augmenting path) [math]p[/math] является простой путь из истока в сток в остаточной сети [math]G_f=(V,E_f)[/math].