一条欧拉道路回路.PPT

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 主要内容 Euler图及其应用 欧拉道路（回路）的定义 如何判别欧拉图 一个图含有欧拉道路的条件 连通有向图G中含有有向欧拉道路和回路的充要条件 Fleury算法 Euler图的应用(中国邮递员问题算法) * 计算机学院 * 哥尼斯堡七桥问题 　 哥尼斯堡城市有一条横贯全城的普雷格尔(Pregel)河，城的各部分用七座桥联接，每逢假日，城中居民进行环城逛游，这样就产生了一个问题：能不能设计一次“遍游”，使得从某地出发对每座跨河桥只走一次，而在遍历了七桥之后却又能回到原地？ A b2 B D C b4 b1 b3 b5 b7 b6 * 计算机学院 * Euler图 定义13-1.1　设G是一个无孤立结点的图，包含 G的每条边的简单道路（回路）称为该图的一条 欧拉道路（回路）。具有欧拉回路的图称为欧 拉图。 　　规定平凡图为欧拉图。 显然，每个欧拉图必然是连通图。 因此，一条欧拉道路（回路）是经过图中每边一次且仅一次的道路（回路）。 为什么？ * 计算机学院 * 例13-1.1 v5 v1 v2 v3 v4 a) v5 v1 v2 v3 v4 b) v4 v1 v2 v3 c) 图a是欧拉图；图b不是欧拉图，但存在欧拉道路；图c不存在欧拉道路。 * 计算机学院 * 定理13-1.1 　无向连通图G＝V，E是欧拉图当且仅当G的所有结点的度数都为偶数。 证明： “?” 设G是Euler图，则G必然存在一条包含所有边（也包含所有结点）的回路C，对?u?V，u必然在C中出现一次（可出现多次），每出现u一次，都关联着G中的两条边，而当u又重复出现时，它又关联着G中的另外的两条边，（为什么？） 因而u每出现一次，都将使得结点u的度数增加2度，若u在通路中重复出现j次，则deg(u)＝2j。 即u的度数必为偶数。 由于在回路C中边不可能重复出现 * 计算机学院 * “?” 设连通图G的结点的度数都是偶数，则G必含有简单回路（可对结点个数进行归纳证明） 。 设C是一条包含G中边最多的简单回路： ⑴ 若C已经包含G中所有的边，则C就是Euler回路，结论成立。 ⑵ 若C不能包含G中所有的边，则删边子图 G-E（C）仍然无奇数度结点。 由于G是连通的，C中应至少存在一点v，使G-E（C）中有一条包含v的回路C′。（见示意图） Why? * 计算机学院 * 这样，就可以构造出一条由C和C′组成的G的回路，其包含的边数比C多，与假设矛盾。因此，C必是Euler回路，结论成立。 * 计算机学院 * 证明：“?” 设G具有一条Euler道路L，则在L中除起点和终点外，其余每个结点都与偶数条边相关联，所以，G中仅有零个（Euler回路）或者两个奇数度结点。 “?” ⑴若 G没有奇度数结点，则结论显然成立； ⑵若G有两个奇度数结点u和v，则G+uv是Euler图，从而存在Euler回路C。从C中去掉边uv，则得到一条简单道路L（起点u和终点v），且包含了G的全部边，即L是一条Euler道路。 推论13-1.1.1非平凡连通图G＝V，E含有欧拉道路当且仅当G仅有零个或者两个奇数度结点。 注意：若有两个奇度数结点，则它们是G中每条欧拉通路的端点。 * 计算机学院 * 例13-1.2 由定理13-1.1及推论13-1.1.1容易看出： 是欧拉图； 不是欧拉图，但存在欧拉道路； 既不是欧拉图，也不存在欧拉道路。 V2 V1 V5 V3 V4 (a) V2 V1 V5 V3 V4 (b) V1 V4 V2 V3 (c) 现在，我们是不是已经解决了哥尼斯堡七桥问题？ A b2 B D C b4 b1 b3 b5 b7 b6 * 计算机学院 * 有向图的欧拉道路、欧拉图 定理13-1.2　 ⅰ）有向连通图G含有有向欧拉道路，当且仅当除了两个结点以外，其余结点的入度等于出度，而这两个例外的结点中，一个结点的入度比出度大1，另一个结点的出度比入度大1。 ⅱ）有向连通图G含有有向欧拉回路，当且仅当G中的所有结点的入度等于出度。 类似于无向图的讨论，对有向图我们有以下结论： 同样，有向Euler图的结点度数都为偶数；含有有向Euler道路的图仅有零个或者两个奇度数结点。 * 计算机学院 * 例13-1.3 V1 V2 V3 V4 V1 V2 V3 V4 V8 V2 V4 V6 V1 V3 V5 V7 图a)存在一条的欧拉道路：v3v1v2v3v4v1； (a) (b) (c) 图(b)中存在欧拉回路v1v2v3v4v1