Let denote the set of nonnegative reals.
Let be a network that consists of a simple directed graph with a vertex set and an edge set and a capacity function .
For vertex subsets , let denote the set of edges that leave a vertex in and enter a vertex in .
For two designated vertices , an -flow is defined to be a function which satisfies the following:
The flow value of an -flow f is defined to be
An -cut is defined to be a vertex subset such that and , and its capacity is defined to be
Answer the following questions.
(i) Prove that for any -flow and any -cut
holds.
(ii) For a given -flow , show how to construct its residual network .
(iii) For an -flow such that the residual network has no directed path from to , let denote the set of all vertices reachable from in . Prove that holds in .
(iv) Let be an -cut with the minimum capacity in . Prove that no vertex in is reachable from in the residual network in (iii).
(a) All outgoing edges from the cut must be fully saturated.
(b) All incoming edges to the cut must have zero flow.
Assume that there exists an outgoing edge , , such that it is not saturated, i.e. .
This implies that there exists an edge , , , therefore there exists a path from to , which is contradictory to the definition of .
Hence, any outgoing edge is fully saturated.
Assume that there exists an incoming edge , , such that it carries some non-zero flow, i.e. .
This implies that there exists an edge , , , therefore there exists a path from to , which is contradictory to the definition of .
Hence, any incoming edge must have zero flow.