第八节 一些特殊的图2.ppt

第八章一些特殊的图 8.2 欧拉图 8.2 欧拉图 1736年瑞士数学家欧拉发表了图论的第一篇著名论文“哥尼斯堡七桥问题”(下称七桥问题)。这个问题是这样的：哥尼斯堡城有一条横贯全城的普雷格尔河，城的各部分用七桥联结，每逢节假日，有些城市居民进行环城周游，于是便产生了能否“从某地出发，通过每桥恰好一次，在走遍了七桥后又返回到原处”的问题。 图 8.1.1 反复的奔走试行和失败，使人们对成功的可能发 生疑惑，猜想问题无解，但又谁也说不清其中道理，于是有好事者去请教年轻的数学家欧拉(Euler)，刚开始欧拉也看不出这是一个数学问题,1736年，29岁的欧拉把这一问题化成数学问题，严格地论证了上述“七桥问题”无解，并由此开创了图论与拓扑学的思维方式和诸多概念与理论，1736年遂被公认为图论学科的历史元年，欧拉被尊为图论与拓扑学之父. 在图8.1.1画出了哥尼斯堡城图，城的四块陆地部分以A，B，C，和D标记。欧拉巧妙地把哥尼斯堡城图化为图8.1.2所示图G，他把陆地设为图G中的结点，把桥画成相应地联结陆地即结点的边。于是，通过哥尼斯堡城中每座桥恰好一次问题，等价于在图G中从某一结点出发找出一条链，它通过每条边恰好一次后回到原出发结点，亦即等价于在图G中寻找一个圈，它通过G中每一条边恰好一次。 图 8.1.2 欧拉图 2．欧拉图（ 欧拉回路与欧拉图） 经过图中每条边一次且仅一次并且行遍图中所有顶点的通路，称为欧拉通路． 若欧拉通路为回路，则称它为欧拉回路． 具有欧拉回路的图称为欧拉图． 具有欧拉通路的图称为半欧拉图． 欧拉通路判定定理 定理8.4 无向图G具有欧拉通路当且仅当G连通且没有或有两个奇度顶点． 若无奇度顶点，则欧拉通路为回路; 若有两个奇度顶点，则它们是每条欧拉通路的两个端点． 欧拉图判定定理 定理8.5 无向图G为欧拉图当且仅当G连通且无奇度顶点． 因上图是欧拉图，故能沿着一条（不唯一的）欧拉回路一笔画，且能回到出发点 1，2 ，3 ，4 ，7 ，8 ，10 ，11 ， 12 ，2 ，5 ，4 ，6 ，5 ，12 ，9 ， 6 ，8 ，9，11 ，1. 应用1：一笔画问题 许多智力题要求用笔连续移动，不离开纸面，每边只能画一次，不允许重复，将图形画出，称该图能一笔画。 利用欧拉回路和通路来解决这样的智力题。 例如能否将穆罕默德短弯刀一笔画？ 欧拉回路：a, b, d, g. h, j, i, h, k, g, f, d, c, b. e. i. f, e, a . 蚂蚁比赛问题 蚂蚁比赛问题 应用2:中国邮路问题 问题：一个邮递员从邮局出发,走遍所有街道,把邮件送到每个收件人手中,最后回到邮局,要怎样走,使全程路线最短。 转化为图论问题：以街道为边,以街道交叉点为结点,以街道的长度为边上的权,在带权图G=V,E,W上,找出一个经过所有边至少一次的回路,并使得该回路的权和达到最小。 说明：1、该回路未必是Euler回路,边允许重复。 2、中国管梅谷教授1962年提出了这个问题,著名数学家 J. 埃德蒙和他的合作者给出了一个解答。指出如果图G有m条边,则所求回路至少是m条边,最多不超过2m条边,并且每边在回路中至多出现两次。 有向欧拉图 定理8.6 有向图D为半欧拉图当且仅当D连通，且除两个顶点外，其余顶点的入度等于出度，这两个例外的顶点中，一个的入度比出度大1，另一个的入度比出度小1． 定理8.7 有向图D为欧拉图当且仅当D连通且每个顶点的入度等于出度． 判断有向图是否有欧拉路 图a)中（结点v1的入度比出度大1，结点v3的出度比入度大1，且除了这两个结点外，其余结点的入度等于出度） 因此，存在一条的欧拉通路 v3v1v2v3v4v1； 图(c)中所有结点的入度等于出度， 有欧拉回路 v1v2v3v4v5v6v7v8v2v4v6v8v1 因而(c)是欧拉图。 欧拉图应用：计算机鼓轮设计 旋转鼓的表面分成8块扇形，如图所示。图中阴影区表示用导电材料制成，空白区用绝缘材料制成，分别用二进制信号1或0表示。终端a、b和c是接地或不是接地.因此，鼓的位置可用二进制信号表示。试问应如何选取这8个扇形的材料使每转过一个扇形都得到一个不同的二进制信号，即每转一周，能得到000至111的8个数。 解： 每转一个扇形，信号a1a2a3变成a2a3a4 ，前者右两位决定了后者的左两位。因此，我们可把所有两位二进制数作结点，从每一个顶点a1a2到a2a3引一条有向边a1a2a3表示这个3位二进制数，作出表示所有可能的码变换的有向图（见下图）。 于是问题转化为在这个有向图上求一条欧拉回路。这个有向图的4个顶点的次数都是出度、入度各为2，根据定