- 1、本文档共40页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第15章 欧拉图与哈密顿图 本章内容 15.1 欧拉图 15.2 哈密顿图 15.3 带权图与货郎担问题 15.1 欧拉图 历史背景--哥尼斯堡七桥问题 欧拉图 定义15.1 通过图(无向图或有向图)中所有边一次且仅一次行遍图中所有顶点的通路称为欧拉通路,通过图中所有边一次并且仅一次行遍所有顶点的回路称为欧拉回路。具有欧拉回路的图称为欧拉图,具有欧拉通路而无欧拉回路的图称为半欧拉图。 说明 欧拉通路是图中经过所有边的简单的生成通路(经过所有顶点的通路称为生成通路)。 欧拉回路是经过所有边的简单的生成回路。 规定:平凡图是欧拉图 举例 无向欧拉图的判定定理 定理15.1 无向图G是欧拉图当且仅当G是连通图,且G中没有奇度顶点。 证明 若G是平凡图,结论显然成立。 下面设G为非平凡图,设G是m条边的n阶无向图, 并设G的顶点集V={v1,v2,…,vn}。 必要性。因为G为欧拉图,所以G中存在欧拉回路, 设C为G中任意一条欧拉回路,?vi,vj∈V,vi,vj都在C上, 因而vi,vj连通,所以G为连通图。 又?vi∈V,vi在C上每出现一次获得2度, 若出现k次就获得2k度,即d(vi)=2k, 所以G中无奇度顶点。 定理15.1的证明 充分性。由于G为非平凡的连通图可知,G中边数m≥1。 对m作归纳法。 (1)m=1时,由G的连通性及无奇度顶点可知, G只能是一个环,因而G为欧拉图。 (2)设m≤k(k≥1)时结论成立,要证明m=k+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,i=1,2,…,s, 由归纳假设可知,G ?1,G ?2,…,G ?s都是欧拉图, 因而都存在欧拉回路C ?i,i=1,2,…,s。 最后将C还原(即将删除的边重新加上), 并从C上的某顶点vr开始行遍,每遇到v*ji,就行遍G ?i中的欧拉回路C ?i,i=1,2,…,s,最后回到vr, 得回路vr…v*j1…v*j1…v*j2…v*j2…v*js…v*js…vr, 此回路经过G中每条边一次且仅一次并行遍G中所有顶点, 因而它是G中的欧拉回路, 故G为欧拉图。 欧拉图的判定定理 定理15.5 G是非平凡的欧拉图当且仅当G是连通的且为若干个边不重的圈的并。 半欧拉图的判定定理 定理15.2 无向图G是半欧拉图当且仅当G是连通的,且G中恰有两个奇度顶点。 证明 必要性。设G是m条边的n阶无向图,因为G为半欧拉图, 因而G中存在欧拉通路(但不存在欧拉回路), 设Г=vi0ej1vi1…vim-1ejmvim为G中一条欧拉通路,vi0≠vim。 ?v∈V(G),若v不在Г的端点出现,显然d(v)为偶数, 若v在端点出现过,则d(v)为奇数, 因为Г只有两个端点且不同,因而G中只有两个奇数顶点。 另外,G的连通性是显然的。 半欧拉图的判定定理 定理15.2 无向图G是半欧拉图当且仅当G是连通的,且G中恰有两个奇度顶点。 证明 充分性。设G的两个奇度顶点分别为u0和v0, 对G加新边(u0,v0),得G ?=G∪(u0,v0), 则G ?是连通且无奇度顶点的图, 由定理15.1可知,G ?为欧拉图, 因而存在欧拉回路C ?,而C=C ?-(u0,v0)为G中一条欧拉通路, 所以G为半欧拉图。 有向欧拉图的判定定理 例15.1 例15.1 设G是非平凡的且非环的欧拉图,证明: (1)λ(G)≥2。 (2)对于G中任意两个不同顶点u,v,都存在简单回路C含u和v。 证明 (1)由定理15.5可知,?e∈E(G),存在圈C,e在C中, 因而p(G-e)=p(G),故e不是桥。 由e的任意性λ(G)≥2,即G是2边-连通图。 (2)?u,v∈V(G),u≠v,由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处于Г1∪Г2形成的简单回路上。 求欧拉图中欧拉回路的算法 Fleury算法,能不走桥就不走桥 (1) 任取v0∈V(G),令P0=v0。 (2) 设Pi=v0e1v1e2…eivi已经行遍,按下面方法来从 E(G)-{e1,e2,…,ei}中选取ei+
文档评论(0)