Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/ib/paper-4/20h/solution

A cut is a partition of the vertices with the source in and sink in ; its capacity is the sum of capacities of directed edges from to . The max-flow min-cut theorem says that maximum flow value equals minimum cut capacity. With integral capacities, there is an integral max-flow theorem attaining the maximum.
Construct a bipartite graph with one vertex for each row and column and an edge whenever . Add source-to-row and column-to-sink edges of capacity , and give row-to-column edges infinite capacity. An integral flow is precisely a set of independent s, so its maximum value is the largest such set.
A finite-capacity cut places some rows on the sink side and some columns on the source side; these lines cover every , since an uncovered row-to-column edge would cross the cut with infinite capacity. Its capacity is the number of selected lines. Conversely every line cover defines such a cut. Max-flow min-cut therefore proves the maximum number of independent s equals the minimum number of covering lines, the matrix form of König's theorem for bipartite matching.

New to topics? Read the docs here!