设 为一个 图,其中
和
是两个不相交的
元组 图顶点。则要么
包含
条两两不相交的
路径,每条路径连接
中的一个点和
中的一个点,要么存在一个少于
个 图顶点 的集合,该集合分隔
和
。
Harary (1994, 第 47 页) 将该定理表述为“分隔两个不相邻点 和
的最小点数等于不相交
路径的最大数目。” Skiena (1990, 第 178 页) 将该定理表述为“一个图是 k-连通图 当且仅当 每对顶点至少由
条顶点不相交的路径连接”(Menger 1927, Whitney 1932)。