发表机构
Charles University, Prague, Czech Republic（布拉格查理大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文证明了5-连通图边数达到4n-10时，任意五个顶点可收缩得到K_5 minor，且该界最优。
AI 中文摘要
我们证明，如果一个 $n$ 顶点 5-连通图至少有 $4n-10$ 条边，那么对于其任意五个顶点的选择，我们可以收缩包含这些顶点的不相交连通子图，从而得到 $K_5$ 作为 minor。边数的这个界是最优的。
英文摘要
We show that if an n-vertex 5-connected graph has at least 4n-10 edges, then for any choice of five of its vertices, we can contract disjoint connected subgraphs containing these vertices to obtain $K_5$ as a minor. The bound on the number of edges is the best possible.
Comments85 pages, 6 figures
