
In
graph theory
In mathematics, graph theory is the study of '' graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are conn ...
, a minimum cut or min-cut of a
graph
Graph may refer to:
Mathematics
*Graph (discrete mathematics), a structure made of vertices and edges
**Graph theory, the study of such graphs and their properties
*Graph (topology), a topological space resembling a graph in the sense of discre ...
is a
cut (a
partition of the vertices of a graph into two disjoint subsets) that is minimal in some metric.
Variations of the minimum cut problem consider weighted graphs, directed graphs, terminals, and partitioning the vertices into more than two sets.
The weighted min-cut problem allowing both positive and negative weights can be trivially transformed into a weighted
maximum cut problem by flipping the sign in all weights.
__TOC__
Without terminal nodes
The minimum cut problem in
undirected
In discrete mathematics, and more specifically in graph theory, a graph is a structure amounting to a set of objects in which some pairs of the objects are in some sense "related". The objects correspond to mathematical abstractions called '' ...
, weighted graphs limited to non-negative weights can be solved in polynomial time by the
Stoer-Wagner algorithm. In the special case when the graph is unweighted,
Karger's algorithm provides an efficient randomized method for finding the cut. In this case, the minimum cut equals the
edge connectivity
In graph theory, a connected graph is -edge-connected if it remains connected whenever fewer than edges are removed.
The edge-connectivity of a graph is the largest for which the graph is -edge-connected.
Edge connectivity and the enumeration ...
of the graph.
A generalization of the minimum cut problem without terminals is the
minimum -cut, in which the goal is to partition the graph into at least connected components by removing as few edges as possible. For a fixed value of , this problem can be solved in polynomial time, though the algorithm is not practical for large .
With terminal nodes
When two terminal nodes are given, they are typically referred to as the ''source'' and the ''sink''. In a directed, weighted
flow network
In graph theory, a flow network (also known as a transportation network) is a directed graph where each edge has a capacity and each edge receives a flow. The amount of flow on an edge cannot exceed the capacity of the edge. Often in operations re ...
, the minimum cut separates the source and sink vertices and minimizes the total weight on the edges that are directed from the source side of the cut to the sink side of the cut. As shown in the
max-flow min-cut theorem, the weight of this cut equals the maximum amount of flow that can be sent from the source to the sink in the given network.
In a weighted, undirected network, it is possible to calculate the cut that separates a particular pair of vertices from each other and has minimum possible weight. A system of cuts that solves this problem for every possible vertex pair can be collected into a structure known as the
Gomory–Hu tree of the graph.
A generalization of the minimum cut problem with terminals is the -terminal cut, or multi-terminal cut. This problem is
NP-hard
In computational complexity theory, NP-hardness ( non-deterministic polynomial-time hardness) is the defining property of a class of problems that are informally "at least as hard as the hardest problems in NP". A simple example of an NP-hard pr ...
, even for
.
Applications
Graph partition
In mathematics, a graph partition is the reduction of a graph to a smaller graph by partitioning its set of nodes into mutually exclusive groups. Edges of the original graph that cross between the groups will produce edges in the partitioned graph ...
problems are a family of combinatorial optimization problems in which a graph is to be partitioned into two or more parts with additional constraints such as balancing the sizes of the two sides of the cut.
Segmentation-based object categorization can be viewed as a specific case of normalized min-cut
spectral clustering applied to
image segmentation. It can also be used as a generic
clustering method, where the nodes are data samples assumed to be taken from a
metric space
In mathematics, a metric space is a set together with a notion of '' distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general sett ...
and edge weights are their distances. This is however often impractical due do the high computational complexity for
.
Due to
max-flow min-cut theorem, 2 nodes' Minimum cut value is equal to their
maxflow value. In this case, some algorithms used in maxflow problem could also be used to solve this question.
Number of minimum cuts
A graph with
vertices can at the most have
distinct minimum cuts.
This bound is tight in the sense that a
(simple) cycle on
vertices has exactly
minimum cuts.
See also
*
Maximum cut
*
Vertex separator, an analogous concept to minimum cuts for vertices instead of edges
References
{{set index article
Graph theory objects
Network flow problem