11 可平面图的判断.pdf

可平面图的判断 程龚 (gcheng@) 本节课的主要内容 7.3 可平面图的判断 DMP算法 2 回顾 • 不可平面图 – K 5 – K 3,3 • 极小不可平面图(minimal nonplanar graph) – 任何真子图都是可平面图 你能举一些例子吗？ • K 、K 5 3,3 • 可平面图的子图一定是可平面图 – K 和K 一定不是可平面图的子图 5 3,3 3 剖分 • 剖分(subdivision) – 在一条边上加入一个新的顶点，将其分为两条边 4 /wiki/Subdivision_(graph_theory)#Subdivisions Kuratowski子图 • Kuratowski子图 – K 或K 的剖分 5 3,3 5 /wikipedia/commons/thumb/7/73/GP92-Kuratowski.svg/500px-GP92-Kuratowski.svg.png Kuratowski定理 • 可平面图的充要条件：没有Kuratowski子图。 证明： ⇒ 剖分并不改变图的可平面性⇒K 或K 的剖分是不可平面图 5 3,3 ⇒可平面图没有Kuratowski子图 剖分会不会改变图的可平面性？ 6 Kuratowski定理(续) • 可平面图的充要条件：没有Kuratowski子图。 证明： ⇐* 反证法：假设存在一个不包含Kuratowski子图的不可平面图 1. 边最少的不包含Kuratowski子图的不可平面图一定是3-连通的。 2. 不包含Kuratowski子图的3-连通图一定是可平面图。 7 Kuratowski定理(续) • 1. 边最少的不包含Kuratowski子图的不可平面图G一定是3-连通的。 证明： 1. 从G 中删除边e不会引入Kuratowski子图⇒G-e是可平面图⇒G是极小不可平面图 2. （引理1）极小不可平面图是2-连通的⇒G是2-连通的 3. 反证法：假设G不是3-连通的⇒G有2-点割集S={x, y} 4. G-S 的一个连通分支中的所有顶点和{x, y}的并在G 中的导出子图称作一个S-lobe。 5. （引理2 ）对于不可平面图G的2-点割集S={x, y}，G有一个S-lobe+(x, y)是不可平面图， 记作H。 6.