一些特殊的图 离散数学技术方案.pptVIP

第8章 一些特殊的图 8.1 二部图 8.2 欧拉图 8.3 哈密顿图 8.4 平面图 平面图问题1 在一块地上盖了3座房子，并且挖了3口井供3家主人使用， 这3家人后来相互成了冤家，决定修建各家通往3口井的小道，使他们在去3口井的途中不会相遇，你能否设计整个小道的路线，満足他们的要求？ 平面图问题2 在许多实际问题中，往往会涉及图的可平面化问题，如： 电路设计经常要考虑布线是否可以避免交叉以减少元件间的互感影响----单层印刷电路板布线问题; 为安全起见，建筑物的地下水管、煤气管、电缆线等不能交叉 ; 平面图和平面嵌入 定义 如果能将图G除顶点外边不相交地画在平面上, 则称G是平面图. 这个画出的无边相交的图称作G的平面嵌入. 没有平面嵌入的图称作非平面图. 完全图K3是平面图 完全图K4是平面图 K2,3是平面图 平面图和平面嵌入 设G??G, 若G为平面图, 则G?也是平面图; 设G??G, 若G?为非平面图, 则G也是非平面图. K5和K3,3是非平面图 Kn(n?5), K3,n(n?3)都是非平面图. 平行边与环不影响图的平面性. K5 K3,3 平面图的面与次数 定理 在一个平面图G中，所有面的次数之和等于边数m的2倍. 其中，r为面数。 说明 G中每条边无论作为两个面的公共边界，还是作为一个面的边界，在计算总的次数都时都计算两次。 极大平面图 定义 若G是简单平面图, 并且在任意两个不相邻的顶点之间加一条新边所得图为非平面图, 则称G为极大平面图. 若简单平面图中已无不相邻顶点，则是极大平面图。 3个图都是平面图, 但只有右边的图为极大平面图. 极大平面图 ? K3是极大平面图 K4是极大平面图 n(n?3)阶极大平面图Ri=3 极小非平面图 定义 若G是非平面图, 并且任意删除一条边所得图都是平面图, 则称G为极小非平面图. 说明: K5, K3,3都是极小非平面图 极小非平面图必为简单图 上面4个图都是极小非平面图 K5 K3,3 欧拉公式：设G为 n 阶 m 条边 r 个面的连通平面图，则 n?m+r =2 证： 对边数m做归纳证明. m=0, G为平凡图, n=1, r=1.1-0+1=2，结论为真. 设m=k(k?1)结论为真, m=k+1时分情况讨论如下: (2) G中有圈, 删除一个圈上的一条边,记作G?. G?连通, 有n个顶点, k条边和 r-1个面. 由归纳假设, n – k+(r – 1) = 2 即 n – (k+1) + r = 2 得证m=k+1时结论也成立. G中无圈, 则G必有一个度数为1的顶点v, 删除v及它关联的边, 记作G?. G?连通, 有n-1个顶点, k 条边和 r 个面. 由归纳假设, (n – 1)–k+r = 2 即 n – (k+1)+r = 2 得证m=k+1时结论成立. 证毕 欧拉公式的推广 设G为n阶m条边r个面有 p (p?2) 个连通分支的平面图, 则 n ? m + r = p + 1 证 : 设第 i 个连通分支有 ni个顶点, mi 条边和 ri 个面. 对各连通分支用欧拉公式, ni ? mi + ri = 2, i = 1, 2, … , p 求和 即 注意到 即得 n ? m + r = p + 1 与欧拉公式有关的定理 ? 判断一个图 是否是连通平面图 的必要条件 与欧拉公式有关的定理 定理 设G有 p (p?2) 个连通分支的平面图，有n个结点，m条边，每个面的次数至少为k(k≥3)， 推论 K5 和 K3,3不是平面图. 证: 用反证法, 假设它们是平面图, 则 K5 : n=5, m=10, k=3 按定理有10 ≤3/(3-2)×(5-2)=9，与欧拉定理矛盾. K3,3 : n=6, m=9, k=4(二部图) 按定理有9 ≤ 2/(4-2)×(6-2)=8，与欧拉定理矛盾. 所以K5 和 K3,3不是平面图. K5 K3,3 消去和插入 消去 对度数为2的结点，去掉此结点，使它关联的两条边变成一条边， 插入 插入一个新的度数为2的结点，使一条边分成两条边， 消去v 插入v 同胚与收缩 G1与