第四章 平面图与图的着色i.pptx

4.1 平面图定义4.1 ：若能把图G画在一个平面上，使任何两条边都不相交，就称G可嵌入平面，或称G是可平面图。 可平面图在平面上的一个嵌入称为平面图。e6v1vve414e5e1e4e5e1e3e3v4e6e2vvve22v323(c)(b)4.1 平面图vve414e6e5e1e3e2vv23(a)可平面图平面图平面图4.1 平面图定义4.2 ：设G是一个平面图，由G的一个初级回路围成的一个区域内如果不含任何结点及边，就称为G的一个面或域。包含这个域的各边称为该域的边界。 平面图G的外边的无限区域称为无限域或外部区域，其他的域叫内部域。4.1 平面图e6Fvv1e414e5FFe142e3F3ve2v23(b)F3= v1 e1 v2 e2 v3 e5 v1边界为：{e1 , e2 , e5 }F1= v1 e1 v2 e6 v4 e4 v1边界为：{e1 , e6 , e4 }F4= v2 e2 v3 e3 v4 e6 v2边界为：{e2 , e3 , e6 }F2= v1 e5 v3 e3 v4 e4 v1边界为：{e5 , e3 , e4 }4.1 平面图v1e4F4e5e1FF21e6e3vF43ve2v23(c)F3= v2 e2 v3 e3 v4 e6 v2边界为：{e2 , e3 , e6 }F1= v1 e1 v2 e6 v4 e4 v1边界为：{e1 , e6 , e4 }F4= v1 e1 v2 e2 v3 e5 v1边界为：{e1 , e2 , e5 }F2= v1 e5 v3 e3 v4 e4 v1边界为：{e5 , e3 , e4 }4.1 平面图 如果两个域有共同的边界，则称它们是相邻的，否则是不相邻的。 如果边e不是割边，则e一定是某两个域的共同边界。e6FFvv1v7e4154e5Fe1e112e3Fe12e8F3F54e13e10e7vve2vF8236ve9v674.1 平面图F1= v1 e1 v2 e6 v4 e4 v1与F2= v1 e5 v3 e3 v4 e4 v1相邻共同边界为：e4 ，割边e7 只是面F7的边界。4.1 平面图定理4.1 设G是有n个结点和m条边的平面连通图，则G的面的数目d是 d＝m－n＋2（欧拉公式）证明：设连通图G的支撑树是T。T包含n－1条边，不包含回路，因此T只有一个无限域。F0T4.1 平面图4.1 平面图 由G是平面图，每加入一条余树的边e，它一定不与其他边相交，即e一定在某个域的内部，把该域分成两部分。F0FFFFFe13254eeT4.1 平面图4.1 平面图这样，加入G的m－n＋1条边，生成了m－n＋1个新的域。加上无限域，共有d＝m－n＋2 个域。e6Fvv1ve4154e5Fe1e102e3FF7e11e7F3F54e12e9vve2vF8236ve8v674.1 平面图推论4.1 有n个结点和m条边的平面图G有k个连通支，则n－m＋ d＝k＋1。推论4.2 对任一平面图G，恒有 n－m＋ d ? 2。证明：设G 有d个域，每个域的边界数至少是t，且每条边都与两个不同的域相邻。因此td ? 2m。代入欧拉公式：2m? m－n＋ 2t亦即t(n－2)m ?t－24.1 平面图定理4.2 设有n个结点和m条边的平面连通图G没有割边，且每个域的边界数至少是t，则 m ? t(n－2)t－24.2 极大平面图定义4.3 ：设G是有n ? 3个结点的简单平面图，若在任意两个不相邻的结点vi，vj之间加入边(vi，vj)，就会破坏图的平面性，则称G是极大平面图。极大平面图不是极大平面图4.2 极大平面图v1v5v2v4v34.2 极大平面图设有n个结点和m条边的极大平面图G具有以下性质：性质1. G是连通的。性质2. G不存在割边。性质3. G的每个域的边界数都是3（极大平面图也称为平面三角剖分）。性质4. 3d=2m。e1e2i1i2dji3e3i4i5e44.2 极大平面图性质3. G的每个域的边界数都是3。证明：由G是简单图，没有自环和重边，因此不存在边界数为1和2的域。 假设G存在边界数大于3的域dj，不妨设dj是G的内部域，域dj的边界为： dj = i1 e1 i2 e2 i3 e3 i4 e4 i5 …，这里结点i1 ,i2 , i3 , i4互不相同。e1e1e2e2i1i1i2i2djdji3i3e3e3i4i4i5i5e4e44.2 极大平面图性质3. G的每个域的边界数都是3。证明：若结点i1和 i3 不相邻，则在域dj内加入边(i1, i3 )后仍然是平面图，与G是极大平面图矛盾，因此边(i1, i3 ) 一定存在于域dj之外。e1e2i1i2dji3e3i4i5e44.2 极大平面图性质3. G的每个域的边界数都是3。证