离散数学课件平面图.pptVIP

实线边图为平面图，虚线边图为其对偶图。 从定义不难看出G的对偶图G*有以下性质： G*是平面图，而且是平面嵌入。 G*是连通图。 若边e为G中的环，则G*与e对应的边e*为桥，若e为桥，则G*中与e对应的边e*为环。 在多数情况下，G*为多重图（含平行边的图）。 同构的平面图（平面嵌入）的对偶图不一定是同构的。 二、平面图与对偶图的阶数、边数与面数之间的关系。 定理17.15 设G*是连通平面图G的对偶图，n*、m*、r*和n、 m、r分别为G*和G的顶点数、边数和面数，则 （1）n*= r （2）m*=m （3）r*=n （4）设G*的顶点v*i位于G的面Ri中，则dG*(vi *)=deg(Ri) (1)、(2)由G*的构造可知是显然的。 (3)由于G与G*都连通，因而满足欧拉公式:  n-m+r = 2　  n*-m*+r* = 2　 由(1)、(2))可知， r* = 2+m*-n* = 2+m-r = n (4)设G的面Ri的边界为Ci，设Ci中有k1(k1≥0)条桥，k2个非桥边，于是 Ci的长度为k2+2k1，即deg(Ri)＝k2+2k1， k1条桥对应vi*处有k1个环，k2条非桥边对应从vi*处引出k2条边， 所以dG*(vi*)＝k2+2k1＝deg(Ri)。 证明 定理17.16 设G*是具有k（k?2）个连通分支的平面图G的对偶图， n*, m*, r*, n, m, r分别为G*和G的顶点数、边数和面数， （1）n*= r （2）m*=m （3）r*=n?k+1 （4）设G*的顶点v*i位于G的面Ri中，则dG*(v*i)=deg(Ri) 三、自对偶图 定义17.7 设G*是平面图G的对偶图，若G*?G，则称G为自对偶图。 在n?1(n?4)边形Cn?1内放置1个顶点，使这个顶点与Cn?1上的所有的顶点均相邻，所得n阶简单图称为n阶轮图。记为Wn。 n为奇数的轮图称为奇阶轮图。 n为偶数的轮图称为偶阶轮图。 轮图都是自对偶图。 小节结束 本章主要内容 平面图及平面嵌入。? 平面图的面与次数。? 极大平面图及性质。? 极小非平面图。? 欧拉公式及其推广。 平面图的边数m与顶点数n的关系。 简单平面图G中，δ(G)≤5。 库拉图斯基的两个定理。 平面图的对偶图。 本章学习要求 深刻理解本部分的基本概念：平面图、平面嵌入、平面图的面、次数、极大平面图、极小非平面图、平面图的对偶图、自对偶图等。? 熟练掌握极大平面的性质，特别是充分必要条件。? 熟练掌握并会应用欧拉公式及其推广形式。? 掌握由欧拉公式及其推广形式所证明的平面的性质。? 会用库拉图斯基定理证明某些图不是平面图。? 掌握平面图与其对偶图某些关系的定理。 解 证 证 作业 习题十七： 1、3、15、24、26、29 结束 * * 现实生活中，印刷线路板上的布线、交通道的设计等，要求尽量减少相交情况。 * 无向树有许多性质，这些性质中有些既是树的必要条件又是充分条件，因而都可以看作树的等价定义。 * 各面的边界由学生自己写。 * 充分性在下一节证明 * 欧拉在研究多面体时发现，多面体的顶点数减去棱数加上面数等于2.后来发现，连通的平面图的阶数，边数，面数之间也有同样的关系。 * 画上参考图，否则学生不会清楚。 * 欧拉公式中，平面图G的连通性是不可少的。对于非连通的平面图有下面定理成立。 证明中对各连通分支用欧拉公式，并注意即可外部面即可。 * 定理17.12用来判定某些图是非平面图。 * 插入2度顶点：右到左。 消去2度顶点：左到右。 * 2叉正则有序树的每个分支点的两个儿子导出的根子树分别称为左子树和右子树。 很多实际问题可以用2叉树或m叉树表示，如比赛。 * 都不是最优树 * 请同学们自己课下证明。 证明（3）时应同时应用欧拉公式及欧拉公式的推广. * 轮图都是自对偶图。学生可以证明。 第17章 平面图 离 散 数 学 中国地质大学本科生课程 本章说明 本章的主要内容 平面图的基本概念 欧拉公式 平面图的判断 平面图的对偶图 本章所涉及到的图均指无向图。 17.1 平面图的基本概念 17.2 欧拉公式 17.3 平面图的判断 17.4 平面图的对偶图 本章小结 习 题 作 业 17.1 平面图的基本概念 一、关于平面图的一些基本概念 1、 平面图的定义 定义17.1 G可嵌入曲面S——如果图G能以这样的方式画在曲面S上，即除顶点处外无边相交。 G是可平面图或平面图——若G可嵌入平面。 G的平面嵌入——画出的无边相交的平面图。 非平面图——无平面嵌入的图。 （2）是（1）的平面嵌入，（4）是（3）