Menger theorem Let u and v be nonadjacent vertices in a graph G.The minimum number of vertices in a u-v separating set equals the maximum number of internally dis joint uv paths in G. 证明要点： 1,对图的边数(siz)进行归纳： 2,对“分离点集”中的点的特殊性进行分别分析： 1)存在和uV直接相邻的点： 2)同时存在一个不和u相邻的点以及存在一个不和相邻的点 3)所有的点要么和u相邻，要么和V相邻Menger theorem Let u and v be nonadjacent vertices in a graph G. The minimum number of vertices in a u-v separating set equals the maximum number of internally disjoint u-v paths in G. 证明要点： 1，对图的边数(size)进行归纳； 2，对“分离点集”中的点的特殊性进行分别分析： 1）存在和uv直接相邻的点； 2）同时存在一个不和u相邻的点以及存在一个不和v相邻的点 3）所有的点要么和u相邻，要么和v相邻