En théorie des graphes, le théorème de Menger est à l'origine du théorème flot-max/coupe-min qui le généralise. Il fut prouvé par Karl Menger en 1927..
Énoncé
Le théorème de Menger s'énonce ainsi :
Résultat lié Le théorème d'Erdős-Pósa est de même nature que celui de Menger, il relie la taille maximale d'une collection de cycles disjoints à la taille minimale d'un coupe-cycles de sommets (feedback vertex set).
Notes et références
Bibliographie Articles
.
Manuels et vulgarisation
J. A. Bondy et U.S.R. Murty, Graph Theory with Applications, libre d'accès uniquement pour l'usage personnel
Menger
de:Schnitt (Graphentheorie)#Disjunkte Wege und Schnitte