欧拉图与哈密顿图-PPT.ppt





《欧拉图与哈密顿图-PPT.ppt》由会员分享,可在线阅读,更多相关《欧拉图与哈密顿图-PPT.ppt(42页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第第1515章章 欧拉图与哈密顿图欧拉图与哈密顿图离离 散散 数数 学学本章内容本章内容本章内容本章内容15.1 15.1 欧拉图欧拉图15.2 15.2 哈密顿图哈密顿图2 215.1 15.1 15.1 15.1 欧拉图欧拉图欧拉图欧拉图q历史背景哥尼斯堡七桥问题历史背景哥尼斯堡七桥问题q欧拉图是一笔画出的边不重复的回路欧拉图是一笔画出的边不重复的回路。3 3 通通路路:设设G为为无无向向标标定定图图,G中中顶顶点点与与边边的的交交替替序序列列 vi0ej1vi1ej2vi2ejivil称称为为vi0到到vil的的通通路路,其其中中,vi0,vil分分别别称称为为的的始点与终点。始点与终点
2、。回路回路:若若vi0vil,则称通路为回路。,则称通路为回路。简单通路简单通路:通路中,若通路中,若的所有边各异的所有边各异;简单回路简单回路:简单通路中,若简单通路中,若vi0vil;初级通路或路径:若初级通路或路径:若的所有顶点的所有顶点(除除vi0 0与与vij可能相同外可能相同外)各异,各异,所有边也各异;所有边也各异;初级回路或圈初级回路或圈:初级通路或路径中,若初级通路或路径中,若vi0 0vil,15.1 15.1 15.1 15.1 欧拉图欧拉图欧拉图欧拉图4 4欧拉图欧拉图欧拉图欧拉图 欧拉通路欧拉通路:通过图(无向图或有向图)中所有边一次且仅通过图(无向图或有向图)中所有
3、边一次且仅 一次行遍图中所有顶点的通路一次行遍图中所有顶点的通路;欧拉回路欧拉回路:通过图中所有边一次并且仅一次行遍所有顶点通过图中所有边一次并且仅一次行遍所有顶点 的回路。的回路。欧拉图欧拉图:具有欧拉回路的图具有欧拉回路的图;半欧拉图半欧拉图:具有欧拉通路而无欧拉回路的图。具有欧拉通路而无欧拉回路的图。5 5举例举例举例举例欧拉图欧拉图半欧拉图半欧拉图无欧拉通路无欧拉通路欧拉图欧拉图无欧拉通路无欧拉通路无欧拉通路无欧拉通路6 6无向欧拉图的判定定理无向欧拉图的判定定理无向欧拉图的判定定理无向欧拉图的判定定理 定理定理15.1 15.1 无向图无向图G是欧拉图当且仅当是欧拉图当且仅当G是连通
4、图,且是连通图,且G中没有奇中没有奇度顶点。度顶点。定理定理15.2 15.2 无向图无向图G G是半欧拉图当且仅当是半欧拉图当且仅当G G是连通的,且是连通的,且G G中恰有中恰有两个奇度顶点。两个奇度顶点。7 7大家有疑问的,可以询问和交流大家有疑问的,可以询问和交流可以互相讨论下,但要小声点可以互相讨论下,但要小声点可以互相讨论下,但要小声点可以互相讨论下,但要小声点9 9有向欧拉图的判定定理有向欧拉图的判定定理有向欧拉图的判定定理有向欧拉图的判定定理定理定理15.3 15.3 有向图有向图D是欧拉图当且仅当是欧拉图当且仅当D是强连通的且每个顶点的是强连通的且每个顶点的入度都等于出度。入
5、度都等于出度。定理定理15.4 15.4 有向图有向图D是半欧拉图当且仅当是半欧拉图当且仅当D是单向连通的,且是单向连通的,且D中中恰有两个奇度顶点,其中一个的入度比出度大恰有两个奇度顶点,其中一个的入度比出度大1 1,另一个的出,另一个的出度比入度大度比入度大1 1,而其余顶点的入度都等于出度。,而其余顶点的入度都等于出度。举例举例1414有向欧拉图的判定定理有向欧拉图的判定定理有向欧拉图的判定定理有向欧拉图的判定定理定理定理15.5 15.5 G是非平凡的欧拉图当且仅当是非平凡的欧拉图当且仅当G是连通的且为若干个边是连通的且为若干个边不重的圈的并。不重的圈的并。1515例例例例15.1 1
6、5.1 15.1 15.1 例例15.1 15.1 设设G是非平凡的且非环的欧拉图,证明:是非平凡的且非环的欧拉图,证明:(1)(1)(G)2)2。(2)(2)对于对于G中任意两个不同顶点中任意两个不同顶点u,v,都存在简单回路都存在简单回路C含含u和和v。证明证明(1)(1)由定理由定理15.515.5可知,可知,eE(G),存在圈存在圈C,e在在C中,中,因而因而p(G-e)p(G),故故e不是桥。不是桥。由由e的任意性的任意性(G)2)2,即即G是是2 2边边-连通图。连通图。1616例例例例15.1 15.1 15.1 15.1 例例15.1 15.1 设设G是非平凡的且非环的欧拉图,
7、证明:是非平凡的且非环的欧拉图,证明:(1)(1)(G)2)2。(2)(2)对于对于G中任意两个不同顶点中任意两个不同顶点u,v,都存在简单回路都存在简单回路C含含u和和v。证明证明(2)(2)u,vV(G),uv,由由G的连通性可知,的连通性可知,u,v之间必存在之间必存在 路路径径1 1,设设G G-E(1 1),则在则在G 中中u与与v还必连通,还必连通,否则,否则,u与与v必处于必处于G 的不同的连通分支中,的不同的连通分支中,这说明在这说明在1 1上存在上存在G中的桥,这与中的桥,这与(1)(1)矛盾。矛盾。于是在于是在G 中存在中存在u到到v的路径的路径2 2,显然显然1 1与与2
8、 2边不重,边不重,这说明这说明u,v处于处于1 12 2形成的简单回路上。形成的简单回路上。1717求欧拉图中欧拉回路的算法求欧拉图中欧拉回路的算法求欧拉图中欧拉回路的算法求欧拉图中欧拉回路的算法Fleury算法,算法,能不走桥就不走桥能不走桥就不走桥 (1)(1)任取任取v0 0V(G),令令P0 0v0 0。(2)(2)设设Piv0 0e1 1v1 1e2 2eivi已经行遍,按下面方法来从已经行遍,按下面方法来从 E(G)-)-e1 1,e2 2,ei 中选取中选取ei+1+1:(a)(a)ei+1+1与与vi相关联;相关联;(b)b)除非无别的边可供行遍,否则除非无别的边可供行遍,否
9、则ei+1+1不应该为不应该为 GiG-e1 1,e2 2,ei 中的桥。中的桥。(3)(3)当当(2)(2)不能再进行时,算法停止。不能再进行时,算法停止。1818FleuryFleuryFleuryFleury算法示例算法示例算法示例算法示例1919例例例例15.215.215.215.2 对于欧拉图对于欧拉图G,某人用某人用Fleury算法求算法求G中的欧拉回路时,走了简中的欧拉回路时,走了简单回路单回路v2 2e2 2v3 3e3 3v4 4e1414v9 9e1010v2 2e1 1v1 1e8 8v8 8e9 9v2 2之后,无法行遍了,试分析之后,无法行遍了,试分析在哪步他犯了错
10、误在哪步他犯了错误?解答解答 此人行遍此人行遍v8 8时犯了能不走桥就不走桥时犯了能不走桥就不走桥 的错误,因而他没行遍出欧拉回路。的错误,因而他没行遍出欧拉回路。当他走到当他走到v8 8时,时,G-e2 2,e3 3,e1414,e1010,e1 1,e8 8 为为下图所示。下图所示。此时此时e9 9为该图中的桥,而为该图中的桥,而e7 7,e1111均不是桥,均不是桥,他不应该走他不应该走e9 9,而应该走而应该走e7 7或或e1111,他没有他没有走,所以犯了错误。走,所以犯了错误。2020例例例例15.215.215.215.2 解答:此人行遍解答:此人行遍v8 8时犯了能不走桥就不走
11、时犯了能不走桥就不走桥的错误,因而他没行遍出欧拉回路。桥的错误,因而他没行遍出欧拉回路。当他走到当他走到v8 8时,时,G-e2 2,e3 3,e1414,e1010,e1 1,e8 8 为为下图所示。下图所示。注意:此人在行遍中,在注意:此人在行遍中,在v3 3遇到过桥遇到过桥e3 3,v1 1处遇到过桥处遇到过桥e8 8,但当时除桥外无别的边可但当时除桥外无别的边可走,所以当时均走了桥,这是不会犯错误走,所以当时均走了桥,这是不会犯错误的。的。对于欧拉图对于欧拉图G,某人用某人用Fleury算法求算法求G中的欧拉回路时,中的欧拉回路时,走了简单回路走了简单回路v2e2v3e3v4e14v9
12、e10v2e1v1e8v8e9v2之后,无法之后,无法行遍了,试分析在哪步他犯了错误行遍了,试分析在哪步他犯了错误?212115.2 15.2 15.2 15.2 哈密顿图哈密顿图哈密顿图哈密顿图q历史背景:哈密顿周游世界问题与哈密顿图历史背景:哈密顿周游世界问题与哈密顿图2222哈密顿图哈密顿图哈密顿图哈密顿图 定义定义15.2 15.2 经过图(有向图或无向图)中所有顶点一次且仅一经过图(有向图或无向图)中所有顶点一次且仅一次的通路称为哈密顿通路。次的通路称为哈密顿通路。经过图中所有顶点一次且仅一次的回路称为哈密顿回路。具经过图中所有顶点一次且仅一次的回路称为哈密顿回路。具有哈密顿回路的图
13、称为哈密顿图,有哈密顿回路的图称为哈密顿图,具有哈密顿通路但不具有哈密顿回路的图称为半哈密顿图。具有哈密顿通路但不具有哈密顿回路的图称为半哈密顿图。平凡图是哈密顿图。平凡图是哈密顿图。说明说明哈密顿通路是图中生成的初级通路,哈密顿回路是生成哈密顿通路是图中生成的初级通路,哈密顿回路是生成的初级回路。的初级回路。判断一个图是否为哈密顿图,就是判断能否将图中所有顶点判断一个图是否为哈密顿图,就是判断能否将图中所有顶点都放置在一个初级回路都放置在一个初级回路(圈圈)上,但这不是一件易事。上,但这不是一件易事。与判断一个图是否为欧拉图不一样,到目前为止,人们还没与判断一个图是否为欧拉图不一样,到目前为
14、止,人们还没有找到哈密顿图简单的充分必要条件。有找到哈密顿图简单的充分必要条件。2323例题例题例题例题(1)(2)(1)(2)是哈密顿图。是哈密顿图。(3)(3)是半哈密顿图。是半哈密顿图。(4)(4)既不是哈密顿图,也不是半哈密顿图。既不是哈密顿图,也不是半哈密顿图。2424定理定理定理定理15.6 15.6 15.6 15.6 定理定理15.6 15.6 设无向图设无向图G 是哈密顿图,对于任意是哈密顿图,对于任意V1 1 V,且且V1 1,均有均有p(G-V1 1)|)|V1 1|其中,其中,p(G-V1 1)为为G-V1 1的连通分支数。的连通分支数。证明证明 设设C为为G中任意一条
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 欧拉图 哈密 PPT

限制150内