离散数学第15章.ppt

1 第十五章 欧拉图与哈密顿图 主要内容 欧拉图 哈密顿图 带权图与货郎担问题 2 15.1 欧拉图 历史背景：哥尼斯堡七桥问题与欧拉图 3 欧拉图定义 定义15.1 (1) 欧拉通路——经过图中每条边一次且仅一次行遍所有顶点的通路. (2) 欧拉回路——经过图中每条边一次且仅一次行遍所有顶点的回路. (3) 欧拉图——具有欧拉回路的图. (4) 半欧拉图——具有欧拉通路而无欧拉回路的图. 几点说明： 规定平凡图为欧拉图. 欧拉通路是生成的简单通路，欧拉回路是生成的简单回路. 环不影响图的欧拉性. 4 实例 图a和图d是欧拉图；图b和图e不是欧拉图，但存在欧拉通路；图c和图f不存在欧拉通路。 5 无向欧拉图的判别法 定理15.1 无向图G是欧拉图当且仅当G连通且无奇度顶点. 证 若G 为平凡图无问题. 下设G为 n 阶 m 条边的无向图. 必要性 设C 为G 中一条欧拉回路. (1) G 连通显然. (2) viV(G)，vi在C上每出现一次获2度，所以vi为偶度顶点. 由vi 的任意性，结论为真. 充分性 对边数m做归纳法. (1) m=1时，G为一个环，则G为欧拉图. (2) 设mk（k1）时结论为真，m=k+1时如下证明： 7 半欧拉图的判别法 定理15.2 无向图G是半欧拉图当且仅当G 连通且恰有两个奇 度顶点. 证 必要性略. 充分性（利用定理15.1） 设u,v为G 中的两个奇度顶点，令 G  =G(u,v) 则G  连通且无奇度顶点，由定理15.1知G 为欧拉图，因而 存在欧拉回路C，令 =C(u,v) 则 为 G 中欧拉通路. 8 有向欧拉图的判别法 定理15.3 有向图D是欧拉图当且仅当每个顶点的入度都等于出度. 显然，欧拉图D是强连通的. 定理15.4 有向图D是半欧拉图当且仅当，D中恰有两个奇度顶点，且其中一个奇度顶点的入度比出度大1，另一个奇度顶点的出度比入度大1，而其余顶点的入度都等于出度. 显然，半欧拉图D是单向连通的. 定理15.5 G是非平凡的欧拉图当且仅当G是连通的且为若干 个边不重的圈之并. 说明：该定理提供了构造欧拉回路的方法即逐步插入回路法。 9 构造欧拉回路 1 2 3 4 5 6 1 2 3 4 5 6 C1=(1,2,3,1) C2=(3,4,5,3) C3=(4,6,5,2,4) C=(1,2,3,4,6,5,2,4,5,3,1) 10 七桥问题有解吗？ 七桥图中四个顶点都是奇度顶点。根据欧拉图的判定定理易知，该图中无欧拉回路，所以七桥问题是无解的。 请问：至少要架几座桥使得七桥问题有解？ 练习：判断下列命题的真假 (1) 完全图Kn（n3）是欧拉图. (2) n （n2）阶有向完全图是欧拉图. (3) 当r,s为正偶数时，完全二部图Kr,s是欧拉图. 11 有向欧拉图举例 图(a)存在一条的欧拉通路：v3v1v2v3v4v1； 图(b)中存在欧拉回路v1v2v3v4v1v3v1； 图(c)中有欧拉回路v1v2v3v4v5v6v7v8v2v4v6v8v1。 12 例1设G为n（n2）阶无向欧拉图，证明 (G)2.（G中无桥) 方法二：反证法. 利用欧拉图无奇度顶点及握手定理的推论. 否则，设e=(u,v)为G中桥，则Ge产生两个连通分支G1, G2，不妨设u在G1中，v在G2中. 由于从G中删除e时，只改变u,v 的度数(各减1)，因而G1与G2中均只含一个奇度顶点，这与握手定理推论矛盾. 方法一：直接证明法. 命题 (*)：设C为任意简单回路，e为C上任意一条边，则Ce连通. 证 设C为G中一条欧拉回路，任意的eE(C)，可知Ce是Ge的子图，由()知 Ce 连通，所以e不为桥. 例题 13 一笔画问题 14 一笔画问题 对于上图，有 图(a)能一笔画并且能回到出发点的， 图(b)能一笔画但不能回到出发点的。 15 Fleury算法 算法： (1) 任取v0V(G)，令P0=v0. (2) 设Pi = v0e1v1e2…eivi 已经行遍，按下面方法从 E(G){e1,e2,…,ei }中选取ei+1： (a) ei+1与vi 相关联； (b) 除非无别的边可供行遍，否则ei+1不应该为 Gi = G{e1,e2,…,ei }中的桥. (3) 当 (2)不能再进行时，算法停止. 可以证明算法停止时所得简单通路 Pm = v0e1v1e2…emvm (vm=v0)为G 中一条欧拉回