形式陈述

Kuratowski 定理：有限图平面，当且仅当它不含 $K_5$$K_5$ 或 $K_{3,3}$$K_{3,3}$ 的细分作为子图。细分是在边上插入度 2 顶点，因此结论是“拓扑子图”刻画。Wagner 定理则用 $K_5,K_{3,3}$$K_5,K_{3,3}$ minor 刻画平面图；两者等价但对象不同。

直觉

所有非平面纠缠最终都能在图中抽取出五点完全互连或三对三完全互连的拓扑骨架。

例子与边界

$K_5$$K_5$ 和 $K_{3,3}$$K_{3,3}$ 本身非平面；在它们边上插入任意多个顶点仍非平面。仅含一个 $K_5$$K_5$ minor 不必显式含 $K_5$$K_5$ 子图。定理是存在性刻画，实际线性时间平面性测试还需更具体算法。

推论与应用

该定理用于证明图非平面、理解 forbidden structure，并连接拓扑图论与 minor 理论。

参考资料

• Reinhard Diestel, Graph Theory, 5th ed., Springer, 2017，Chs. 1–5。
• Douglas B. West, Introduction to Graph Theory, 2nd ed., Prentice Hall, 2001，Chs. 1–6。