离散数学十七讲.pptVIP

平面图(平面嵌入)的面与次数*G的面——由G的平面嵌入的边将平面化分成的区域无限面或外部面——（可用R0表示）——面积无限的面有限面或内部面（可用R1,R2,…,Rk等表示）——面积定义17.21面Ri的边界——包围Ri的回路组面Ri的次数——Ri边界的长度，用deg(Ri)表示有限的面2定理17.4平面图各面次数之和等于边数的两倍.几点说明若平面图G有k个面，可笼统地用R1,R2,…,Rk表示，不需要指出外部面.定义17.2(4)中回路组是指：边界可能是初级回路(圈)，可能是简单回路，也可能是复杂回路.特别地，还可能是非连通的回路之并.平面图有4个面，deg(R1)=1,deg(R2)=3,deg(R3)=2,deg(R0)=8.请写各面的边界.极大平面图*定义17.3若在简单平面图G中的任意两个不相邻的顶点之间加一条新边所得图为非平面图，则称G为极大平面图.注意：若简单平面图G中已无不相邻顶点，G显然是极大平面图，如K1(平凡图),K2,K3,K4都是极大平面图.极大平面图的主要性质定理17.5极大平面图是连通的.证明线索：否则，加新边不破坏平面性定理17.6n（n?3）阶极大平面图中不可能有割点和桥.证明线索：由定理17.5及n?3可知，G中若有桥，则一定有割点，因而只需证无割点即可.[反证法].极大平面图的性质*证明线索：(1)由于n?3,又G必为简单平面图可知，G每个面的次数均?3.(2)因为G为平面图，又为极大平面图.可证G不可能存在次数3的面.就给出的图讨论即可.定理17.7设G为n（n?3）阶极大平面图，则G的每个面的次数均为3.定理的应用*定理17.7中的条件也是极大平面图的充分条件.定理17.7?设G为n(n?3)阶平面图，且每个面的次数均为3，则G为极大平面图.上图中，只有(3)为极大平面图(1)(2)(3)极小非平面图*定义17.4若在非平面图G中任意删除一条边，所得图G?为平面图，则称G为极小非平面图.由定义不难看出：K5,K3,3都是极小非平面图极小非平面图必为简单图图中所示各图都是极小非平面图.010302定理17.9（欧拉公式的推广）设G是具有k（k?2）个连通分支的平面图，则n?m+r=k+1证明中对各连通分支用欧拉公式，并注意即可.17.2欧拉公式定理17.8设G为n阶m条边r个面的连通平面图，则n?m+r=2（此公式称为欧拉公式）证对边数m做归纳法m=0，G为平凡图，结论为真.设m=k（k?1）结论为真，m=k+1时分情况讨论.(1)G中无圈，则G为树，删除一片树叶，用归纳假设.(2)否则，在某一个圈上删除一条边，进行讨论.与欧拉公式有关的定理*解得定理17.11在具有k（k?2）个连通分支的平面图中，定理17.10设G为连通的平面图，且deg(Ri)?l,l?3，则证由定理17.4及欧拉公式得推论K5,K3,3不是平面图.与欧拉公式有关的定理*定理17.12设G为n（n?3）阶m条边的简单平面图，则m?3n?6.证设G有k（k?1）个连通分支，若G为树或森林，当n?3时，m?3n?6为真.否则G中含圈，每个面至少由l（l?3）条边围成，又定理17.13设G为n（n?3）阶m条边的极大平面图，则m=3n?6.证由定理17.4,欧拉公式及定理17.7所证.定理17.14设G为简单平面图，则?(G)?5.证阶数n?6，结论为真.当n?7时，用反证法.否则会推出2m?6n?m?3n，这与定理17.12矛盾.在l=3达到最大值，由定理17.11可知m?3n?6.17.3平面图的判断*1.插入2度顶点和消去2度顶点定义17.5(1)消去2度顶点v，见下图中，由(1)到(2)(2)插入2度顶点v，见下图中，从(2)到(1).(1)(2)图的同胚*2.收缩边e，见下图所示.3.图之间的同胚定义17.6若G1?G2，或经过反复插入或消去2度顶点后所得G?1?G?2，则称G1与G2同胚.右边两个图同胚平面图判定定理*定理17.15G是平面图?G中不含与K5或K3,3同