This post is adapted from a homework problem in my algorithms class. The goal is to find a best min in a flow network , where a best min cut is defined to be a min cut with the minimum number of crossing edges.
The solution comes from analyzing the behavior of cuts when we perturb in both an additive and multiplicative manner. We define the additive perturbation by as the flow network , where all capacities increase by an additive factor of . We define the multiplicative perturbation by as the flow network , where all capacities increase by a multiplicative factor of . The underlying observation is that cuts are purely topological, while our perturbations affect only the value of the capacities. (In particular, we're not in the business of taking graph limits.) Therefore, cuts will be preserved by our perturbations, but their values will not.
Let be a cut in with a total capacity of , where is the capacity of the th crossing edge. When we perturb our flow multiplicatively by , the value of in becomes by the distributive property. It's important to note that min cuts in will remain min cuts in for , since multiplication by is monotonic. When we perturb the flow network additively by , the value of in becomes
Note the term counts of the number of edges between a cut, up to a scaling factor of . However, for the same reason, minimality may be destroyed. Consider the case where we have a cut with a single edge of capacity in , and a best min cut has capacity and edges. Therefore, in . However, looking at the value of these cuts in , it is no longer true that the inequality
necessarily holds if is large enough. This dependence on can cause arbitrarily large additive errors. For this reason, we cannot look for best min cuts in , but we must look in to for large enough . Scaling up the capacities first will cause any additive errors to be small.
For concreteness, we pin down additive the scaling factor as , and it turns out will be a large enough scaling prefactor. Let denote the flow network . Let be an non-minimal cut in with value and edges, and let be a best minimal cut with value . In particular, . It follows that
where the last line follows because can have at most crossing edges. This proves that non-minimal cuts in will remain non-minimal cuts in . Therefore, a minimal cut in corresponds to a best minimal cut in .