Perturbations to Flow Networks

We discuss how to find a min cut with the minimum number of edges via a perturbative argument on flow networks.

5 March 2025

This post is adapted from a homework problem in my algorithms class. The goal is to find a best min in a flow network GG, 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 GG in both an additive and multiplicative manner. We define the additive perturbation by α\alpha as the flow network G+αG+\alpha, where all capacities increase by an additive factor of α\alpha. We define the multiplicative perturbation by β\beta as the flow network βG\beta G, where all capacities increase by a multiplicative factor of β\beta. 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 CC be a cut in GG with a total capacity of c=i=1kcic=\sum_{i=1}^k c_i, where cic_i is the capacity of the iith crossing edge. When we perturb our flow multiplicatively by β\beta, the value of CC in βG\beta G becomes βc\beta c by the distributive property. It's important to note that min cuts in GG will remain min cuts in βG\beta G for β>0\beta >0, since multiplication by β\beta is monotonic. When we perturb the flow network additively by α\alpha, the value of CC in G+αG+\alpha becomes

i=1k(ci+α)=c+kα.\begin{equation} \sum_{i=1}^k(c_i+\alpha)=c+k\alpha. \end{equation}

Note the term kαk\alpha counts of the number of edges between a cut, up to a scaling factor of α\alpha. However, for the same reason, minimality may be destroyed. Consider the case where we have a cut with a single edge of capacity dd in GG, and a best min cut has capacity cc and kk edges. Therefore, cdc\leq d in GG. However, looking at the value of these cuts in G+αG+\alpha, it is no longer true that the inequality

c+kαd+α\begin{equation} c+k\alpha \leq d+\alpha \end{equation}

necessarily holds if kk is large enough. This dependence on kk can cause arbitrarily large additive errors. For this reason, we cannot look for best min cuts in G+αG+\alpha, but we must look in to βG+α\beta G+\alpha for large enough β\beta. Scaling up the capacities first will cause any additive errors to be small.

{}

For concreteness, we pin down additive the scaling factor as α=1\alpha=1, and it turns out β=E+1\beta=|E|+1 will be a large enough scaling prefactor. Let HH denote the flow network (E+1)G+1(|E|+1)G+1. Let DD be an non-minimal cut in GG with value dd and \ell edges, and let CC be a best minimal cut with value cc. In particular, dc+1d\geq c+1. It follows that

valH(D)=(E+1)d+(E+1)d(E+1)(c+1)(E+1)c+EvalH(C),\begin{equation} \begin{split} val_{H}(D)=(|E|+1)d+\ell&\geq (|E|+1)d\\ &\geq(|E|+1)(c+1)\\ &\geq (|E|+1)c + |E|\\ &\geq val_H(C), \end{split} \end{equation}

where the last line follows because CC can have at most E|E| crossing edges. This proves that non-minimal cuts in GG will remain non-minimal cuts in HH. Therefore, a minimal cut in HH corresponds to a best minimal cut in GG.