Editing Augmenting path

An [[augmenting path]] in a flow network is a path from the source to the sink in the residual network for some flow. It is so named because it is possible to ''augment'' (increase) the value of the flow by combining the existing flow with additional flow along the augmenting path.

==Augmenting a flow==
Let <math>f</math> be a flow in the flow network <math>(V, s, t, c)</math>. Let <math>(V, s, t, r)</math> be the residual network corresponding to <math>f</math>. Now consider an augmenting path <math>(s = v_0, v_1, \ldots, v_n = t)</math> in the residual network. We will assume that the augmenting path is simple. Since edges must have positive capacity, the minimum residual capacity along all arcs on the augmenting path, <math>c_m = \min_i c(v_i, v_{i+1})</math>, is positive.

We define the augmented flow <math>f'</math> as follows: <math>f'(u, v) = f(u, v) + c_m</math> if the edge <math>(u, v)</math> is in the augmenting path; <math>f'(u, v) = f(u, v) - c_m</math> if the reverse edge <math>(v, u)</math> is in the augmenting path, and, otherwise, <math>f'(u, v) = f(u, v)</math>.

'''Proposition''': The augmented flow <math>f'</math> is an admissible flow. Furthermore, <math>\sum_{v \in V} f'(s, v) = c_m + \sum_{v \in V} f(s, v)</math>; that is, the augmented flow's value is greater than the original flow's value by <math>c_m</math>.

'''Proof''':
# '''Capacity'''. If <math>f(u, v) \leq c(u, v)</math>, then clearly <math>f'(u, v) \leq c(u, v)</math> whenever <math>f'(u, v) = f(u, v) - c_m</math> or <math>f'(u, v) = f(u, v)</math>. We only need to check the case <math>f'(u, v) = f(u, v) + c_m</math>. In this case, <math>(u, v)</math> is an edge in the augmenting path. By definition of <math>c_m</math>, we have that <math>c_m \leq r(u, v)</math>. Therefore <math>f'(u, v) \leq f(u, v) + r(u, v) = f(u, v) + c(u, v) - f(u, v) = c(u, v)</math>, as required.
# '''Skew symmetry'''. Let <math>(u, v)</math> be an edge. If <math>(u, v)</math> is an edge in the augmenting path, then <math>f'(u, v) = f(u, v) + c_m = -f(v, u) + c_m = -(f(v, u) - c_m) = -f'(v, u)</math>. If on the other hand <math>(v, u)</math> is in the augmenting path, then <math>f'(u, v) = f(u, v) - c_m = -f(v, u) - c_m = -(f(v, u) + c_m) = -f'(v, u)</math>. If neither is true, then <math>f'(u, v) = f(u, v) = -f(v, u) = -f'(v, u)</math>.
# '''Flow conservation''': Let <math>v</math> be a vertex other than the source or sink. If <math>v</math> is not in the augmenting path, then all flows into <math>v</math> are unchanged, and conservation is maintained. If <math>v</math> is in the augmenting path, then (since <math>v \notin \{s, t\}</math>) it must be preceded by a vertex <math>v_p</math> and followed by a vertex <math>v_n</math> in the augmenting path. Then <math>f'(v_p, v) = f(v_p, v) + c_m</math>, <math>f'(v_n, v) = f(v_n, v) - c_m</math>, and all other flows into <math>v</math> are unchanged. Since one inward flow is incremented and another decremented by the same amount, conservation is maintained.

Finally, consider the value of the augmented flow, <math>\sum_{v \in V} f'(s, v)</math>. The source is always the first vertex in the augmenting path. Thus, <math>\sum_{v \in V} f'(s, v) = f'(s, v_1) + \sum_{v \in V-\{v_1\}} f'(s, v) = c_m + f(s, v_1) + \sum_{v \in V-\{v_1\}} f'(s, v) = c_m + \sum_{v \in V} f(s, v)</math>. <math>_\blacksquare</math>

Intuitively, augmenting the flow corresponds to "pushing additional flow" along the augmenting path using residual capacity. The augmented flow is then the overall result of pushing both the original flow and the additional flow.