离散数学第十五章的课件.pptVIP

****************第1页，共28页，星期日，2025年，2月5日15.1欧拉图历史背景：哥尼斯堡七桥问题与欧拉图18世纪中叶在欧洲普鲁士的哥尼斯堡城内有一条贯穿全市的普雷格尔河，河中有两个小岛，由7座桥相连接。当时人们热衷于一个难题：一个人怎么不重复走完七座桥，最后回到出发地点？这就是所谓的哥尼斯堡七桥问题。很长时间没有人能解决这个难题。*第2页，共28页，星期日，2025年，2月5日15.1欧拉图历史背景：哥尼斯堡七桥问题与欧拉图1763年，瑞士数学家欧拉发表论文，他用四个点分别表示两个小岛和两岸，用连接两点的线段表示桥。于是，哥尼斯堡七桥问题就是要求在这个图中走一条欧拉回路（即经过图中每条边一次且仅一次行遍所有顶点的回路）。*第3页，共28页，星期日，2025年，2月5日15.1欧拉图定义15.1(1)欧拉通路——经过图中每条边一次且仅一次行遍所有顶点的通路.(2)欧拉回路——经过图中每条边一次且仅一次行遍所有顶点的回路.(3)欧拉图——具有欧拉回路的图.(4)半欧拉图——具有欧拉通路而无欧拉回路的图.几点说明：规定平凡图为欧拉图.欧拉通路是生成的简单通路，欧拉回路是生成的简单回路.环不影响图的欧拉性.*第4页，共28页，星期日，2025年，2月5日上图中，(1),(4)为欧拉图，(2)为半欧拉图，(3),(5),(6)既不是欧拉图，也不是半欧拉图.欧拉图判断实例*第5页，共28页，星期日，2025年，2月5日要求掌握无向欧拉图的判定定理15.1无向图G是欧拉图当且仅当G连通且无奇度顶点.在以上三个无向图（三个图都是连通图）中，只有图（1）中没有奇度顶点，因此图（1）是欧拉图。而图（2）和图（3）中都存在奇度顶点，因而它们都不是欧拉图。*第6页，共28页，星期日，2025年，2月5日半欧拉图的判别法定理15.2无向图G是半欧拉图当且仅当G连通且恰有两个奇度顶点.在以上两个无向图（两个图都是连通图）中，只有（2）中有两个奇度顶点，因此（2）是半欧拉图。而（3）中有4个奇度顶点，因而（3）不是半欧拉图。*第7页，共28页，星期日，2025年，2月5日有向欧拉图的判别法定理15.3有向图D是欧拉图当且仅当D是强连通的且每个顶点的入度都等于出度.定理15.4有向图D是半欧拉图当且仅当D是单向连通的，且D中恰有两个奇度顶点，其中一个的入度比出度大1，另一个的出度比入度大1，而其余顶点的入度都等于出度.定理15.5G是非平凡的欧拉图当且仅当G是连通的且为若干个边不重的初级回路（圈）之并.*第8页，共28页，星期日，2025年，2月5日求欧拉回路的算法——Fleury算法算法：(1)任取v0?V(G)，令P0=v0，i=0.(2)设Pi=v0e1v1e2…eivi已经行遍如果E(G)?{e1,e2,…,ei}中没有与vi关联的边，则计算停止；否则按下述条件从E(G)?{e1,e2,…,ei}中选取一条边ei+1：(a)ei+1与vi相关联；(b)除非无别的边可供选择，否则ei+1不应该为Gi=G?{e1,e2,…,ei}中的桥.设ei+1=(vi，vi+1)，把ei+1vi+1加入Pi得到Pi+1.(3)令i=i+1，返回(2).可以证明算法停止时所得简单回路Pm=v0e1v1e2…emvm(vm=v0)为G中的一条欧拉回路.能够一笔画出的图——欧拉图。要求掌握使用定理15.1，要会判断一个图是否为欧拉图。要求理解Fleury算法和应用它一笔画出欧拉图。*第9页，共28页，星期日，2025年，2月5日15.2哈密顿图历史背景：哈密顿周游世界问题与哈密顿图(1)(2)1859年，爱尔兰数学家哈密顿提出一个周游世界问题：有20个城市，城市之间的交通路线如（2）所示。问能否从某个城市出发沿交通路线经过每个城市一次并且仅一次，最后回到出发点？用现在的语言，就是问这个图中是否有哈密顿回路？哈密顿自己做了肯定的回答。哈密顿回路和哈密顿图即由此得名。*第10页，共28页，星期日，2025年，2月5日15.2哈密顿图历史背景：哈密顿周游世界问题与哈密顿图(1)