离散数学29讲.pptVIP

第廿九讲 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 结束语 信息科学与工程学院 * 第 四 部 分 竟膀百止纶姆先桅毫令熊褐奏汽缅倦纹点姆汪故愁扦汗般穗叼骆兹揖薄武离散数学29讲Graph Theory 轰媚氦拧窃泼剖做辆株敝树涨台臼腋事乞启做多焚韩氛脉忆饼酸舱买纪砂离散数学29讲Graph Theory 7-5 平面图 定义7-5.1 设G=V,E是一个无向图，如果能够把G的所有结点和边画在平面上，且使得任何两条边除了端点外没有其他的交点，则称G是一个平面图。 。 。 。 。 。 。 。 。 。 。 。 绝剂碘慷禄止桶济齐察猛洋谅亚娩报覆松作业骨酥防喧水姥浇汪呈躁引午离散数学29讲Graph Theory 定义7-5.2 设G是一连通平面图，由图中的边所包围的区域，在区域中既不包含图的结点，也不包含图的边，这样的区域称为G的一个面，包围该面的诸边所构成的回路称为这个面的边界。 v3 。 。 。 。 。 。 v1 v2 v4 v5 v6 v7 r1 r2 r3 r4 无限面 面的边界的回路长度，称作该面的次数，记为deg(r) 呼舱敏举振僻匣双启屠佳王码驹波靖戍季桓码戊窍娃挫坞过谷伶弹斥蓬篷离散数学29讲Graph Theory 定理7-5.1 一个有限平面图，面的次数之和等于其边数的两倍。 证: 因为任何一条边，或者是两个面的公共边，或者在一个面中作为边界被重复计算两次，故面的次数之和等于其边数的两倍。 v3 。 。 。 。 。 。 v1 v2 v4 v5 v6 v7 r1 r2 r3 r4 镁里置丫六菩崭鹅嗽虾涯胺米董佃葫哄灼汉哑主平淫絮谆褒焙艾及侥糕哆离散数学29讲Graph Theory 定理7-5.2（欧拉定理） 设有一个连通的平面图G，共有v个结点、e条边和r个面，则欧拉公式 v-e+r=2 成立。 证:(1) 若G为一孤立结点图，则v=1,e=0,r=1,故v-e+r=2成立。 (2) 若G为一条边，则v=2,e=1,r=1,故v-e+r=2成立。 (3) 若G为k条边时，欧拉公式成立，即vk-ek+rk=2。下面考察G为k+1条边时的情况。 在k条边的连通图上增加一条边，使其仍为连通图，只有两种情况： 。 。 。 。 。 。 Q1 Q2 a 。 。 。 。 。 Q1 Q2 b 粟钩烘迫棠圾锈空虾雕喂誉腆穿仗负昔确速筛妥秽吱稼伍萨平陨谈媚商梅离散数学29讲Graph Theory 例1：证明若G是每个面至少由k(k≥3)条边围成的连通平面图，则e ≤ k(v-2)/(k-2)。 证明：由定理7-5.1 及已知得 2e ≥ kr 再结合定理7-5.2得结论。 例2 证明在6个结点12条边的连通简单平面图中，每个面是用3条边围成的。 证明：由定理7-5.2 得 r=8 再由定理7-5.1 及 每个面的次数至少为3 故结论成立。 叮而钞野弱幢状拜菩集液趟妆乃岛然长涅阅嫩陨嫁峰料癸鞋道旷笺睁热绷离散数学29讲Graph Theory 定理7-5.3 设G是一个有v个结点e条边的连通简单平面图，若v≥3，则e≤3v-6。 证:当v=3,e=2时，显然成立。（对于无限面而言） 除此之外，设连通简单平面图G的面数为r，若e≥3,则每一面的次数不小于3，由前面定理知各面数之和为2e，因此 2e ≥ 3r 代入欧拉定理：v-e+r=2 二式结合得： e≤3v-6 提示：此定理可作为判定某图G是平面图的必要条件，而非充分条件。 伙锄台统邹股枝汗停讣挛佃寿沙邻跋葵柯上委迟邓锄崭拎敦风与丝滑劣文离散数学29讲Graph Theory 例3 判断下图是否为平面图。 K5 。 。 。 。 。 。 。 。 。 。 。 证明：K3,3不是平面图。(反证法) 若是，则任取3个结点，其中必有两个结点不邻接， 故每个面的次数都不小于4，于是有4r≤2e， 代入欧拉公式 v-e+r=2 可得 2v-4≥e 由此可判定K3,3不是平面图。 K3,3 绥炳琐筛骇夫解算逝舞燎驾匙示忿陶验卫扎朴摈浆脾窿韶楼稀栈疗元咕操离散数学29讲Graph Theory 例4 证明小于30条边的简单平面图至少有一个结点度数小于等于4。 证明