离散数学第2版作者王元元离散第22讲平面图课件.pptVIP

第22讲 平面图 平面图 问题的提出 问题的提出 平面图的概念 非平面图 平面图的面 定义：平面连通图中各边所界定的区域称为平面图的面。界定各面的闭的拟路径称为面的边界，它的长度称为面的度。 分类：有界的区域称为有界面，无界的区域称为无界面。 示例 示例 示例 极大平面图 定义：给定平面简单图G，如果在G中添加任一边(该边既不是环，也不是重边)后所得的图均不是平面图，则称G为极大平面图。 极大平面图性质 定理9-3：极大平面图所有有界面都是三度的面，无界面也是三度的。即所有面的边界均为K3。 证：反设极大平面图有4度的面，其边界为(v1, v2, v3, v4, v1)。若该面为无界面，那么可在无界面内联结(v2, v4)；若该面为有界面，那么可在有界面内联结(v2, v4)。联结后所产生的图均仍为平面图，这与平面图的极大性冲突。 例如： 极大平面图性质 证：设v是极大平面图G 的任一顶点。考虑G-v 。G-v是一平面图，v原在G-v的一个面内。由于G为一简单图，G-v的这个面的边界上至少有3个顶点。由G 的极大平面性，v与这些顶点之间都有边关联，因此v至少是3度的顶点。 欧拉公式 定理9.5：设G为一平面连通图，n为顶点数，m为其边 数，r为其面数，那么 n–m+r = 2。（欧拉公式） 欧拉公式 --证明 欧拉公式 --证明 欧拉公式 --证明 欧拉公式推论