离散数学欧拉图与哈密尔顿图解析.ppt

定理15.7 定理15.8 * * 第四章 欧拉图与哈密尔顿图 主要内容 一、欧拉图与中国邮路问题 二、哈密尔顿图 三、最短路问题与货郎担问题 教学时数 安排8学时讲授本章内容 本次课主要内容 (一)、欧拉图及其性质 (二)、Fleury算法 (三)、中国邮路问题 欧拉图与中国邮路问题 1、欧拉图的概念 (一)、欧拉图及其性质 (1)、问题背景——欧拉与哥尼斯堡七桥问题 结论：在一个点线连接的图形中，如果每个顶点关联偶数条边，并且点与点之间有路可行，则从某点出发，经过每条边一次且仅一次，可以回到出发点。 哥尼斯堡城(位于德国北部), 在欧拉的生活与图论历史中扮演着非常重要角色。因为它，产生了著名的欧拉图定理，因为它，产生了图论。 注：一笔画----中国古老的民间游戏 要求：对于一个图G, 笔不离纸, 一笔画成. (2)、欧拉图概念 定义1 对于连通图G，如果G中存在经过每条边的闭迹，则称G为欧拉图，简称G为E图。欧拉闭迹又称为欧拉环游，或欧拉回路。 欧拉图 4 1 3 2 4 1 3 2 非欧拉图有欧拉迹 非欧拉图无欧拉迹 1 2 3 4 2、欧拉图的性质 定理1 下列陈述对于非平凡连通图G是等价的： (1) G是欧拉图； (2) G的顶点度数为偶数； (3) G的边集合能划分为圈。 证明: (1)→(2) 由(1)，设 C是欧拉图G的任一欧拉回路，v是G中任意顶点，v在环游中每出现一次，意味在G中有两条不同边与v关联，所以，在G中与v关联的边数为偶数，即v的度数为偶数，由v的任意性，即证明(2)。 (2)→(3) 由于G是连通非平凡的且每个顶点度数为偶数，所以G中至少存在圈C1,从G中去掉C1中的边，得到G的生成 子图G1,若G1没有边，则(3)成立。否则，G1的每个非平凡分支是度数为偶数的连通图，于是又可以抽取一个圈。反复这样抽取，E(G)最终划分为若干圈。 (3)→(1) 设C1是G的边划分中的一个圈。若G仅由此圈组成，则G显然是欧拉图。 否则，由于G连通，所以，必然存在圈C2,它和C1有公共顶点。于是，C1∪C2是一条含有C1与C2的边的欧拉闭迹，如此拼接下去，得到包含G的所有边的一条欧拉闭迹。即证G是欧拉图。 推论1 连通图G是欧拉图当且仅当G的顶点度数为偶。 推论2 连通非欧拉图G存在欧拉迹当且仅当G中只有两个顶点度数为奇数。 例1 下面图中谁是欧拉图？谁是非欧拉图但存在欧拉迹？谁是非欧拉图且不存在欧拉迹？ G1 G2 G3 解：G1是欧拉图；G2是非欧拉图，但存在欧拉迹；G3中不存在欧拉迹。 (二)、Fleury算法 该算法解决了在欧拉图中求出一条具体欧拉环游的方法。方法是尽可能避割边行走。 1、 算法 (1)、 任意选择一个顶点v0,置w0=v0; (2)、 假设迹wi=v0e1v1…eivi已经选定，那么按下述方法从E-｛e1,e2,…,ei｝中选取边ei+1: 1)、 ei+1与vi+1相关联； 2)、除非没有别的边可选择，否则 ei+1不能是 Gi=G-｛e1,e2,…,ei｝的割边。 (3)、 当(2)不能执行时，算法停止。 例3 在下面欧拉图G中求一条欧拉回路。 d c b a f e g 图G h j i 解： d c b a f e g 图G h j i 例4 某博物馆的一层布置如下图，其中边代表走廊，结点e是入口，结点g是礼品店，通过g我们可以离开博物馆。请找出从博物馆e进入，经过每个走廊恰好一次，最后从g处离开的路线。 a f e d c b i h g j 解：图中只有两个奇度顶点e和g,因此存在起点为e,终点为g的欧拉迹。 为了在G中求出一条起点为e,终点为g的欧拉迹，在e和g间添加一条平行边m a f e d c b i h g j m 用Fleury算法求出欧拉环游为： emgcfabchbdhgdjiejge 所以：解为：egjeijdghdbhcbafcg 例4 证明：若G有2k0个奇数顶点，则存在k条边不重的迹Q1,Q2,…,Qk，使得： 证明：不失一般性，只就G是连通图进行证明。 设G=(n, m)是连通图。令vl，v2，…,vk,vk+1,…,v2k是G的所有奇度点。 在vi与vi+k间连新边ei得图G*（1≦i≦k).则G*是欧拉图，因此，由Fleury算法得欧拉环