第7章-图论(II).ppt

定理8.4.1 (库拉图斯基定理)一个图G是平面图?G中不含同胚于K3,3或K5的子图。 该定理的证明是看来不算很难但是冗长的，略去了，有兴趣读者可参见图论专著中的证明。 库拉图斯基定理表述还是简明的，例如，图11.4.4(a)所示的图称为彼得森图，它是非平面图。因为当删去边[v6,v8]和[v3,v4]时，它成为含有同胚于K3,3的子图，如图11.4.4(b)或(c)所示。 图 11.4.5 下面介绍平面图中的重要的欧拉公式。 定义8.4.3 设G为一平面图，若由G的一条或多条边所界定的区域内部不含图G的结点和边，这样的区域称为G的一个面，记为f。包围这个区域的各条边所构成的圈，称为该面f的边界，其圈的长度，称为该面f的度，记为d(f)。为强调平面图G中含有面这个元素，今后把平面图表为G=V，E，F，其中F是G中所有面的集合。 为方便有时把平面图G的外部的无限区域当作一个面，称为无限面或外部面，其余的面称为有限面或内部面。 由定义不难证明下面定理： 定理8.4.2 令G=V，E，F是连通平面图，则 。 定理8.4.3 设G=V，E，F是连通平面图，则|V|-|E|+|F|=2。(by induction, 从|F|=1 begin) 这便是著名的欧拉公式。 推论1 给定连通简单平面图G=V，E，F。若