离散数学与 E图和H图 .pptVIP

离散数学 第八章 E图和H图 §8.1 七桥问题与E图 七桥问题：有四块陆地与连结它们的七座桥，问能否从这四块陆地中的任意一块出发，经过每一座桥恰好一次，最后回到原地？ 一笔画 该问题等价于“能否一笔画出下图？” E图 定义8.1.1：设G是一个图，经过G 的每一条边的链称为E链；闭的E链称为E闭链。如果G中存在E链，称G为半E图；如果G中存在E闭链，称G为E图。 下面的讨论中设G是非平凡的连通图。 无奇点的连通图是E图 引理8.1.1：连通图G中无奇点，则G是E图。 证明：设G是无奇点的连通图且G不是E图。在所有连通无奇点的非E图中，选一个边最少的图G。因G的每个顶点的度至少是2，从而G必含闭链。 E图是无奇点的连通图 引理8.1.1’：E图是无奇点的连通图。 证明：设G是E图，C是G的一条E闭链。由于G连通且C是含G的每边恰一次的闭链，因此，C中的每个点都既是起点也是终点。于是，从C上的任一点u出发，每经过一个顶点v，就有两条与v关联的边出现(一进一出) 。这样，C上的每个顶点，也即G的每个顶点的度均为偶数，故G中无奇点。 由引理8.1.1和8.1.1’，我们有： 半E图中最多有两个奇点 推论8.1.1： G是半E图当且仅当G中最多有两个奇点。 证明：(必要性) 设G是半E图，C是G的一条E链。除起点与终点外， C中每个顶点的度均为偶数。又因G连通，故G最多有两个奇点。 (充分性)设G最多只有两个奇点。若G无奇点，则由定理8.1.1知，G为E图，亦为半E图；若G有两个奇点，设为u和v, 则在G中加入e=uv的边，使G中无奇点。由定理8.1.1知，G+e为E图，即G+e含E闭链C，于是C–e构成G的一条E链，所以G是半E图。 §8.2 周游世界问题与H图 周游世界问题: 用一个正十二面体的二十个顶点来代表二十个城市，要求从其中任一顶点出发，沿着这个正十二面体的棱走遍这二十个顶点，且每个城市只经过一次，最后回到起点。 该问题等价于“能否从下图找一条含所有顶点的回路？” H图 定义8.2.1： 设G是一个图， 含G 的每个顶点的通路称为H通路； 起点与终点重合的H通路称为H回路； 如果G中存在H回路，称G为H图； 若G中存在H通路，称G为半H图； 说明：H图必是半H图，反之不然。 Herschel 图 该图是半H图。 H图的一个必要条件 定理8.2.1 如果G是一个H图，则对V(G)的任何非空真子集 S，均成立： ?(G – S) ? |S| (8.1) 证明：设C是G的H回路(G的所有顶点都在C上)，则显然有 ?(C – S) ? |S|成立，其中 ??S?V(G) 。 由于C – S是G– S的生成子图， C – S的 连通分支数不比G– S的少，因此： ?(G – S) ? ?(C – S) ? |S| 故(8.1)式成立。 一个非H图的判定 注意：这只是必要条件 注意定理8.2.1只是判断H图的必要条件，有的图虽然满足条件，却不是H图。 如右边的Peterson图不是H图。可是它却满足定理8.2.1的条件。 H图的一个充分条件 定理8.2.2：设G是p(?3)阶简单图。如果G中任何两个不邻接的顶点u和v均满足： d(u) + d(v) ? p (8.2) 则G是H图。 证明：若满足(8. 2)的简单图不是H图，令G(p, q)是其中边数最多的一个图。显然，G≠Kp 。 H图的一个充分条件 证明：…?H通路P: v1v2?vp， 其中u=v1, v=vp 。 H图的一个充分条件 证明：…… | S∪T | ＜ p。 H图的一个充分条件 定理8.2.2：设G是p(?3)阶简单图。如果G中任何两个不邻接的顶点u和v均满足： d(u) + d(v) ? p (8.2) 则G是H图。 证明：…… |S| = d(u) , |T| = d(v)，| S∪T | ＜ p，S∩T = ?， 定理8.2.2的条件不是必要的 例如下图是H图 但任意两顶点度 之和为4,而 P=5 H图的又一个充分条件 推论8.2.1 设G是 p (?3) 阶简单图，如果?(G) ? P/2 ,则G是H图。 证明：任取u ,v ∈V(G) ,由题设均有 d(u) + d(v) ? p/2 + p/2 = p 因此，由定理8.2.2知，G是H图。 图的闭包 定义8.2.2：设A是 p 阶图，对A中满足：