离散c数学平面图课件ppt.pptVIP

轮图都是自对偶图。学生可以证明。 * 17.4 平面图的对偶图 一、对偶图的定义 定义17.6 设G是某平面图的某个平面嵌入，构造G的对偶图G*如下： 在G的面Ri中放置G*的顶点vi* 。 设e为G的任意一条边， ?若e在G的面Ri与Rj的公共边界上，做G*的边e*与e相交，且e*关联G*的位于Ri与Rj中的顶点vi*与vj*，即e*=(vi*,vj*)，e*不与其它任何边相交。 ?若e为G中的桥且在面Ri的边界上，则e*是以Ri中G*的顶点vi*为端点的环，即e*=(vi*,vi*)。 实线边图为平面图，虚线边图为其对偶图。 从定义不难看出G的对偶图G*有以下性质： G*是平面图，而且是平面嵌入。 G*是连通图。 若边e为G中的环，则G*与e对应的边e*为桥，若e为桥，则G*中与e对应的边e*为环。 在多数情况下，G*为多重图（含平行边的图）。 同构的平面图（平面嵌入）的对偶图不一定是同构的。 二、平面图与对偶图的阶数、边数与面数之间的关系。 定理17.15 设G*是连通平面图G的对偶图，n*、m*、r*和n、 m、r分别为G*和G的顶点数、边数和面数，则 （1）n*= r （2）m*=m （3）r*=n （4）设G*的顶点v*i位于G的面Ri中，则dG*(vi *)=deg(Ri) (1)、(2)由G*的构造可知是显然的。 (3)由于G与G*都连通，因而满足欧拉公式: