离散数学 第四章平面图及图【完全免费,强烈推荐】.ppt

第四章 平面图与图的着色4.1 平面图 定义 4.1.1 若能把图G画在一个平面上，使任何两条边都不相交,就称G可嵌入平面，或称G是可平面图.可平面图在平面的一个嵌入称为平面图. 如果G是可平面图,那么它的任何导出子图也是可平面图. 平面图 定义 4.1.2 设G是一个平面图,由它的若干条边所构成的一个区域内如果不含任何结点及边，就称该区域为G的一个面或域.包围这个域的诸边称为该域的边界. 为了讨论方便,我们把平面图G外边的无限区域称为无限域,其他的域都叫做内部域.如果两个域有共同的边界，就说它们是相邻的,否则是不相邻的.如果e不是割边,它一定是某两个域的共同边界. 平面图 定理 4.1.1 设G是平面连通图,则G的域的数目是 d = m – n + 2. 证明:G是连通图,有支撑树T,它包含n-1条边，不产生回路,因此对T来说只有一个无限域.由于G是平面图,每加入一条余树边,它一定不与其他边相交,也就是说一定是跨在某个域内部,把该区域分成两部分.这样,加入G的m-n+1条余树边,就生成了m-n+2个域. 平面图 推论 4.1.1 若平面图G有k个连通支,则 n – m + d = k – 1. 推论 4.1.2 对一般平面图G,恒有 n – m + d = 2. 平面图 定理 4.1.2 设平面连通图G没有割边,且每个域的边界数至少是t,则 m = t * (n - 2) / (t – 2) 证明:设G有d个区域,每个域的边界树至少是t,且每条边都与两个不同的域相邻.因此td=2m. 代入欧拉公式: (2m / t) = m - n + 2, 即, m = t * (n - 2) / (t – 2). 4.3 非平面图 如果图G不能嵌入平面,满足任意两边只能在结点处相交,那么G就称为非平面图 这样,按平面性质进行划分,图G分为两大类:可平面图和非平面图. 非平面图 定理 4.3.1 是非平面图. 证明:在 中,n=5,m=10.如果它是可平面图,应该有m=3n-6.而此时3n-6=9,矛盾. 定理 4.3.2 是非平面图. 证明:假定 是可平面图,由于n= 6,m=9.由欧拉公式,d=5.但G中没有 子图,因此4d=2m,亦即20=18,矛盾. 非平面图 约定 和 分别记为 和 图. 定义 4.3.1 在 和 图上任意任意增加一些度为2的结点之后得到的图象为 型和 型图,统称为K型图. 定理 4.3.3 G是可平面图的充要条件是G不存在K型图. 4.5 对偶图 定义 4.5.1 满足如下条件的图G*称为G的对偶图. G中每个确定的域 内设置一个结点 . 对域 和 的共同边界 ,有一条边 ,并与 相交一次. 若 处于域 之内,则 有一自环 与 相交一次. 对偶图 性质 4.5.1 如果G是平面图,G一定有对偶图G*,而且G*是唯一的. 由D过程即可得证. 性质 4.5.2 G*是连通图. 在平面G里,每个域f都存在相邻的域,而且对G的任何部分域来说，都存在与它们之中某个域相邻的域.这样由对偶图的定义可知G *连通. 对偶图 性质4.5.3 若G是平面连通图,那么 性质4.5.4 平面连通图G与其对偶图G*的结点,边和域之间存在如下的对应关系: m = m*,n = d*,d = n*. 对偶图 性质 4.5.5 若G是平面连通图的一个初级回路,S*是G*中与C的各边 　对应的　　的集合,那么S*是G*的一个割集. 　证明：Ｃ把Ｇ的域分成两部分，因此　　　　把G*的结点分成不连通的两部分，由性质4.5.2，G*两部分是分别连通的，因此那么S*是G*的一个割集． 对偶图 定理 4.5.1 G有对偶图的充要条件是G为平面图. 　证明:充分性直接由4.5.1得证.先证必要性:即非平面图没有对偶图.由库拉图斯基定理，非平面图一定含有　和　型子图；而　，　型子图是　和　图中增加 　 定理 4.5.2 每一个平面图G都是5-可着色的. 对偶图 定理 4.5.3 如果平面图G有哈密顿回路,则四色猜想成立. 定理 4