The Ford Fulkerson Method from CLRS
Zachary Couvillion
Exercises
26.2-1
In Figure 26.1(b), what is the flow across the cut ({π , π£2 , π£4 }, {π£1 , π£3 , π‘})? What is
the capacity of this cut?
Solution
Flow: 19
Capacity: 41
26.2-2
Show the execution of the Edmonds-Karp algorithm on the flow network of Figure
26.1(a).
Solution
26.2-3
In the example of Figure 26.5, what is the minimum cut corresponding to the
maximum flow shown? Of the augmenting paths appearing in the example, which
two cancel flow?
Solution
({π , π£1 , π£2, π£4 }, {π£3 , π‘})
26.2-4
Prove that for any pair of vertices u and v and any capacity and flow functions c
and f, we have ππ (π’, π£) + ππ (π£, π’) = π(π’, π£) + π(π£, π’).
Solution
ππ (π’, π£) + ππ (π£, π’) = π(π’, π£) β π(π’, π£) + π(π£, π’) β π(π£, π’)
ππ (π’, π£) + ππ (π£, π’) = π(π’, π£) + π(π£, π’) β (π(π’, π£) + π(π£, π’))
ππ (π’, π£) + ππ (π£, π’) = π(π’, π£) + π(π£, π’)
26.2-5
Recall that the construction in Section 26.1 that converts a multisource, multisink
flow network into a single-source, single-sink network adds edges with infinite
capacity. Prove that any flow in the resulting network has a finite value if the
edges of the original multisource, multisink network have finite capacity.
Solution
There are no edges (π , π£) if v is not some π π . For each π π , π(π π , π β π ) is finite, so
π(π , π β π ) is finite.
26.2-6
Suppose that each source π π in a multisource, multisink problem produces exactly
ππ units of flow, so that π(π π , π) = ππ . Suppose also that each sink π‘π consumes
exactly ππ units, so that π(π, π‘π ) = ππ , where βπ ππ = βπ ππ . Show how to convert
the problem of finding a flow f that obeys these additional constraints into the
problem of finding a maximum flow in a single-source, single-sink flow network.
Solution
Add a supersource s and a supersink t such that π(π , π π ) = β and π(π‘π , π‘) = β.
26.2-7
Prove Lemma 26.3
Solution
ππ meets the capacity constraint of πΊπ as ππ will never exceed the minimum
capacity of some edge (π’, π£) on p by definition of ππ (π). Skew symmetry is
explicitly stated as for each ππ (π’, π£) there is βππ (π£, π’). Flow conservation is
implied by skew symmetry. |ππ | = ππ (π) > 0 as ππ (π) for any p in for any p in πΊπ
will be positive or else the path will be incomplete. Suppose that some ππ (π’, π£) β€
0, then there is no path π β π‘ through (π’, π£) in πΊπ , so ππ (π) > 0.
26.2-8
Show that a maximum flow in a network πΊ = (π, πΈ) can always be found by a
sequence of at most |πΈ| augmenting paths.
Solution
Once a path is augmented, it cannot be augmented again until its flow is reduced.
An augmentation will always leave some ππ (π’, π£) = 0. The edge (π’, π£) then
cannot appear again in some πΊπ ; (π’, π£) β πΈπ . Each augmentation deletes at least
one edge from πΊπ . The most extreme case is one such that each path p in πΊπ π β
π‘ is comprised of exactly one edge. Therefore, each augmentation must delete
exactly one edge while only deleting exactly one path as the number of paths is
|πΈπ |.
26.2-9
The edge connectivity of an undirected graph is the minimum number k of edges
that must be removed to disconnect the graph. For example, the edge
connectivity of a tree is 1, and the edge connectivity of a cyclic chain of vertices is
2. Show how the edge connectivity of an undirected graph πΊ = (π, πΈ) can be
determined by running a maximum-flow algorithm on at most |π| flow networks,
each having π(π) vertices and π(πΈ) edges.
Solution
The edge connectivity of some graph πΊ = (π, πΈ) is the minimum number of edges
over some minimum cut of πΊπ , where πΊπ is some flow network in which ππ = π
and (π’, π£) β πΈπ and (π£, π’) β πΈπ for each (π’, π£) β πΈ. ππ (π’, π£) = 1 for each (π’, π£) β
πΈπ . For all πΊπ , π‘ β π and remains constant where π = π π for each π π β π.
The edge connectivity of a graph depends on the connectivity between individual
nodes. If the number of edges over the minimum cut (π, π) where π π β π and π‘ β
π is k, then there must be k paths between π π and π‘ that must be broken. This is
due to the fact that each edge has a capacity of one, and paths cannot βshare
edgesβ; otherwise, removing the shared edge would break multiple paths. More
precisely, capacity constraint will delete some edge (π’, π£) β πΈπ from path π: π β
π’ β π£ β π‘ in πΊππ . The next path to consider need not include (π’, π£) as ππ (π’, π£) =
ππ (π’, π£) and πππ (π’, π£) = 0. Once the two nodes with the fewest distinct paths are
found, the edge connectivity is found.
Every possible π π must be considered unless some minimum cut yields one edge.
Therefore, at most |π| flow networks must be constructed, each with a unique π π .
26.2-10
Suppose that a flow network πΊ = (π, πΈ) has symmetric edges, that is, (π’, π£) β πΈ
if and only if (π£, π’) β πΈ. Show that the Edmonds-Karp algorithm terminates after
at most |π||πΈ|/4 iterations.
Solution
From the time (π’, π£) becomes critical to the next time it becomes critical, πΏ(π , π’)
and πΏ(π£, π‘) increases by at least 2. The maximum number augmentations is |π|/4,
so |π||πΈ|/4 iterations are possible.
© Copyright 2026 Paperzz