欧拉图与哈密顿图.ppt





《欧拉图与哈密顿图.ppt》由会员分享,可在线阅读,更多相关《欧拉图与哈密顿图.ppt(41页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第15章 欧拉图与哈密顿图,离 散 数 学,中国地质大学本科生课程,本章内容,15.1 欧拉图 15.2 哈密顿图,15.1 欧拉图,历史背景哥尼斯堡七桥问题,欧拉图是一笔画出的边不重复的回路。,通路:设G为无向标定图,G中顶点与边的交替序列 vi0ej1vi1ej2vi2ejivil称为vi0到vil的通路,其中,vi0,vil分别称为的始点与终点。 回路:若vi0vil,则称通路为回路。 简单通路:通路中,若的所有边各异; 简单回路:简单通路中,若vi0vil; 初级通路或路径:若的所有顶点(除vi0与vij可能相同外)各异, 所有边也各异; 初级回路或圈:初级通路或路径中,若vi0vil
2、,,15.1 欧拉图,欧拉图,欧拉通路: 通过图(无向图或有向图)中所有边一次且仅 一次行遍图中所有顶点的通路; 欧拉回路: 通过图中所有边一次并且仅一次行遍所有顶点 的回路。 欧拉图: 具有欧拉回路的图; 半欧拉图:具有欧拉通路而无欧拉回路的图。,举例,欧拉图,半欧拉图,无欧拉通路,欧拉图,无欧拉通路,无欧拉通路,无向欧拉图的判定定理,定理15.1 无向图G是欧拉图当且仅当G是连通图,且G中没有奇度顶点。,定理15.2 无向图G是半欧拉图当且仅当G是连通的,且G中恰有两个奇度顶点。,无向欧拉图的判定定理,定理15.1 无向图G是欧拉图当且仅当G是连通图,且G中没有奇度顶点。 证明 若G是平凡
3、图,结论显然成立。 下面设G为非平凡图,设G是m条边的n阶无向图, 并设G的顶点集Vv1,v2,vn。 必要性。因为G为欧拉图,所以G中存在欧拉回路, 设C为G中任意一条欧拉回路,vi,vjV,vi,vj都在C上, 因而vi,vj连通,所以G为连通图。 又viV,vi在C上每出现一次获得2度, 若出现k次就获得2k度,即d(vi)2k, 所以G中无奇度顶点。,定理15.1的证明,定理15.1 无向图G是欧拉图当且仅当G是连通图,且G中没有奇度顶点。 充分性。由于G为非平凡的连通图可知,G中边数m1。 对m作归纳法。 (1)m1时,由G的连通性及无奇度顶点可知, G只能是一个环,因而G为欧拉图。
4、 (2)设mk(k1)时结论成立,要证明mk+1时,结论也成立。 由G的连通性及无奇度顶点可知,(G)2。 无论G是否为简单图,都可以用扩大路径法证明G中必含圈。,定理15.1的证明,设C为G中一个圈,删除C上的全部边,得G的生成子图G , 设G 有s个连通分支G 1,G 2,G s, 每个连通分支至多有k条边,且无奇度顶点, 并且设G i与C的公共顶点为v*ji,i1,2,s, 由归纳假设可知,G 1,G 2,G s都是欧拉图, 因而都存在欧拉回路C i,i1,2,s。 最后将C还原(即将删除的边重新加上), 并从C上的某顶点vr开始行遍,每遇到v*ji,就行遍G i中的欧拉回路C i,i1
5、,2,s,最后回到vr, 得回路vrv*j1v*j1v*j2v*j2v*jsv*jsvr, 此回路经过G中每条边一次且仅一次并行遍G中所有顶点, 因而它是G中的欧拉回路, 故G为欧拉图。,定理15.2 无向图G是半欧拉图当且仅当G是连通的,且G中恰有两个奇度顶点。 证明 必要性。设G是m条边的n阶无向图,因为G为半欧拉图, 因而G中存在欧拉通路(但不存在欧拉回路), 设vi0ej1vi1vim-1ejmvim为G中一条欧拉通路,vi0vim。 vV(G),若v不在的端点出现,显然d(v)为偶数, 若v在端点出现过,则d(v)为奇数, 因为只有两个端点且不同,因而G中只有两个奇数顶点。 另外,G
6、的连通性是显然的。,半欧拉图的判定定理,定理15.2 无向图G是半欧拉图当且仅当G是连通的,且G中恰有两个奇度顶点。 证明 充分性。设G的两个奇度顶点分别为u0和v0, 对G加新边(u0,v0),得G G(u0,v0), 则G 是连通且无奇度顶点的图, 由定理15.1可知,G 为欧拉图, 因而存在欧拉回路C ,而CC -(u0,v0)为G中一条欧拉通路, 所以G为半欧拉图。,半欧拉图的判定定理,有向欧拉图的判定定理,定理15.3 有向图D是欧拉图当且仅当D是强连通的且每个顶点的入度都等于出度。 定理15.4 有向图D是半欧拉图当且仅当D是单向连通的,且D中恰有两个奇度顶点,其中一个的入度比出度
7、大1,另一个的出度比入度大1,而其余顶点的入度都等于出度。,举例,有向欧拉图的判定定理,定理15.5 G是非平凡的欧拉图当且仅当G是连通的且为若干个边不重的圈的并。,例15.1,例15.1 设G是非平凡的且非环的欧拉图,证明: (1)(G)2。 (2)对于G中任意两个不同顶点u,v,都存在简单回路C含u和v。 证明 (1)由定理15.5可知,eE(G),存在圈C,e在C中, 因而p(G-e)p(G),故e不是桥。 由e的任意性(G)2,即G是2边-连通图。,例15.1,例15.1 设G是非平凡的且非环的欧拉图,证明: (1)(G)2。 (2)对于G中任意两个不同顶点u,v,都存在简单回路C含u
8、和v。 证明 (2)u,vV(G),uv,由G的连通性可知,u,v之间必存在 路径1,设G G-E(1),则在G 中u与v还必连通, 否则,u与v必处于G 的不同的连通分支中, 这说明在1上存在G中的桥,这与(1)矛盾。 于是在G 中存在u到v的路径2,显然1与2边不重, 这说明u,v处于12形成的简单回路上。,求欧拉图中欧拉回路的算法,Fleury算法,能不走桥就不走桥 (1) 任取v0V(G),令P0v0。 (2) 设Piv0e1v1e2eivi已经行遍,按下面方法来从 E(G)-e1,e2,ei中选取ei+1: (a) ei+1与vi相关联; (b) 除非无别的边可供行遍,否则ei+1不
9、应该为 GiG-e1,e2,ei中的桥。 (3)当(2)不能再进行时,算法停止。,Fleury算法示例,例15.2,对于欧拉图G,某人用Fleury算法求G中的欧拉回路时,走了简单回路v2e2v3e3v4e14v9e10v2e1v1e8v8e9v2之后,无法行遍了,试分析在哪步他犯了错误?,解答 此人行遍v8时犯了能不走桥就不走桥 的错误,因而他没行遍出欧拉回路。 当他走到v8时,G-e2,e3,e14,e10,e1,e8为下图所示。,此时e9为该图中的桥,而e7,e11均不是桥,他不应该走e9,而应该走e7或e11,他没有走,所以犯了错误。,例15.2,解答:此人行遍v8时犯了能不走桥就不走
10、桥的错误,因而他没行遍出欧拉回路。 当他走到v8时,G-e2,e3,e14,e10,e1,e8为下图所示。,注意:此人在行遍中,在v3遇到过桥e3,v1处遇到过桥e8,但当时除桥外无别的边可走,所以当时均走了桥,这是不会犯错误的。,对于欧拉图G,某人用Fleury算法求G中的欧拉回路时,走了简单回路v2e2v3e3v4e14v9e10v2e1v1e8v8e9v2之后,无法行遍了,试分析在哪步他犯了错误?,15.2 哈密顿图,历史背景:哈密顿周游世界问题与哈密顿图,哈密顿图,定义15.2 经过图(有向图或无向图)中所有顶点一次且仅一次的通路称为哈密顿通路。 经过图中所有顶点一次且仅一次的回路称为
11、哈密顿回路。具有哈密顿回路的图称为哈密顿图, 具有哈密顿通路但不具有哈密顿回路的图称为半哈密顿图。平凡图是哈密顿图。 说明哈密顿通路是图中生成的初级通路,哈密顿回路是生成的初级回路。 判断一个图是否为哈密顿图,就是判断能否将图中所有顶点都放置在一个初级回路(圈)上,但这不是一件易事。 与判断一个图是否为欧拉图不一样,到目前为止,人们还没有找到哈密顿图简单的充分必要条件。,例题,(1)(2)是哈密顿图。 (3)是半哈密顿图。 (4)既不是哈密顿图,也不是半哈密顿图。,定理15.6,定理15.6 设无向图G是哈密顿图,对于任意V1V,且V1,均有 p(G-V1)|V1| 其中,p(G-V1)为G-
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 欧拉图 哈密

限制150内