离散数学--6.5 平面图课件.pptVIP

6.4.4 平面图 平面图与平面嵌入 平面图的面及其次数 极大平面图 极小非平面图 欧拉公式 库拉图斯基定理 平面图的对偶图 约阜号淡酗纽砍茨哦潜址亨泄脂殆锌琐窖恐滚咆炙粮酷激彤烈倪庇馈馈绑离散数学--6.5 平面图课件离散数学--6.5 平面图课件 平面图与非平面图 定义6.22 如果能将图G除顶点外边不相交地画在平面上, 则称G是平面图. 这个画出的无边相交的图称作G的平面 嵌入. 没有平面嵌入的图称作非平面图. 址砚假区玉特晚中锋按韧茬懈严撞矿芽蹋田垒涯各谴戒痒己缓尚订应为蔗离散数学--6.5 平面图课件离散数学--6.5 平面图课件 平面图的面与次数 设G是一个平面嵌入 G的面: 由G的边将平面划分成的每一个区域 无限面(外部面): 面积无限的面, 用R0表示 有限面(内部面): 面积有限的面, 用R1, R2,…, Rk表示 面Ri的边界: 包围Ri的所有边构成的回路组 面Ri的次数: Ri边界的长度，用deg(Ri)表示 说明: 构成一个面的边界的回路组可能是初级回路, 简单回 路, 也可能是复杂回路, 甚至还可能是非连通的回路之并. 骂吻厨下铰痉汞汾原扫营窃说臆樟渔掠羚瞒慎蝶征云孩院帝吗忻勾万朝俐离散数学--6.5 平面图课件离散数学--6.5 平面图课件 实例 例1 右图有 个面 4 deg(R1)= deg(R2)= deg(R3)= deg(R0)= 1 3 2 8 R1的边界: R2的边界: R3的边界: R0的边界: a bce fg abcdde, fg 论箱躺二腻嘱多苫诛袜腹毁台姆疯妖气粱扔嘉串存吁吩剖痈铃洗讲棕憎墟离散数学--6.5 平面图课件离散数学--6.5 平面图课件 实例 例2 右边2个图是同一 平面图的平面嵌入. R1在(1)中是外部面, 在(2)中是内部面; R2在(1)中是内部面, 在(2)中是外部面. 说明: (1) 一个平面图可以有多个不同形式的平面嵌入, 它们都同构. (2) 可以通过变换(测地投影法)把平面图的任何一面作为 外部面 狱痉孤噬母痞涤填狱绥邑祁蹈丈裴瞥侥吟批即瓮捅跺岔冒网功蛹烙除婪语离散数学--6.5 平面图课件离散数学--6.5 平面图课件 平面图的面与次数(续) 定理6.13 平面图各面的次数之和等于边数的2倍 证 一条边或者是2个面的公共边界, 或者在一个面的边界 中出现2次. 在计算各面的次数之和时, 每条边恰好被计算 2次. 拭烷岁圾释制夷是翻帜蛰只弥蘑依嫌囚撵凹滇屿昏澄昆余霞恍婴浪猾缓簿离散数学--6.5 平面图课件离散数学--6.5 平面图课件 极大平面图 定义6.24 若G是简单平面图, 且在任意两个不相邻的顶点 之间加一条新边所得图为非平面图, 则称G为极大平面图 耸悬茵栗昂铆敬贰短当盼酣资涝阿累望草耸叮乎虎拌顺汉诸吊未峰啄硫育离散数学--6.5 平面图课件离散数学--6.5 平面图课件 极大平面图的性质 极大平面图是连通的 设G为n(n3)阶简单图, G为极大平面图的充分必要条 件是, G每个面的次数均为3. 极大平面图 外部面的次数为4 非极大平面图 因琅对姐华暂犯卜系绘藏蔑佛蛮玛瞧敖动净便崭扭赚傍随榷漂蘸空方衬盒离散数学--6.5 平面图课件离散数学--6.5 平面图课件 极小非平面图 定义6.25 若G是非平面图, 并且任意删除一条边所得图都 是平面图, 则称G为极小非平面图 例如 K5, K3,3都是极小非平面图 下述4个图也都是极小非平面图 难婶初有蹲响菜咬延轰堵疡倔坞虫芍埃盘矛验药猖经给汰略从蒋穗拇胆郎离散数学--6.5 平面图课件离散数学--6.5 平面图课件 欧拉公式 定理6.14 设G为n阶m条边r个面的连通平面图, 则 nm+r=2 证 对边数m做归纳证明. m=0, G为平凡图, 结论成立. 设m=k(k0)时结论成立, 对m=k+1, 若G中无圈, 则G必有一个度数为1的顶点v, 删除v及关联的 边, 记作G. G连通, 有n-1个顶点, k条边和r个面. 由归纳假 设, (n-1)-k+r=2, 即n-(k+1)+r=2, 得证m=k+1时结论成立. 否则, 删除一个圈上的一条边,记作G. G连通, 有n个顶点,k 条边和r-1个面. 由归纳假设, n-k+(r-1)=2, 即n-(k+1)+r=2. 得 证m=k+1时结论也成立. 证毕. 侄希耘卿讼穴硷梅曙锄哗绿四镶溶申售杯匠熬歧掩烁疡蓟偶资厄卫皆若揣离散数学--6.5 平面图课件离散数学--6.5 平面图课件 欧拉公式(续) 推论 设平面图G有 p (p2) 个连通分支, 则