离散数学八.pptVIP

8.4 平面图 8.4.1 平面图的基本概念 定义8.6 一个图G若能以这样的方式画在平面上；除顶点处外无边交叉出现, 则称G为平面图. 画出的无边交叉出现的图称为G的一个平面嵌入.无平面嵌入的的图称为非平面图. 图中,(2)是(1)(K4)的平面嵌入, 所以(1)是平面图.(2)是平面图.(3),(5)都不是平面图, 即K5和K3,3都不是平面图. (4),(6)分别是(3),(5)交叉最少的画法. 8.4 平面图 8.4.1 平面图的基本概念 定义8.7 设G是一个连通的平面图(指G的某个平面嵌入), G的边将G所在的平面划分成若干个区域, 每个区域称为G的一个面. 其中面积无限的区域称为无限面或外部面, 常记成R0. 包围每个面的所有边所构成的回路称为该面的边界, 边界的长度称为该面的次数, R的次数记为deg(R). ★对于非连通的平面图G有k(k≥2)个连通分支,则G的无限面R0的边界由k个回路围成. 8.4.1 平面图的基本概念 定理8.9 在一个平面图G中, 所有面的次数之和都等于边数m的2倍, 即(r为面数) 8.4 平面图 例: 图(2)与(3)都是(1)的平面嵌入, 它们都与(1)同构. 图(2)中deg(R0)=3; 图(3)中deg(R0)=4. 8.4 平面图 8.4.1 平面图的基本概念 极大平面图、极小非平面图 定义8.8 设G为一个简单平面图, 如果在G中任意不相邻的两个顶点之间再加一条边, 所得图为非平面图, 则称G为极大平面图. 若在非平面图G中任意删除一条边, 所得图为平面图, 则称G为极小非平面图. 8.4 平面图 K5, K3,3是极小非平面图, K5任意删除一条边后所得图是极大平面图 例 8.4 平面图 8.4.1 平面图的基本概念 极大平面图有以下性质: (1) 极大平面图是连通的; (2) 任何n(n≥3)阶极大平面图中, 每个面的次数均为3. (3) 任何n(n≥4)阶极大平面图G中, 均有?(G)≥3. 8.4 平面图 8.4.2 欧拉公式 定理8.10 设G为任意的连通的平面图, 则有 n-m+r＝2 成立. 其中, n为G中顶点数, m为边数, r为面数. 该定理中的公式为欧拉公式. 证明: 对边数m作归纳法. (1) m＝0时, G为孤立点, 此时n＝1, r＝1, 结论自然成立. (2) 设m＝k-1(k≥1)时结论成立, 要证明m＝k时结论成立. 8.4 平面图 8.4.2 欧拉公式 欧拉公式证明(续) 首先, 若G为树, 任取一树叶v并删除它, 得G＝G-v, G中有n＝n-1个顶点m＝m-1条边, r＝r, 由归纳假设有下式成立; n-m+r＝2, 即 (n-1)-(m-1)+r＝2, 整理后得 n-m+r＝2. 其次, G不是树, 证明则G中必有初级回路. 设C为一初级回路, e在C上. 令G＝G-e, 由于e在C上, 所以, G仍连通, 在G中, n＝n, m＝m-1, r＝r-1, 利用归纳假设可得 n-m+r＝2. 8.4 平面图 8.4.2 欧拉公式 欧拉公式的推广 对于任意的p(p≥2)个连通分支的平面图G, 有 n-m+r＝p+1 成立. 8.4 平面图 8.4.2 欧拉公式 定理8.11 设G是连通的平面图, 且每个面的次数至少为l(l≥3), 则 推广 设G是p(p≥2)个连通分支的平面图, 每个面的次数至少为l(l≥3), 则 8.4 平面图 例: 利用定理8.11可以证明K5和K3,3都不是平面图. 若K5是平面图, 则每个面的次数至少为3. 但是由前面的定理有 10≤3(5-2)＝9 这是矛盾的, 因而K5不是平面图. 类似地, K3,3也不是平面图. 定理8.12 设G为连通的简单平面图, 则G的最小度δ≤5. 8.4 平面图 8.4.3 平面图的判断 消去 插入 在图(1)中, 从左到右的变换称为消去2度顶点w. 图(2)中从左到右的变换称为插入2度顶点w. 8.4 平面图 8.4.3 平面图的判断 同胚 定义8.9 如果两个图G1和G2同构, 或经过反复插入或消去2度顶点后同构, 则称G1与G2同胚. 8.4 平面图 8.4.3 平面图的判断 初等收缩 定义8.10 图G中相邻顶点u,v之间的初等收缩由下面方法给出; 删除边(u,v), 用新的顶点w取代u,v, 使w关联u,v关联的一切边(除(u,v)外). v1 v2 v3 v4 v1 w=v2 v4 8.4 平面图 8.4.3 平面图的判断 库拉图斯基