欧拉图与汉密尔顿图解析.ppt

7-4 欧拉图与哈密尔顿图 1736年瑞士数学家列昂哈德·欧拉(leonhard Euler)发表了图论的第一篇论文“哥尼斯堡七桥问题”。这个问题是这样的：哥尼斯堡(Konigsberg)城市有一条横贯全城的普雷格尔(Pregel) 河，城的各部分用七座桥连接，每逢假日，城中的居民进行环城的逛游，这样就产生一个问题，能不能设计一次“逛游”，使得从某地出发对每座跨河桥走一次，而在遍历了七桥之后却又能回到原地。 这个问题可用图7-4.1 表示。 Leonhard Euler Leonhard Euler(1707~1783): 人类有史以来最多产的数学家. 1736年,“七桥问题”,图论和拓扑学诞生 图7-4.2为七桥问题的图。 图中的结点A，B，C，D表示四块地，而边表示七座桥。哥尼斯堡七桥问题是在图中找寻经过每一条边且仅一次而回到原地的通路。 欧拉在1736年的一篇论文中提出了一条简单的准则，确定了哥尼斯堡七桥问题是不能解的。下面将讨论这个问题的证明。 [定义] 欧拉回路 给定无孤立点图G，若存在一条路，经过图中每边一次且仅一次，该条路称为欧拉路；若存在一条回路，经过图中的每边一次且仅一次，该回路称为欧拉回路。具有欧拉回路的图称为欧拉图 [定理] 无向图G具有一条欧拉路，当且仅当G是连通的，且有零个或两个奇数度结点。 证明 必要性: 设G具有欧拉路，即有点边序列v0e1v1e2v2…eiviei+1…ekvk，其中结点可能重复出现，但边不重复，因为欧拉路经过图G中每一个结点，故图G必连通的。对任意一个不是端点的结点vi，在一个欧拉路中每当vi出现一次，必关联两条边，故虽然vi可重复出现，但deg(vi)必是偶数。对于端点，若v0=vk，则deg(v0)为偶数，即G中无奇数度结点，若端点v0与vk不同，则deg(v0)为奇数，deg(vk )为奇数，G中就有两个奇数度结点。 充分性: 若图G连通，有零个或两个奇数度结点，我们构造一条欧拉路如下： ⑴若有两个奇数独结点，则从其中的一个结点开始构造一条迹，即从v0出发关联e1“进入”v1，若deg(v1)为偶数，则必由v1再经过e2进入v2，如此进行下去，每次仅取一次。由于G是连通的，故必可到达另一奇数度结点停下，得到一条迹L1：v0e1v1e2v2…eiviei+1…ekvk。若G中没有奇数度结点，则从任一结点v0出发，用上述的方法必可回到结点v0，得到上述一条闭迹L1。 ⑵若L1通过了G的所有边，则L1就是欧拉路。 ⑶若G中去掉L1后得到子图G’，则G’中每一点的度数为偶数，因原图是连通的，故L1与G’至少有一个结点vi重合，在G’中由vi出发重复⑴的方法，得到闭迹L2。 ⑷当L1与L2组合在一起，如果恰是G，则即得欧拉路，否则重复⑶可得到闭迹L3，以此类推直到得到一条经过图G中所有边的欧拉路。 推论 无向图G具有一条欧拉回路，当且仅当G是连通的，并且所有结点度数为偶数。 由于有了欧拉路和欧拉回路的判别准则，因此哥尼斯堡七桥问题立即有了确切的答案，因为有四个结点的度数皆为奇数，故欧拉路必不存在。 与七桥问题类似的还有一笔划的判别问题，要判定一个图G是否可一笔划画出，有两种情况：一是从图G中某一结点出发，经过图G的每一边一次且仅一次到达另一结点。另一种就是从G的某个结点出发，经过G的每一边一次且仅一次回到该结点。上述两种情况可以由欧拉路和欧拉回路的判定条件给予解决。 欧拉路和欧拉回路的概念，很容易推广到有向图上去。 定义7-4.2 给定有向图G，通过每边一次且仅一次的一条单向路(回路)，称作单向欧拉路(回路)。 定理7-4.2有向图G具有一条单向欧拉回路，当且仅当是连通的，且每个结点的入度等于出度。一个有向图G具有单向欧拉路，当且仅当是连通的，而且出两个结点外，每个结点的入度等于出度，但这两个结点中，一个结点的入度比出度大1。另一个结点的入度比出度小1。 这个定理的证明可以看作是无向图的欧拉路的推广，因为对于有向图的任意一个结点来说，如果入度与出度相等，则该结点的总度数为偶数，若入度和出度之差为1时，其总度数为奇数。因此定理的证明与定理7-4.1相似。 例3.1.3 计算机鼓轮设计。设有旋转鼓轮其表面等分成个部分。如图所示。 其中每一部分分别用绝缘体或导体组成。绝缘体部分给出信号为0，导体给出的信号为1，在图3.1.16中所示的阴影部分为导体，空白部分表示绝缘体，根据图中鼓轮的位置，触点将得到信号为1101，如果将鼓轮顺时针方向转一个部分，触点将有信号1010。问鼓轮上的16个绝缘体和导体怎样安排，才能使鼓轮每旋转一个部分，四个触点能得到一组不同的四位二进制码。 设有八个结点的有向图，如图3.1.17所示， 其结点分别记三位二进制码{000，001，010，011，10