Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Theorem

Menger's Theorem

Combinatorics and Graph Theory

In a finite graph, the maximum number of pairwise vertex-disjoint paths between two non-adjacent vertices equals the minimum number of vertices whose removal disconnects them. Proved by Karl Menger, it is a foundational connectivity result of graph theory, later shown to be a special case of the max-flow min-cut theorem.

Facts
Statement
In the mathematical discipline of graph theory, Menger's theorem says that in a finite graph, the size of a minimum cut set is equal to the maximum number of disjoint paths that can be found between any pair of vertices. 2
Proof Year
1927 2
Classification
Statement Form
Identity or Equation 1
Connections

Has Statement Form

Equation, Concepts

Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.

Identity, Concepts

Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.

In Branch

Sources
1. Wikipedia: Menger's theorem
WikipediaLead section, statement-form reference
Quote, Lead section, statement-form reference
In the mathematical discipline of graph theory, Menger's theorem says that in a finite graph, the size of a minimum cut set is equal to the maximum number of disjoint paths that can be found between any pair of vertices.
View the Source
2. Menger's Theorem (Wikipedia)
Wikimedia Foundation
  • Lead section, first sentence
    In the mathematical discipline of graph theory, Menger's theorem says that in a finite graph, the size of a minimum cut set is equal to the maximum number of disjoint paths that can be found between any pair of vertices.
  • Lead section, second sentence
    Proved by Karl Menger in 1927, it characterizes the connectivity of a graph.
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.