
离散数学第十五章.ppt
36页第十五章第十五章 欧拉图与哈密顿图欧拉图与哈密顿图主要内容主要内容l带权图与货郎担问题带权图与货郎担问题1第十五章第十五章 欧拉图与哈密顿图欧拉图与哈密顿图预备知识预备知识l无向图无向图G =
这样中途点必定是偶点进去进去出来出来进去进去出来出来p如果起点和终点重合,则与他们相连的边是偶数条,所以如果起点和终点重合,则与他们相连的边是偶数条,所以也是偶点也是偶点p起点和终点不重合,与他们相连的边奇数条,则是都是奇起点和终点不重合,与他们相连的边奇数条,则是都是奇点点“一笔画一笔画”图形特征:一个图形可以图形特征:一个图形可以“一笔画一笔画”则奇则奇点的个数是点的个数是0个或个或2个个6欧拉图定义欧拉图定义定义定义15.1 (1) 欧拉通路欧拉通路——经过图中每条边一次且仅一次行遍所有顶经过图中每条边一次且仅一次行遍所有顶点的通路点的通路. (2) 欧拉回欧拉回路路——经过图中每条边一次且仅一次行遍所有顶经过图中每条边一次且仅一次行遍所有顶点的回路点的回路.(3) 欧拉图欧拉图——具有欧拉回路的图具有欧拉回路的图.(4) 半欧拉图半欧拉图——具有欧拉通路而无欧拉回路的图具有欧拉通路而无欧拉回路的图.几点说明:几点说明:规定平凡图为欧拉图规定平凡图为欧拉图.欧拉通路是生成的简单通路,欧拉回路是生成的简单回路欧拉通路是生成的简单通路,欧拉回路是生成的简单回路.环不影响图的欧拉性环不影响图的欧拉性.7上图中,上图中,(1) ,(4) 为欧拉图,为欧拉图,(2),(5)为半欧拉图,为半欧拉图,(3),(6)既不是既不是欧拉图,也不是半欧拉图欧拉图,也不是半欧拉图. 在在(3),(6)中各至少加几条边才能成中各至少加几条边才能成为欧拉图?为欧拉图? 欧拉图实例欧拉图实例8无向欧拉图的判别法无向欧拉图的判别法定理定理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时如下证明:时如下证明:9PLAY从以上证明不难看出:欧拉图是若干个边不重的圈之从以上证明不难看出:欧拉图是若干个边不重的圈之并,见示意图并,见示意图3. 10欧拉图的判别法欧拉图的判别法定理定理15.2 无向图无向图G是半欧拉图当且仅当是半欧拉图当且仅当G 连通且恰有两个奇连通且恰有两个奇度顶点度顶点.证证 必要性简单必要性简单. 充分性(利用定理充分性(利用定理15.1))设设u,v为为G 中的两个奇度顶点,令中的两个奇度顶点,令 G =G (u,v)则则G 连通且无奇度顶点,由定理连通且无奇度顶点,由定理15.1知知G 为欧拉图,因而为欧拉图,因而存在欧拉回路存在欧拉回路C,令,令 =C (u,v)则则 为为 G 中欧拉通路中欧拉通路.11下图是某展览厅的平面图,它由五个展室组成,任两展室之下图是某展览厅的平面图,它由五个展室组成,任两展室之间都有门相通,整个展览厅还有一个进口和一个出口,问间都有门相通,整个展览厅还有一个进口和一个出口,问游人能否一次不重复地穿过所有的门,并且从入口进,从游人能否一次不重复地穿过所有的门,并且从入口进,从出口出?出口出?AFDCBE练习练习 112下图是一个公园的平面图下图是一个公园的平面图. .要使游客走遍每条路而不重复,要使游客走遍每条路而不重复,问出入口应设在哪里?问出入口应设在哪里?ABCC DEFGHIJK练习练习 213有向欧拉图的判别法有向欧拉图的判别法定理定理15.3 有向图有向图D是欧拉图当且仅当是欧拉图当且仅当D是强连通的且每个顶是强连通的且每个顶点的入度都等于出度点的入度都等于出度.本定理的证明类似于定理本定理的证明类似于定理15.1. 定理定理15.4 有向图有向图D是半欧拉图当且仅当是半欧拉图当且仅当D是单向连通的,且是单向连通的,且D中恰有两个奇度顶点,其中一个的入度比出度大中恰有两个奇度顶点,其中一个的入度比出度大1,另一个,另一个的出度比入度大的出度比入度大1,而其余顶点的入度都等于出度,而其余顶点的入度都等于出度. 本定理的证明类似于定理本定理的证明类似于定理15.1. 定理定理15.5 G是非平凡的欧拉图当且仅当是非平凡的欧拉图当且仅当G是连通的且为若干是连通的且为若干个边不重的圈之并个边不重的圈之并. 可用归纳法证定理可用归纳法证定理15.5. 141.1.查阅有关欧拉图应用研究的文献查阅有关欧拉图应用研究的文献2.2.书面总结书面总结: : –研究动机研究动机–研究框架研究框架–关键的发现关键的发现–结论结论作业作业1515.2 哈密顿图哈密顿图历史背景:哈密顿周游世界问题与哈密顿图历史背景:哈密顿周游世界问题与哈密顿图 (1) (2) 1617哈密顿图与半哈密顿图哈密顿图与半哈密顿图定义定义15.2 (1) 哈密顿通路哈密顿通路——经过图中所有顶点一次仅一次的通路经过图中所有顶点一次仅一次的通路.(2) 哈密顿回路哈密顿回路——经过图中所有顶点一次仅一次的回路经过图中所有顶点一次仅一次的回路.(3) 哈密顿图哈密顿图——具有哈密顿回路的图具有哈密顿回路的图.(4) 半哈密顿图半哈密顿图——具有哈密顿通路且无哈密顿回路的图具有哈密顿通路且无哈密顿回路的图.几点说明:几点说明:平凡图是哈密顿图平凡图是哈密顿图.哈密顿通路是初级通路,哈密顿回路是初级回路哈密顿通路是初级通路,哈密顿回路是初级回路.环与平行边不影响哈密顿性环与平行边不影响哈密顿性.哈密顿图的实质是能将图中的所有顶点排在同一个圈上哈密顿图的实质是能将图中的所有顶点排在同一个圈上18实例实例在上图中,在上图中,(1),(2) 是哈密顿图是哈密顿图;(3)是半哈密顿图是半哈密顿图;(4)既不是哈密顿图,也不是半哈密顿图,为什么?既不是哈密顿图,也不是半哈密顿图,为什么?19无向哈密顿图的一个必要条件无向哈密顿图的一个必要条件定理定理15.6 设无向图设无向图G=
不满足上式一定不是哈密顿图21定理应用举例利用定理说明下图不是哈密顿图22解答取取S={vS={v1 1,v,v4 4} },则:,则:|S|=2p(V-S)=3,, 不满足:不满足: p(V-S)≤|S|不是哈密顿图不是哈密顿图23几点说明几点说明l由定理由定理15.6立刻可知,立刻可知,Kr,s当当s r+1时不是哈密顿图时不是哈密顿图. 易知易知Kr,r((r 2)时都是哈密顿图,)时都是哈密顿图,Kr,r+1都是半哈密顿图都是半哈密顿图. l常利用定理常利用定理15.6判断某些图不是哈密顿图判断某些图不是哈密顿图.例例2 设设G为为n阶无向连通简单图,若阶无向连通简单图,若G中有割点或桥,则中有割点或桥,则G不不 是哈密顿图是哈密顿图.证证 设设v为割点,则为割点,则 p(G v) 2>|{v}|=1. K2有桥,它显然不是哈密顿图有桥,它显然不是哈密顿图. 除除K2外,其他有桥的图外,其他有桥的图(连通的)均有割点(连通的)均有割点.其实,本例对非简单连通图也对其实,本例对非简单连通图也对.24无向哈密顿图的一个充分条件无向哈密顿图的一个充分条件定理定理15.7 设设G是是n阶无向简单图,若对于任意不相邻的顶点阶无向简单图,若对于任意不相邻的顶点vi,vj,均有,均有 d(vi)+d(vj) n 1 ( )则则G 中存在哈密顿通路中存在哈密顿通路. 推论推论 设设G为为n (n 3) 阶无向简单图,若对于阶无向简单图,若对于G中任意两个中任意两个不相邻的顶点不相邻的顶点vi,vj,均有,均有 d(vi)+d(vj) n (())则则G中存在哈密顿回路,从而中存在哈密顿回路,从而G为哈密顿图为哈密顿图.25几点说明几点说明由定理由定理15.7的推论可知,的推论可知,Kn((n 3)均)均为哈密顿图为哈密顿图.(1)(1)满足上式一定是哈密顿图;满足上式一定是哈密顿图;(2)(2)是哈密顿图不一定满足上式;是哈密顿图不一定满足上式;(3)(3)不是哈密顿图一定不满足上式。
不是哈密顿图一定不满足上式完全图完全图Kn (n 3) 中任何两个顶点中任何两个顶点u,v,均有,均有 d(u)+d(v) = 2(n 1) n((n 3),),所以所以Kn为哈密顿图为哈密顿图. 26定理应用举例任意两点的度之和为任意两点的度之和为4 4n=6n=6不满足不满足d(vi)+d(vj) ≥ n但却是哈密顿图,但却是哈密顿图,也有哈密顿路径也有哈密顿路径是哈密顿图是哈密顿图27n((n 2)阶竞赛图中存在哈密顿通路)阶竞赛图中存在哈密顿通路定理定理15.9 若若D为为n((n 2)阶竞赛图,则)阶竞赛图,则D中具有哈密顿通路中具有哈密顿通路证明思路:注意,竞赛图的基图是无向完全图证明思路:注意,竞赛图的基图是无向完全图. 对对n((n 2))做归纳做归纳. 只需观察下面两个图只需观察下面两个图. 无向哈密顿图的充分条件无向哈密顿图的充分条件28设设GG,,称称 为为G 的权,并记作的权,并记作W(G ),即,即定定义15.3 给定定图G =
这些问题均是带权图上的最短路径问题1.边上的权表示一站边上的权表示一站2.边上的权代表距离边上的权代表距离3.边的权代表费用边的权代表费用 30货郎担问题货郎担问题设设G=
