离散数学 第四章平面图与图完全强烈推荐.pptVIP

第四章 平面图与图的着色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,恒有