第四章 平面图与图的着色.ppt

第四章 平面图与图的着色;[可平面性] 一个图 G=(V,E) ，若能将其画在平面上，且任意两条边的交点只能是G的顶点，则称G可嵌入平面，或称G是可平面的。可平面图在平面上的一个嵌入称为一个平面图。;5.1 平面图;[例] K5 和K3,3 是不可平面的。;[区域] 由平面图的边包围而成，其中不含图的边，也称为面。包围域R的所有边组成的回路称为该域的边界，回路长度称为该域的度，记为deg(R)。;[内部面和外部面] 由平面图的边包围且无穷大的域称为外部面。（如上例的域R0为外部面） 一个平面图有且只有一个外部面。 [相邻区域] 具有相同边界的区域称为相邻区域。;5.1 平面图的性质;[定理5-1-2 欧拉公式] 设平面连通图G有n个顶点，m条边，r个域，则有 n- m + r = 2。 [证明] 对m作归纳。m=0, m=1时成立。假定对于m=k成立: nk-mk+rk = 2 。当m=k+1时，考虑删除一条边后仍然连通的情况。 如果G有回路，则删除回路上一条边后的图边数减少一，面数减少一，故公式对G成立：nk-(mk+1)+(rk+1) = 2. (2) G没有回路，只有割边，必有度数为一的结点，删除相应割边的一度顶点后，结点数和边数分别减少一，面数不变，故仍然有 ( nk +1)-(mk+1)+rk = 2. ;欧拉公式对非简单图仍然成立。 对于v个顶点，e条棱，f个面的凸多面体，v-e+f=2. [推论] 设平面图G的连通分支数为k，并有v个顶点，e条边，f个域，则有 v-e+f = k+1。 [证明] 对每个连通分支使用欧拉公式，注意它们共同拥有一个无穷面。;[极大平面图] 设G=(V,E)为简单平面图，|V|?3，若对任意vi ,vj?V，且 (vi ,vj) ? E，有G?=(V, E?{(vi ,vj)})为非平面图，则称G为一个极大平面图。 “极大性”乃针对固定顶点数的图的边的数目而言。;[极大平面图的性质] 极大平面图是连通图。 极大平面图的每个面都由3条边组成。 极大平面图有3r=2m（r为面数目，m 为边数目）。;[定理5-1-3] 设极大平面图G有n个顶点，m条边，r个域，则有m=3n-6，r=2n-4。 [证明] 将3r=2m代入欧拉公式。 [推论] 简单平面图G有 m? 3n-6，r ? 2n-4。 [定理5-1-4] 简单平面图至少有一个顶点的度小于6。 [证明] 设任一点的度 ? 6，得 m? 3n，矛盾。;;;[二部图] 图G=(V, E)，若V可划分成V1和V2 两部分，使得：① ? v1 ?V1，若( v1, v2 ) ?E ，则必v2 ?V2 ； ② ? v2 ?V2，若( v1, v2 ) ?E ，则必v1?V1 。 则称G为一个二部图。;[完全二部图] 设G=(V, E)为一个二部图， V1和V2 是V的划分 ，若 (?v1 ) (?v2 )(v1 ?V1 , v2 ?V2 ?( v1, v2 ) ?E)， 则称G为一个完全二部图，记为 Kn1, n2。 ( n1 =|V1| ，n2 =| V2 |);[定理] K5 是不可平面的。 [证明] 如果G是平面图，则有 m?3n-6, 将n=5,m=10代入得到10?9,矛盾！;[定理] K3,3 是不可平面的。 [证明] 注意 K3,3中的回路长度是偶数，至少是4， 即每个面的度数至少是4。所以，4|R|?2|E|. 如果K3,3 是可平面的，则根据欧拉公式，面数= 5， 由此得20?18。矛盾！;可平面图的子图是可平面图；或者 如果Ｈ是不可平面图，则包含与Ｈ同构子图的图是不可平面图； 在一个图的边上添加一个结点不会改变图的可平面性，或者说，将图上的一个二度结点“隐去”不会改变图的可平面性。 [串联边] 图 G=(V,E) ，若e1=(u1 , u2)， e2=(u2 , u3)，且deg(u2)=2，则称e1与e2串联。;[串联边置换] 将上述e1, e2 置换成 e3=(u1 , u3) ，并消去可能的多重边的过程，称为串联边置换。;[同胚] 设无向图 G和G?，若存在G??，使得G和G?分别经若干串联边置换后与G??同构，则称G和G?同胚。;[定理(Kuratowski)] ??? G=(V,E) 可平面当且仅当G中不存在任何与K5或者K3,3同胚的子图。( 证略);[例] Petersen 图不是平面图。;;[对偶图] 设有平面图G=(V,E)，满足下列条件的图G*= (V*,E*) 称为图G的对偶图： G的任一域 fi 内有且仅有一点vi*; 对G的域 fi , fj 的共同边界ek，画一条ek*=(vi*