库拉托夫斯基定理

一个图是非平面图的充要条件是它存在一个能 收缩 为 $K_5$ 或 $K_{3,3}$ 的子图

将 $K_5$ 或 $K_{3,3}$ 称为 库拉托夫斯基图