Number of independent paths between two vertices (the connectivity) gives measure of how strongly connected they are. Paths can be vertex-independent if they share no vertex (other than starting or ending vertices), or edge-independent if they share no edge.
A vertex (edges) cut set is a set of vertices (edges) that if removed will disconnect a specified pair of vertices. A minimum cut set is the smallest such set for the vertices (or set of vertices..). For weighted networks a minimum cut set is the set of such vertices that have the least total weight.
See more here
Menger's theorem:
If there is no cut set of size less than , then there are at least independent paths.
This actually implies that size of the minimum cut set () equals the connectivity of two vertices (): . . . In particular . However if , we need to cut at least vertices/edges, so . .
The maximum flow if the network were made of water pipes (Flow in a network) between two vertices is the number of edge-independent paths times the maximum flow of a single pipe can sustain, or pipe capacity, . Let be size of minimum edge cut set. Clearly, is a lower bound for this max flow, since each independent path will independently carry max flow .. Also, if we remove an edge that forms part of a path between them, we must decrease the flow by at most . Thus, if we remove the edges from the minimum cut set, we decrease the flow by at most , but this must remove all flow. Hence total capacity is at most , which is then an upper bound. is both an upper and lower bound, and hence the maximum flow must equal . This is the max-flow/min-cut theorem, for special case of the same capacity for all pipes.
The maximum flow between a given pair of vertices in a network is equal to the sum of the weights on the edges of the minimum edge cut set that separates the same two vertices. |
The max-flow/min-cut theorem can be generalized to weighted networks. This can be shown by transforming the weighted network into a multigraph.
See more here: Max-flow min-cut theorem, Flow in a network
This result is useful because some computer algorithms (maximum flow algorithms) can compute maximum flow easily. But, by result above, they also calculate the minimum cut set size, and the connectivity, which can be used to find clusters in networks. This is in fact the current standard numerical method for connectivities and cut sets.
The max-flow/min-cut theorem has been used in a polynomial-time algorithm for finding ground states of the thermal random-field Ising model. See reference [257] in Newman's book.