离散件基本图类及算法.pptVIP

2。图的面：由边围成的封闭区域、且其内部不再包含边数更少的封闭区域的区域。例：下图中共有F1、F2、F3、F4四个面。F4F1F3F2第63页，共132页，星期日，2025年，2月5日每个平面图中有且仅有1个无限区域的面，称为外部面。其它的面称为内部面。围住面的边构成面的边界。①面的度：设F是图的面，令d(F)=围成F的边数，但割边算2，称之为面F的面度。F4F1F3F2第64页，共132页，星期日，2025年，2月5日例：下面的平面图中4个面的度分别是：d(F1)=4，d(F2)=3，d(F3)=3，d(F4)=6。F4F1F3F2第65页，共132页，星期日，2025年，2月5日②定理任何平面图必满足?d(F)=2m，其中m是图的边数。证明要点：平面图中每条边要么是两个面的公共边，要么只是一个面的边（即为图的割边），即每条边都贡献面度2。F4F1F3F2第66页，共132页，星期日，2025年，2月5日二、平面图的欧拉公式1。定理设G是n个结点、m条边、f个面的连通平面图，则n-m+f=2。证明要点：设T是G的一个生成树，T是平面图且含n个结点、n-1条边和一个外部面，满足n-（n-1）+1=2根据树的性质：“无回路，任增加一条新边后只增加一条回路”，依次把m-n+1条树补边加入T中，增加了m-n+1个面，即共有m-n+2个面。第67页，共132页，星期日，2025年，2月5日一个图是平面图当且仅当它的每个支都是平面图。注意，平行边和环都不影响图的平面性，只需考虑简单图的平面性就行了。2。推论1：设G是n个结点、m条边、f个面的简单连通平面图，则m?3(n-2)。证明要点:因为G是简单图，其每个面的度至少是3，因此3f?2m，代入欧拉公式后整理即得结论。3。推论2：在简单连通平面图中至少有1个度不大于5的结点。证明要点：阶小于6时明显成立。一般情况下，若??5成立，将导致2m?6n，产生矛盾。第68页，共132页，星期日，2025年，2月5日4。图的围长：图中最短圈的长度称为该图的围长，并记为g（当图中无圈时，规定g??）推论3：设G是一个g?2的（n,m）连通平面图，则m?证明要点：由d(F)?g,2m=?d(F)?gf,代入n-m+1=2可得。g(n-2)g-2第69页，共132页，星期日，2025年，2月5日三、证明K5和K3，3不是平面图1、对于K5，它是（5，10）图，其回路长度至少为3，不满足m?3(n-2)，因此K5不是平面图。2、对于K3，3，它是（6，9）图，g=4，不满足推论3，因此K3，3不是平面图。第70页，共132页，星期日，2025年，2月5日四、判别平面图的Kuratowski定理1。图的细分：在图的边上设置若干2度点后得到图称为原图的细分图。第71页，共132页，星期日，2025年，2月5日例：下面是图G及其一个细分图G1图G图G1细分第72页，共132页，星期日，2025年，2月5日2。图的细分不改变图的平面特性。即它们同为平面图或同为非平面图。3。Kuratowski定理：图G是平面图当且仅当G没有任何与K5或K3，3的细分图同构的子图。证明略。可参考教材末页文献[3]、[12]。第73页，共132页，星期日，2025年，2月5日例:用库氏定理判定下图不是平面图第74页，共132页，星期日，2025年，2月5日例:用库氏定理判定下图不是平面图第75页，共132页，星期日，2025年，2月5日例:用库氏定理判定下图不是平面图第76页，共132页，星期日，2025年，2月5日例:用库氏定理判定下图不是平面图第77页，共132页，星期日，2025年，2月5日五、对偶图1。设G=(V,E)是含有面集V*={F1，F2，...，Ft}的平面图，定义图G*=(V*，E*）使对任何e?E且e是面Fi和Fj的边界，都有e*=FiFj?E*与之一一对应，则称G*为G的对偶图。第78页，共132页，星期日，2025年，2月5日例：下面是图G及其对偶图G*的示例。其中黑点代表对偶图的结点，红边是对偶图的边。第79页，共132页，星期日