版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、会计学1离散数学平面图离散数学平面图2在图中,(2)是(1) 的平面嵌入,(4)是(3)的平面嵌入.17.1 平面图的基本概念定义17.1 (1) G可嵌入曲面S若能将G除顶点外无边相交地画在S上(2) G是可平面图或平面图G可嵌入平面(3) 平面嵌入画出的无边相交的平面图(4) 非平面图无平面嵌入的无向图 (1) (2) (3) (4)第1页/共27页3则G也是非平面图(定理17.2),由此可知,Kn(n6),K3,n(n4) 都是非平面图. n(4) 平行边与环不影响平面性. 第2页/共27页4n(5) 面 Ri 的次数Ri边界的长度,用deg(Ri)表示第3页/共27页5定理17.4 平
2、面图各面次数之和等于边数的两倍. 几点说明平面图有4个面,deg(R1)=1, deg(R2)=3, deg(R3)=2, deg(R0)=8. 请写各面的边界. 第4页/共27页6极大平面图的主要性质定理17.5 极大平面图是连通的. 证明线索:否则,加新边不破坏平面性定理17.6 n(n3)阶极大平面图中不可能有割点和桥. 证明线索:由定理17.5及n3可知,G中若有桥,则一定有割点,因而只需证无割点即可. 方法还是反证法.第5页/共27页7证明线索:(1) 由于n3, 又G必为简单平面图可知,G每个面的次数均3.(2) 因为G为平面图,又为极大平面图. 可证G不可能存在次数3的面. 就给
3、出的图讨论即可. 极大平面图的性质定理17.7 设G为n(n3)阶极大平面图,则G的每个面的次数均为3. 第6页/共27页8定理17.7中的条件也是极大平面图的充分条件. 定理17.7 设G为n (n3) 阶平面图,且每个面的次数均为3,则G为极大平面图.定理的应用上图中,只有(3)为极大平面图 (1) (2) (3) 第7页/共27页9极小非平面图定义17.4 若在非平面图G中任意删除一条边,所得图G为平面图,则称G为极小非平面图.由定义不难看出:(1) K5, K3,3都是极小非平面图(2) 极小非平面图必为简单图图中所示各图都是极小非平面图.第8页/共27页10定理17.9 (欧拉公式的
4、推广)设G是具有k(k2)个连通分支的平面图,则nm+r=k+1证明中对各连通分支用欧拉公式,并注意即可. kiikrr1)1(17.2 欧拉公式n(2) 否则,在某一个圈上删除一条边,进行讨论.第9页/共27页11)2(2 nllm)2()deg(21nmlrlRmrii )2(2 nllm)1(2 knllm解得 定理17.11 在具有k(k2)个连通分支的平面图中,与欧拉公式有关的定理定理17.10 设G为连通的平面图,且deg(Ri)l, l3,则 证 由定理17.4及欧拉公式得推论 K5, K3,3不是平面图.第10页/共27页12定理17.12 设G为n(n3)阶m条边的简单平面图
5、,则m3n6. 证 设G有k(k1)个连通分支,若G为树或森林,当n3时,m3n6为真. 否则G中含圈,每个面至少由l(l3)条边围成,又2212 lll定理17.13 设G为n(n3)阶m条边的极大平面图,则m=3n6.证 由定理17.4, 欧拉公式及定理17.7所证. 定理17.14 设G 为简单平面图,则 (G)5. 证 阶数 n6,结论为真. 当n7 时,用反证法. 否则会推出2m6n m3n,这与定理17.12矛盾. 与欧拉公式有关的定理在l=3达到最大值,由定理17.11可知m3n6.第11页/共27页1317.3 平面图的判断1. 插入2度顶点和消去2度顶点定义17.5(1) 消
6、去2度顶点v,见下图中,由(1) 到(2) (2) 插入2度顶点v,见下图中,从(2) 到(1) . (1) (2) 第12页/共27页142. 收缩边e,见下图所示.3. 图之间的同胚定义17.6 若G1G2,或经过反复插入或消去2度顶点后所得G1G2,则称G1与G2同胚. 图的同胚右边两个图同胚第13页/共27页15定理17.15 G是平面图 G中不含与K5或K3,3同胚的子图.定理17.16 G是平面图 G中无可收缩为K5或K3,3的子图例1 证明所示图(1)与(2)均为非平面图. (1) (2)右图(1),(2)分别为原图(1), (2)的子图与K3,3, K5同胚. 子图 (1) (
7、2) 第14页/共27页16jvivjne*=(v*i,v*j),ne*不与其它任何边相交. n若e为G中的桥且在面Ri的边界上,则e*是以Ri中G*的顶n点v*i为端点的环,即e*=(v*i,v*i). 第15页/共27页17下面两图中,实线边图为平面图,虚线边图为其对偶图. 实例第16页/共27页18的对偶图不一定是同构的.n如上面的例子. 第17页/共27页19n(1)、(2)平凡.n(3) 应用欧拉公式.n(4) 的证明中注意,桥只能在某个面的边界中,非桥边在两个面的边界上. 第18页/共27页2017.17. n证明(3) 时应同时应用欧拉公式及欧拉公式的推广. 第19页/共27页2
8、1nn n. n轮图都是自对偶图. n图中给出了W6和W7. n请画出它们的对偶图,n从而说明它们都是自对偶图. 第20页/共27页22l牢记极大平面图的主要性质和判别方法l熟记欧拉公式及推广形式,并能用欧拉公式及推广形式证明有关定理与命题l会用库拉图斯基定理证明某些图不是平面图l记住平面图与它的对偶图阶数、边数、面数之间的关系第21页/共27页23n又有r=2+mn 12 n由及又可得m30 n,是矛盾的. n(2) 正十二面体是一个反例1. 设G是连通的简单的平面图,面数r12,(G)3. (1) 证明G中存在次数4的面(2) 举例说明当r=12时,(1) 中结论不真.第22页/共27页2
9、42. 设G是阶数n11的无向平面图,证明G和 不可能全是平面图. G证 只需证明G和 中至少有一个是非平面图. 采用反证法. 否则 与G 都是平面图,下面来推出矛盾.G与 的边数m, m应满足 ( Kn的边数) 由鸽巢原理知m或m,不妨设m, GGG2)1( nnmm4) 1( nnm又由定理17.12 知 m 3n 6 由与得 n213n+24 0 由解得 2 n 10 与n 11矛盾. 其实,当n=9,10时,命题结论已真. 练习2第23页/共27页253. 证明下图为非平面图练习3第24页/共27页26方法二. 下图为原图的子图(删除边(a,f)),收缩本图中的(a,e)和(f,g)所得图为K5, 由库拉图斯基定理得证命题. 第25页/共27页27图20 图19 练习44. 设G为n(n3)阶极大平面图,证明G的对偶图G*是2-边连通的3-正则图.证 证明中用上n3的极大平面图的性质,以及平面图与对偶图的关系,对偶图的连通性等.(1) 证G*
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2026年保定职业技术学院单招职业技能测试题库含答案详解(能力提升)
- 2026年保定电力职业技术学院单招职业倾向性考试题库及答案详解1套
- 2026年兰州石化职业技术学院单招职业技能测试题库附参考答案详解(能力提升)
- 2026年北海康养职业学院单招职业适应性测试题库附参考答案详解ab卷
- 2026年南宁职业技术学院单招职业技能考试题库及答案详解(夺冠)
- 2026年南京工业职业技术大学单招职业技能测试题库带答案详解(新)
- 湖南省湖南师大附中2018届高三月考试卷(五)历史试题-含答案
- 四川省德阳五中2025-2026学年高三下学期教学质量监测(三模)语文试题含解析
- 山西省孝义市第四中学2026年高三下学期4月份月考英语试题含解析
- 甘肃省酒泉市敦煌中学2025-2026学年高三第一次联考试题物理试题试卷含解析
- 2025年重庆高考物理试卷试题真题及答案详解(精校打印)
- 土改田施工方案(3篇)
- 河北省衡水中学2026届数学高一上期末质量跟踪监视模拟试题含解析
- 安乐死协议书模板
- 2026内蒙古自治区行政执法人员专场招收1991人参考笔试试题及答案解析
- 断路器绝缘电阻试验方法
- 智能机械臂路径规划算法的创新探索
- 成自铁路成都罗家湾牵引站220千伏供电工程环境影响报告表
- 2025年绥化市中考地理试题卷(含答案解析)
- 作业人员安全管理档案
- 商务总监聘用协议书范本
评论
0/150
提交评论