ch15欧拉图与哈密顿图.ppt
《ch15欧拉图与哈密顿图.ppt》由会员分享,可在线阅读,更多相关《ch15欧拉图与哈密顿图.ppt(33页珍藏版)》请在冰豆网上搜索。
1第十五章第十五章欧拉图与哈密顿图欧拉图与哈密顿图主要内容主要内容l欧拉图欧拉图l哈密顿图哈密顿图l带权图与货郎担问题带权图与货郎担问题l作业:
作业:
1,12,15,18215.1欧拉图欧拉图历史背景:
哥尼斯堡七桥问题与欧拉图历史背景:
哥尼斯堡七桥问题与欧拉图3欧拉图定义欧拉图定义定义定义15.1
(1)欧拉通路欧拉通路经过图中每条边一次且仅一次行遍所有顶经过图中每条边一次且仅一次行遍所有顶点的通路点的通路.
(2)欧拉回欧拉回路路经过图中每条边一次且仅一次行遍所有顶经过图中每条边一次且仅一次行遍所有顶点的回路点的回路.(3)欧拉图欧拉图具有欧拉回路的图具有欧拉回路的图.(4)半欧拉图半欧拉图具有欧拉通路而无欧拉回路的图具有欧拉通路而无欧拉回路的图.几点说明:
几点说明:
规定平凡图为欧拉图规定平凡图为欧拉图.欧拉通路是生成的简单通路,欧拉回路是生成的简单回路欧拉通路是生成的简单通路,欧拉回路是生成的简单回路.环不影响图的欧拉性环不影响图的欧拉性.4上图中,上图中,
(1),(4)为欧拉图,为欧拉图,
(2),(5)为半欧拉图,为半欧拉图,(3),(6)既不是既不是欧拉图,也不是半欧拉图欧拉图,也不是半欧拉图.在在(3),(6)中各至少加几条边才能成中各至少加几条边才能成为欧拉图?
为欧拉图?
欧拉图实例欧拉图实例5无向欧拉图的判别法无向欧拉图的判别法定理定理15.1无向图无向图G是欧拉图当且仅当是欧拉图当且仅当G连通且无奇度数顶点连通且无奇度数顶点.证证若若G为平凡图无问题为平凡图无问题.下设下设G为为n阶阶m条边的无向图条边的无向图.必要性必要性设设C为为G中一条欧拉回路中一条欧拉回路.
(1)G连通显然连通显然.
(2)viV(G),vi在在C上每出现一次获上每出现一次获2度,所以度,所以vi为偶度顶点为偶度顶点.由由vi的任意性,结论为真的任意性,结论为真.充分性充分性对边数对边数m做归纳法(第二数学归纳法)做归纳法(第二数学归纳法).
(1)m=1时,时,G为一个环,则为一个环,则G为欧拉图为欧拉图.
(2)设设mk(k1)时结论为真,)时结论为真,m=k+1时如下证明:
时如下证明:
6PLAY从以上证明不难看出:
欧拉图是若干个边不重的圈之从以上证明不难看出:
欧拉图是若干个边不重的圈之并,见示意图并,见示意图3.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.1.定理定理15.4有向图有向图D是半欧拉图当且仅当是半欧拉图当且仅当D是单向连通的,且是单向连通的,且D中恰有两个奇度顶点,其中一个的入度比出度大中恰有两个奇度顶点,其中一个的入度比出度大1,另一个,另一个的出度比入度大的出度比入度大1,而其余顶点的入度都等于出度,而其余顶点的入度都等于出度.本定理的证明类似于定理本定理的证明类似于定理15.1.定理定理15.5G是非平凡的欧拉图当且仅当是非平凡的欧拉图当且仅当G是连通的且为若干是连通的且为若干个边不重的圈之并个边不重的圈之并.可用归纳法证定理可用归纳法证定理15.5.9例题例题例例1设设G是欧拉图,但是欧拉图,但G不是平凡图,也不是一个环,则不是平凡图,也不是一个环,则(G)2.证证只需证明只需证明G中不可能有桥(如何证明?
)中不可能有桥(如何证明?
)上图中,上图中,
(1),
(2)两两图都是欧拉图,均从图都是欧拉图,均从A点出发,如何点出发,如何一次成功地走出一条欧拉回路来?
一次成功地走出一条欧拉回路来?
(1)
(2)10Fleury算法算法算法:
算法:
(1)任取任取v0V(G),令,令P0=v0.
(2)设设Pi=v0e1v1e2eivi已经行遍,按下面方法从已经行遍,按下面方法从E(G)e1,e2,ei中选取中选取ei+1:
(a)ei+1与与vi相关联;相关联;(b)除非无别的边可供行遍,否则除非无别的边可供行遍,否则ei+1不应该为不应该为Gi=Ge1,e2,ei中的桥中的桥.(3)当当
(2)不能再进行时,算法停止不能再进行时,算法停止.可以证明算法停止时所得简单通路可以证明算法停止时所得简单通路Pm=v0e1v1e2emvm(vm=v0)为为G中一条欧拉回路中一条欧拉回路.用用Fleury算法走出上一页图算法走出上一页图
(1),
(2)从从A出发(其实从任何一点出发(其实从任何一点出发都可以)的欧拉回路各一条出发都可以)的欧拉回路各一条.1115.2哈密顿图哈密顿图历史背景:
哈密顿周游世界问题与哈密顿图历史背景:
哈密顿周游世界问题与哈密顿图
(1)
(2)12哈密顿图与半哈密顿图哈密顿图与半哈密顿图定义定义15.2
(1)哈密顿通路哈密顿通路经过图中所有顶点一次仅一次的通路经过图中所有顶点一次仅一次的通路.
(2)哈密顿回路哈密顿回路经过图中所有顶点一次仅一次的回路经过图中所有顶点一次仅一次的回路.(3)哈密顿图哈密顿图具有哈密顿回路的图具有哈密顿回路的图.(4)半哈密顿图半哈密顿图具有哈密顿通路且无哈密顿回路的图具有哈密顿通路且无哈密顿回路的图.几点说明:
几点说明:
平凡图是哈密顿图平凡图是哈密顿图.哈密顿通路是初级通路,哈密顿回路是初级回路哈密顿通路是初级通路,哈密顿回路是初级回路.环与平行边不影响哈密顿性环与平行边不影响哈密顿性.哈密顿图的实质是能将图中的所有顶点排在同一个圈上哈密顿图的实质是能将图中的所有顶点排在同一个圈上13实例实例在上图中,在上图中,
(1),
(2)是哈密顿图是哈密顿图;(3)是半哈密顿图是半哈密顿图;(4)既不是哈密顿图,也不是半哈密顿图,为什么?
既不是哈密顿图,也不是半哈密顿图,为什么?
14无向哈密顿图的一个必要条件无向哈密顿图的一个必要条件定理定理15.6设无向图设无向图G=是哈密顿图,对于任意是哈密顿图,对于任意V1V且且V1,均有,均有p(GV1)|V1|证证设设C为为G中一条哈密顿回路中一条哈密顿回路
(1)p(CV1)|V1|
(2)p(GV1)p(CV1)|V1|(因为(因为CG)推论推论设无向图设无向图G=是半哈密顿图,对于任意的是半哈密顿图,对于任意的V1V且且V1均有均有p(GV1)|V1|+1证证令令uv为为G中哈密顿通路,令中哈密顿通路,令G=G(u,v),则,则G为为哈密顿图哈密顿图.于是于是p(GV1)=p(GV1(u,v)|V1|+115几点说明几点说明l定理定理15.6中的条件是哈密顿图的必要条件,但不是充分条中的条件是哈密顿图的必要条件,但不是充分条件(彼得松图)件(彼得松图)l由定理由定理15.6立刻可知,立刻可知,Kr,s当当sr+1时不是哈密顿图时不是哈密顿图.易知易知Kr,r(r2)时都是哈密顿图,)时都是哈密顿图,Kr,r+1都是半哈密顿图都是半哈密顿图.l常利用定理常利用定理15.6判断某些图不是哈密顿图判断某些图不是哈密顿图.例例2设设G为为n阶无向连通简单图,若阶无向连通简单图,若G中有割点或桥,则中有割点或桥,则G不不是哈密顿图是哈密顿图.证证设设v为割点,则为割点,则p(Gv)2|v|=1.K2有桥,它显然不是哈密顿图有桥,它显然不是哈密顿图.除除K2外,其他有桥的图外,其他有桥的图(连通的)均有割点(连通的)均有割点.其实,本例对非简单连通图也对其实,本例对非简单连通图也对.16无向哈密顿图的一个充分条件无向哈密顿图的一个充分条件定理定理15.7设设G是是n阶无向简单图,若对于任意不相邻的顶点阶无向简单图,若对于任意不相邻的顶点vi,vj,均有,均有d(vi)+d(vj)n1()则则G中存在哈密顿通路中存在哈密顿通路.证明线索:
证明线索:
(1)由由()证证G连通连通
(2)=v1v2vl为为G中极大路径中极大路径.若若l=n,证毕证毕.(3)否则,证否则,证G中存在过中存在过上所有顶点的圈上所有顶点的圈C,由,由
(1)知知C外顶外顶点存在与点存在与C上某顶点相邻顶点,从而得比上某顶点相邻顶点,从而得比更长的路径,重更长的路径,重复复
(2)(3),最后得,最后得G中哈密顿通路中哈密顿通路.17证明证明证(着重关键步骤)证(着重关键步骤)
(1)由由()及简单图的性质,用反证法证明及简单图的性质,用反证法证明G连通连通.
(2)=v1v2vl为极大路径,为极大路径,ln,若若l=n(结束)(结束).下面讨论下面讨论ln的情况,即要证的情况,即要证G中存在过中存在过上所有顶点的圈上所有顶点的圈.若若(v1,vl)在在G中,则中,则(u,v)为为G中圈中圈否则,设否则,设v1与与上上相邻,则相邻,则k2(否则由否则由极大路径端点性质及极大路径端点性质及(),会得到,会得到d(v1)+d(vl)1+l24,由定理,由定理15.6可知可知图中无哈密顿回路图中无哈密顿回路.在国际象棋盘上跳马有解,试试看在国际象棋盘上跳马有解,试试看.25设设GG,称称为为G的权,并记作的权,并记作W(G),即,即定定义15.3给定定图G=,(G为无向无向图或有向或有向图),设W:
ER(R为实数集数集),对G中任意中任意边e=(vi,vj)(G为有向图为有向图时,时,e=),设,设W(e)=wij,称实数,称实数wij为边为边e上的上的权权,并将,并将wij标注在边标注在边e上,称上,称G为为带权图带权图,此时常将带权图,此时常将带权图G记作记作.15.3最短路问题最短路问题与货郎担问题与货郎担问题26货郎担问题货郎担问题设设G=为一个为一个n阶完全带权图阶完全带权图Kn,各边的权非负,且,各边的权非负,且有的边的权可能为有的边的权可能为.求求G中的一条最短的哈密顿回路,这就中的一条最短的哈密顿回路,这就是货郎担问题的数学模型是货郎担问题的数学模型.完全带权图完全带权图Kn(n3)中不同的哈密顿回路数)中不同的哈密顿回路数
(1)Kn中有中有(n1)!
条不同的哈密顿回路(定义意义下)条不同的哈密顿回路(定义意义下)
(2)完全带权图中有完全带权图中有(n1)!
条不同的哈密顿回路条不同的哈密顿回路(3)用穷举法解货郎担问题算法的复杂度为用穷举法解货郎担问题算法的复杂度为(n1)!
,当!
,当n较较大时,计算量惊人地大大时,计算量惊人地大27解解C1=abcda,W(C1)=10C2=abdca,W(C2)=11C3=acbda,W(C3)=9可见可见C3(见图中见图中
(2)是最短的,其权为是最短的,其权为9.例例6求图中求图中
(1)所示带权图所示带权图K4中最短哈密顿回路中最短哈密顿回路.
(1)
(2)28第十五章第十五章习题课习题课主要内容主要内容l欧拉通路、欧拉回路、欧拉图、半欧拉图及其判别法欧拉通路、欧拉回路、欧拉图、半欧拉图及其判别法l哈密顿通路、哈密顿回路、哈密顿图、半哈密顿图哈密顿通路、哈密顿回路、哈密顿图、半哈密顿图l带权图、货郎担问题带权图、货郎担问题基本要求基本要求l深刻理解欧拉图、半欧拉图的定义及判别定理深刻理解欧拉图、半欧拉图的定义及判别定理l深刻理解哈密顿图、半哈密顿图的定义深刻理解哈密顿图、半哈密顿图的定义.l会用哈密顿图的必要条件判断某些图不是哈密顿图会用哈密顿图的必要条件判断某些图不是哈密顿图.l会用