第四章平面图.doc

第四章 平面图（planar graph） 4.1 平面图的基本概念 4.1.1平面图及平面嵌入 在一张纸上画图的图解时常常会发现，不仅需要允许各条边在结点上相交，而且还允许各条边在某些点上相交。这样的点称为交叉点；而相交的边，说成是相互交叉的边。 例4.1 在图4.1(a)中，给出了一个无向图，其中有三个交叉：边(v1,v4)和边(v2,v3)交叉；边(v1,v5)和边(v2,v3)交叉；边(v1,v5)和边(v3,v4)交叉。 (a) (b) 图4.1 平面图 定义4.1 设图G=V,E是一个无向图，如果能够把G的所有结点和边画在平面上，且使得任何两条边除此了端点外没有其他的交点，就称G是一个平面图（planar graph）。或称G可嵌入平面S。若G可嵌入平面，则称G是可平面图。画出的无边相交的图称为G的平面嵌入(drawn in a plane)。无平面嵌入的图称为非平面图（nonplanar）。 Definition :a graph can be drawn in a plane so that no edges cross except at vertices. 例4.2 对于图4.1(a)中和无向图来说，将此图的图解重新画之后，它不包含任何交叉，如图4.1(b)所示。因此，给定的图是一个平面图。 例4.3 K1(平凡图)，K2，K3，K4都是平面图，其中，K1，K2，K3本身就已经是平面嵌入，K4的平面嵌入为图4.2中(4)所示。K5－e (K5删除任意一条边)也是平面图，它的平面嵌入可表示为图4.2中(5)。 完全二部图K1,n(n≥1), K2,n(n≥2),也都是平面图，其中标准画法画出的K1,n已经是平面嵌入，K2,3的平面嵌入可由图4.2中(6)给出。图4.2中(1)，(2)，(3)分别为K4, K5－e, K2,3的标准画法。 图4.2 可平面化图 例4.4 图4.3(a)所示的立方体是否可平面化？ . （a）） 设G=V,E是能够画于平面上的图解中的无向图，并且设 C=v1…v2…v3…v4…v1是图中的任何基本循环。此外，设x=v1…v3和x′=v2…v4是图中的任意两条不交叉的基本路径。在图4.4中，给出了两种可能的结构。显然，当且仅当x和x′或者都在基本循环C的内部，或者都在基本循环C的外部，G才是个非平面图，因为这时基本路径x和x′是相互交叉的。判断一个图是非平面图时，上面的性质甚为有效。 图4.4 例4.5 设有一个电路，它含有两个结点集V1和V2，且=3。用导线把一个集合中的每一个结点，都与另外一个集合中的每一个结点连通，如图所示。试问，是否有可能这样来连线，使得导线相互不交叉？ 图4.5 解：这个问题等价于判断图4.5是否是个平面图。可以看出，给定图中有一个基本循环C=v1v6v3v5v2v4v1，如图4.6(a)所示。试考察三条边(v1,v5),(v2,v6)和(v3,v4)。上述的边中的每一条，或者处于C的内侧，或者处于C的外侧。显然，三条边中至少有两条边必定处于C的同一侧，因此避免不了交叉，如图4.6(b)所示。故给定图是非平面图。 (a) (b) 图4.6 在研究平面图理论中居重要地位的两个图，这就是完全图K5和完全二部图K3,3，它们都不是平面图。 图4.7 还有两个非常显然的事实，用下面定理给出。 定理4.1 若图G是平面图，则G的任何子图都是平面图。 　由定理4.1立刻可知，Kn(n≤4)和K1,n(n≥1)的所有子图都是平面图。 定理4.2 若图G是非平面图，则G的任何母图也都是非平面图。 母图：设G=V，E，G=V，E为两个图(同为无向图或同为有向图)，若VV且EE，则称G是G的子图，G为G的母图 推论 Kn(n≥5)和K3,n(n≥3)都是非平面图。 　　本推论由K5，K3,3不是平面图及定理4.2得证。 　　还有一个明显的事实也用定理给出。 定理4.3 设G是平面图，则在G中加平行边或环后所得图还是平面图。 　　本定理说明平行边和环不影响图的平面性，因而在研究一个图是否为平面图时可不考虑平行边和环。 4.1.2 平面图的面与次数 定义4.2 设G 是一个连通平面图(且已是平面嵌入)，由图中的边所包围的