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

No Image 1 第四章 欧拉图与哈密尔顿图 主要内容 一、欧拉图与中国邮路问题 二、哈密尔顿图 三、最短路问题与货郎担问题 教学时数 安排 8 学时讲授本章内容 No Image 2 本次课主要内容 ( 一 ) 、欧拉图及其性质 ( 二 ) 、 Fleury 算法 ( 三 ) 、中国邮路问题 欧拉图与中国邮路问题 No Image 3 1 、欧拉图的概念 ( 一 ) 、欧拉图及其性质 (1) 、问题背景 —— 欧拉与哥尼斯堡七桥问题 结论：在一个点线连接的图形中，如果每个顶点关联 偶数条边，并且点与点之间有路可行，则从某点出发， 经过每条边一次且仅一次，可以回到出发点。 No Image 4 哥尼斯堡城 ( 位于德国北部 ), 在欧拉的生活与图论历 史中扮演着非常重要角色。因为它，产生了著名的欧拉 图定理，因为它，产生了图论。 注：一笔画 ---- 中国古老的民间游戏 要求：对于一个图 G, 笔不离纸 , 一笔画成 . (2) 、欧拉图概念 定义 1 对于连通图 G ，如果 G 中存在经过每条边的闭 迹，则称 G 为欧拉图，简称 G 为 E 图。欧拉闭迹又称为 欧拉环游，或欧拉回路。 欧拉图 4 1 3 2 4 1 3 2 非欧拉图 有欧拉迹 非欧拉图 无欧拉迹 1 2 3 4 No Image 5 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 中至少存在圈 C 1 , 从 G 中去掉 C 1 中的边，得到 G 的生成 No Image No Image No Image 8 ( 二 ) 、 Fleury 算法 该算法解决了在欧拉图中求出一条具体欧拉环游的方 法。方法是尽可能避割边行走。 1 、 算法 (1) 、 任意选择一个顶点 v 0 , 置 w 0 =v 0 ; No Image 9 (2) 、 假设迹 w i =v 0 e 1 v 1 …e i v i 已经选定，那么按下述方 法从 E- ｛ e 1 ,e 2 ,…,e i ｝中选取边 e i+1 : 1) 、 e i+1 与 v i+1 相关联； 2) 、除非没有别的边可选择，否则 e i+1 不能是 G i =G- ｛ e 1 ,e 2 ,…,e i ｝的割边。 (3) 、 当 (2) 不能执行时，算法停止。 例 3 在下面欧拉图 G 中求一条欧拉回路。 d c b a f e g 图 G h j i No Image 10 解： 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 No Image 11 解：图中只有两个奇度顶点 e 和 g, 因此存在起点为 e, 终 点为 g 的欧拉迹。 为了在 G 中求出一条起点为 e, 终点为 g 的欧拉迹，在 e 和 g 间添加一条平行边 m a f e d c b i h g j m 用 Fleury 算法求出欧拉环游为： emgcfabchbdhgdjiejge 所以：解为： egjeijdghdbhcbafcg No Image 12 例 4 证明：若 G 有 2k0 个奇数顶点，则存在 k 条边不重 的迹 Q 1