离散数学6课件.ppt

　　 　　第六章 图论 （Graph Theory） §1. 图论朔源 §2. 图的基本概念 §3. 路与圈 §4. 图的矩阵表示 §5. 带权图的最短路径 §6. Euler图 §7. Hamilton图 §8. 二分图 §9. 平面图 §10. 树 §1. 图论朔源 图论最早处理的问题是哥尼斯堡（konigsberg）城普雷格尔(pregel)河上的七桥问题。 问题：在十八世纪的东普鲁士有个哥尼斯堡城（后属于前苏联的立陶宛苏维埃社会主义共和国，其名为加里宁格勒。现属于立陶宛共和国）。哥尼斯堡城位于普雷格尔河畔，河中有两个岛，城市中的各个部分由七座桥相连。 　 1736年，瑞士数学家列昂哈德.欧拉( Leonhard.Euler ) 发表了他的著名论文“哥尼斯堡七座桥”。在这篇文章中他阐述了解决七桥问题的方法，引出了图论的观点，从而被誉为图论之父，成为图论的创始人。 哥尼斯堡七桥问题归结为：在图2 所示的图中，从 A, B, C, D 任一点出发，通过每条边一次且仅一次而返回出发点的回路是否存在？后人称如此的问题为Euler环游。 欧拉断言这样的回路是不存在的。从图2中的任一结点出发，为了要回到原来的出发点，要求与每个结点相关联的边数均为偶数。这样才能保证从一条边进入某结点后，可从另一条边出去，而不经过已走过的边。从一个结点的不同的两条边一进一出才能回到原出发点。而图2中的A, B, C, D全是与奇数条边相连，由此可知所要求的回路是不可能存在的。 　 欧拉给出了一个判定准则：若有Euler环游，则图中每个结点都必须是偶结点(与偶数条边相关联)；若不限定到回原出发点，则只能有两个奇结点(与奇数条边相关联)，一个起点，一个终点。 这是图论的第一篇文献。时年欧拉22岁。 本世纪40年代的数学游戏：某人挑一担菜、并带一只狗、一只羊，要从河的北岸到南岸。由于船小，只允许带狗、羊、菜三者中的一种过河；当人不在场时狗与羊、羊与菜不能呆在一起。问此人应采取怎样的办法才能将这三样东西安全地带过河去？ 方法一：不对称状态空间法 将人(person)、狗(dog)、羊(sheep)、菜(cabbage)中任意几种在一起的情况看作是一种状态，则北岸可能出现的状态共有十六种，其中安全状态有下面十种： (人，狗，羊，菜)，(空)； (P,D,S,C) ，(?) ； (人，狗，羊)， (菜)； (P,D,S,) ，(C) ； (人，狗，菜)，(羊)； (P,D,C) ，(S) ； (人，羊，菜)，(狗)； (P,S,C) ，(D) ； (人，羊)，(狗，菜) ； (P,S) ，(D,C) 。 不安全的状态有如下六种： (人)， (狗，羊，菜)； (P) ，(D,S,C) ； (人，菜)， (狗，羊) ； (P,C) ，(D,S) ； (人，狗)， (羊，菜) ； (P,D) ，(S,C) 。 可将十种安全状态表示成十个结点，而渡河的全过程则看作是状态间的转移。这样，上述问题就转化为求一条从(人，狗，羊，菜)或 (P,D,S,C) 状态到(空) 或(?)状态的路径。图3中黑色箭头所表示的路径就是其中的一条。 另一条从(P,D,S,C)到(?)状态的路径不同的部分由图3中红色箭头所示的路径给出。 方法二：对称状态空间法 　 方法一仅考虑了河北岸的状态，没有考虑河南岸的状态。 现在将用字符串表示的两岸状态放入一个二元组中，以表示两岸状态的变化，其前者表示河北岸的状态，后者表示河南岸的状态。其图示见下面图4。它具有对称性是明显的(状态的对称性，图的对称性，路径的对称性)。 注：?上述问题统称“渡河问题”。 ?“三对忌妒的夫妇渡河问题”参见《离散数学基础》[美]C.L.Liu著 刘振宏译 P162； ?