Menger theorem in graph theory
E735111
Menger's theorem in graph theory is a fundamental result that characterizes the connectivity between two vertices in a graph by equating the maximum number of pairwise internally disjoint paths between them with the minimum size of a vertex cut separating them.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| Menger's theorem (graph theory) | 0 |
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
result in combinatorics
ⓘ
theorem in graph theory ⓘ |
| appliesTo |
finite graphs
ⓘ
undirected graphs ⓘ |
| assumes | simple undirected graph in standard formulations ⓘ |
| characterizes | connectivity between two vertices in a graph ⓘ |
| equates |
maximum number of pairwise internally vertex-disjoint paths between two vertices
ⓘ
minimum size of a vertex separator between the two vertices ⓘ |
| field |
combinatorics
ⓘ
graph theory ⓘ |
| hasEdgeVersionStatement | for any two distinct vertices s and t, the maximum number of pairwise edge-disjoint s–t paths equals the minimum size of an s–t edge cut ⓘ |
| hasFormulation |
edge version
ⓘ
global vertex version ⓘ local vertex version ⓘ |
| hasGeneralization | infinite graphs (with additional conditions) ⓘ |
| hasGlobalVertexVersionStatement | the vertex connectivity of a finite graph equals the minimum, over all pairs of distinct vertices, of the size of a smallest vertex cut separating them ⓘ |
| hasLocalVertexVersionStatement | for any two nonadjacent vertices s and t, the maximum number of pairwise internally vertex-disjoint s–t paths equals the minimum size of an s–t vertex cut ⓘ |
| hasProofMethod |
combinatorial arguments
ⓘ
reduction to max-flow min-cut (modern proofs) ⓘ |
| implies |
a graph is k-vertex-connected if and only if every pair of vertices has at least k internally vertex-disjoint paths between them
ⓘ
edge connectivity equals minimum size of an edge cut separating some pair of vertices ⓘ vertex connectivity equals minimum size of a vertex cut separating some pair of vertices ⓘ |
| influenced |
development of connectivity theory in graphs
ⓘ
network flow theory ⓘ |
| involvesConcept |
internally disjoint paths
ⓘ
separating set of edges ⓘ separating set of vertices ⓘ |
| isTaughtIn |
advanced undergraduate graph theory courses
ⓘ
graduate combinatorics courses ⓘ |
| namedAfter | Karl Menger NERFINISHED ⓘ |
| publishedIn | Fundamenta Mathematicae NERFINISHED ⓘ |
| relatedTo |
Whitney's theorem on 2-connectivity
NERFINISHED
ⓘ
edge connectivity ⓘ max-flow min-cut theorem NERFINISHED ⓘ vertex connectivity ⓘ |
| relates |
maximum number of pairwise internally vertex-disjoint paths
ⓘ
minimum size of a vertex cut separating two vertices ⓘ |
| topic |
disjoint paths
ⓘ
edge connectivity ⓘ edge cuts ⓘ graph connectivity ⓘ vertex connectivity ⓘ vertex cuts ⓘ |
| usedIn |
flow networks
ⓘ
graph algorithms ⓘ network reliability theory ⓘ routing and communication networks ⓘ |
| yearProved | 1927 ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Karl Menger