离散数学八章 图论.ppt

离散数学 西安交通大学 电子与信息工程学院 计算机软件所 刘国荣 离散数学 　　 　　第八章 图论 （Graph Theory） 离散数学 图论在计算机科学中的应用 图论在计算机科学中扮演着重要的角色，为计算机科学中的形式语言、数据结构、分布式系统、操作系统、计算机网络等提供了有力的数学工具。特别是图论中的最小支撑树、最短通路、最大匹配、网络流、中国邮递员问题和旅行售货员问题在计算机科学中都有着广泛的应用。 离散数学 §1. 图论朔源 §2. 图的基本概念 §3. 路与圈 §4. 图的矩阵表示 §5. 带权图的最短路径 §6. Euler图 §7. Hamilton图 §8. 二分图 §9. 平面图 §10. 树 离散数学 　 　　　　　 §1. 图论朔源 　　　　　　?图论的创始人 　　　　　?图论应用的几个例子 离散数学 　　　　　　　 §1. 图论朔源 图论最早处理的问题是哥尼斯堡（konigsberg）城普雷格尔(pregel)河上的七桥问题。 1736年，瑞士数学家列昂哈德.欧拉( Leonhard.Euler ) 发表了他的著名论文“哥尼斯堡七座桥”。在这篇文章中他阐述了解决七桥问题的方法，引出了图论的观点，从而被誉为图论之父，成为图论的创始人。 问题是这样的：在公元十八世纪的东普鲁士有个哥尼斯堡城（后属于前苏联的立陶宛苏维埃社会主义共和国，其名为加里宁格勒。现属于立陶宛共和国）。哥尼斯堡城位于普雷格尔河畔，河中有两个岛，城市中的各个部分由七座桥相连。当时，城中的居民热衷于这样一个问题，从四块陆地的任一块出发，怎样才能做到经过每座桥一次且仅一次，然后回到出发点。问题看来并不复杂， 离散数学 但当地的居民和游人做了不少的尝试，却都没有取得成功。于是，有好事者便向当时居住在该城的大数学家欧拉请教。 　1736年，瑞士的数学家L.Euler解决了这个问题。他将四块陆地表示成四个结点，凡陆地间有桥相连的，便在两点间连一条线，这样图1就转化为图2了。此时，哥尼斯堡七桥问题归结为：在图2 所示的图中，从 A, B, C, D 任一点出发，通过每条边一次且仅一次而返回出发点的回路是否存在？后人称如此的问题为Euler环游。 欧拉断言这样的回路是不存在的。理由是：从图2中的任一结点出发，为了要回到原来的出发点，要求与每个结点相关联的边数均为偶数。这样才能保证从一条边进入某结点后，可从另一条边出去，而不经过已走过的 注 ?列昂哈德.欧拉Leonhard . Euler （1707-1783） 瑞士数学家.后移居俄罗斯。27岁双目失明，主要靠秘书帮助工作。 离散数学 边。从一个结点的不同的两条边一进一出才能回到原出发点。而图2中的A, B, C, D全是与奇数条边相连，由此可知所要求的回路是不可能存在的。 离散数学 　由此，欧拉给出了一个 判定准则：若有Euler环游 ，则图中每个结点都必须是 偶结点(与偶数条边相关联 )；若不限定到回原出发点 ，则只能有两个奇结点(与 奇数条边相关联)，一个起 点，一个终点。 这是图论的第一篇文献。 时年欧拉22岁。 有关这方面的内容，我 们将在§6. Euler图来详细 讨论。 离散数学 本世纪40年代，一个数学游戏也使用类似的方法得到了解决：某人挑一担菜、并带一只狗、一只羊，要从河的北岸到南岸。由于船小，只允许带狗、羊、菜三者中的一种过河；而由于明显的原因，当人不在场时狗与羊、羊与菜不能呆在一起。问此人应采取怎样的办法才能将这三样东西安全地带过河去？ 方法一：不对称状态空间法 将人(person)、狗(dog)、羊(sheep)、菜(cabbage)中任意几种在一起的情况看作是一种状态，则北岸可能出现的状态共有十六种，其中 安全状态有下面十种： (人，狗，羊，菜)，(空)； (P,D,S,C) ，(?) ； (人，狗，羊)， (菜)； (P,D,S,) ，(C) ； (人，狗，菜)，(羊)； (P,D,C) ，(S) ； 离散数学 (人，羊，菜)，