メンガーの定理
#グラフ理論
メンガーの定理
グラフ
$ G
の非隣接点
$ u,v
を分離する頂点の集合の最小の大きさと、
$ u,v
を結ぶ内素な(端点以外は共有点を持たない
道の最大本数は等しい