5.1 平面图及其性质.pptVIP

人工智能 华中科技大学水电与数字化工程学院 5.1 平面图及其性质 [可平面性] 一个图 G=(V,E) ，若能将其画在平面上，且任意两条边的交点只能是G的顶点，则称G可嵌入平面，或称G是可平面的。可平面图在平面上的一个嵌入称为一个平面图。 树是一类重要的平面图。 应用举例：印刷电路版、集成电路设计。 5.1 平面图及其性质 [区域] 由平面图的边包围而成，其中不含图的顶点。也称为面。包围域R的所有边组成的回路称为该域的边界，回路长度称为该域的度，记为deg(R)。 5.1 平面图及其性质 [内部面和外部面] 由平面图的边包围且无穷大的域称为外部面。（如上例的域R0为外部面） 一个平面图有且只有一个外部面。 [曲面嵌入] 一个图可嵌入平面当且仅当它可嵌入曲面。 5.1 平面图及其性质 [定理5-1-2 欧拉公式] 设平面连通图G有n个顶点，m条边，d个域，则有 n-m+d = 2。 [证明1] 对m作归纳。 [证明2] 对d作归纳。 欧拉公式对非简单图仍然成立。 [推论] 设平面图G的连通分支数为k，并有n个顶点，m条边，d个域，则有 n-m+d = k+1。 5.1 平面图及其性质 [极大平面图] 设G=(V,E)为简单平面图，|V|?3，若对任意vi ,vj?V，且 (vi ,vj) ? E，有G?=(V, E?{(vi ,vj)})为非平面图，则称G为一个极大平面图。 “极大性”乃针对固定顶点数的图的边的数目而言。 5.1 平面图及其性质 [极大平面图的性质] 极大平面图是连通图。 极大平面图的每个面都由3条边组成。 极大平面图有3d=2m（d为面数目，m 为边数目）。 极大平面图G=(V, E)，若|V|?4，则 ?vi ?V，有 deg(vi ) ? 3。 [证明] 5.1 平面图及其性质 [定理5-1-3] 设极大平面图G有n个顶点，m条边，d个域，则有m=3n-6，d=2n-4。 [证明] 将3d=2m代入欧拉公式。 [推论] 简单平面图G有 m? 3n-6，d ? 2n-4。 [定理5-1-4] 简单平面图至少有一个顶点的度小于6。 [证明] 设任一点的度 ? 6，得 m? 3n，矛盾。 5.1 平面图及其性质 [二部图] 图G=(V, E)，若V可划分成V1和V2 两部分，使得：① ? v1 ?V1，若( v1, v2 ) ?E ，则必v2 ?V2 ； ② ? v2 ?V2，若( v1, v2 ) ?E ，则必v1?V1 。 则称G为一个二部图。 5.1 平面图及其性质 [完全二部图] 设G=(V, E)为一个二部图， V1和V2 如上所述，若 (?v1 ) (?v2 )(v1 ?V1 , v2 ?V2 ?( v1, v2 ) ?E)， 则称G为一个完全二部图，记为 Kn1, n2。 ( n1 =|V1| ，n2 =| V2 |) 5.1 平面图及其性质 [定理5-1-5] K5 和K3,3 是不可平面的。 [证明] 反证法并由欧拉公式导出矛盾. 5.2 Kuratowski 定理 [串联边] 图 G=(V,E) ，若e1=(u1 , u2)， e2=(u2 , u3)，且deg(u2)=2，则称e1与e2串联。 5.2 Kuratowski 定理 [串联边置换] 将上述e1, e2 置换成 e3=(u1 , u3) ，并消去可能的多重边的过程，称为串联边置换。 5.2 Kuratowski 定理 [同胚] 设无向图 G和G?，若存在G??，使得G和G?分别经若干串联边置换后与G??同构，则称G和G?同胚。 与K5同胚的图，称为K(1)型图；与K3,3同胚的图，称为K(2)型图； K(1)型图和K(2)型图统称K型图。 [定理5-2-1(Kuratowski)] 图 G=(V,E) 可平面当且仅当G中不存在任何K型子图。( 证略) Kuratowski 定理的实际应用较为困难。 5.2 Kuratowski 定理 [例] Petersen 图不是平面图。 5.3 对偶图 [对偶图] 图G=(V,E)，满足下列条件的图G*= (V*,E*) 称为图G的对偶图： G的任一域 fi 内有且仅有一点vi*; 对G的域 fi , fj 的共同边界ek，画一条ek*=(vi* , vj* ) 且只与ek交于一点； 若ek完全处于fi中，则vi*有一自环ek* 且与ek相交与一点。 上述过程称为求对偶图的D过程，得到的对偶图称为原图的拓扑对偶。 5.3 对偶图 对平面图G，D过程构造的G*是唯一的；对于非平面图， D过程可能不成立； 对平面图G， D过程构造的G*也是平面图； 不论图G是否连通，D过程得到的