第八章 图与网络模型(应用运筹学).ppt

第6章 Network Analysis图与网络模型 §1　Introduction to Networks 基本概念 §2 Shortest Path Problems 最短路问题 §3　Minimum spanning tree 最小生成树问题 §4 Maximum Flow Problems 最大流问题 §5　Minimum-Cost Flow Problems 最小费用最大流问题 实例一: Seervada Park P266 黙登公司 二、哥尼斯堡七桥问题 东普鲁士的哥尼斯堡城中，有一条普莱格尔河，河中有两个岛屿（奈佛夫岛），河上建有七座桥，将岛与两岸陆地相连（图6-2）。当地居民喜欢散步，并提出这样一个问题：若从岸或岛上任一处陆地出发，能否通过每座桥正好一次而回到原地。 尽管试验者很多，但是都没有成功。为了寻找答案，1736年欧拉将这个问题抽象成图6-2b所示图形的一笔画问题。 三、四色问题 四色问题的提出来自英国，1852年，毕业于伦敦大学的格思里(Francis Guthrie)来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家着上不同的颜色。”这个结论能不能从数学上加以严格证明呢？他与在大学念书的弟弟决心试一试。兄弟二人为证明这一问题使用了一大叠稿纸，可研究工作没有任何进展。1852年10月23日，他的弟弟拿这个问题请教他的老师、著名数学家德·摩尔根(Augustus de Morgan)，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友、著名数学家哈密尔顿爵士(Sir William Hamilton)请教。但直到1865年哈密尔顿逝世为止，这个问题也没有得到解决。 1878年6月13日，英国当时著名的数学家凯利(Arthur Cayley)正式向伦敦数学学会提出这个问题，之后，四色猜想开始成了世界数学界关注的问题。许多一流的数学家纷纷加入研究，1879年，著名的律师兼数学家肯普(Alfred Bray Kempe)提交了证明四色猜想的论文，宣布证明了四色定理，大家都认为四色猜想从此解决了。11年后，即1890年，数学家赫伍德(Percy John Heawood)以自己的精确计算指出肯普的证明是错误的，但该方法经补救后可用来证明五色定理。后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。于是，人们开始认识到，这个貌似容易的题目，其实是一个可与费马(Fermat)猜想相媲美的难题。 进入20世纪以后，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。美国数学家富兰克林(Franklin)于1922年证明了25国以下的地图都可以用四色着色，1926年，结果推进到27国，1938年，推进到31国，1940年，推进到35国，1970年，推进到40国，随后又推进到了96国。后来，由于计算机性能的迅速提高，以及人机对话的出现，大大加快了四色猜想证明的进程。1976年6月，美国数学家阿佩尔(Kenneth Appel)与哈肯(Wolfgang Haken)经过整整4年的紧张工作，在伊利诺斯大学的两台不同计算机上，花费了1200个小时，作了100亿个判断，终于完成了四色定理的证明。 §1　图与网络的基本概念 §1　图与网络的基本概念 无向图： 由点和边构成的图，记作G=（V，E）。 有向图： 由点和弧构成的图，记作D=（V，A）。 一条链是(A Path)某些点与(连接这些点)的边的交替序列。无重复顶点和重复边的链称为初等链 图 6-5 中v1 →v2 →v3→v4 → v5 为一条链，且为一条初等链， 而v1 →v4→v2 →v3→v4 → v5 不是初等链 两个顶点相同的边称为环， e22 为环 两个顶点之间的边数≥2时,叫多重边。 v1 ，v2 之间有多重边 有多重边的图称为多重图，无环且无多重边的图称为简单图。这里，主要研究简单图 圈Cycle: 起点和终点相同 的链称为圈。 图6-6中 v1 →v2 →v4→v3 →v1为一个圈 简单圈：如果一个圈中所含的边 均不相同 初等圈：除起点和终点外链中所 含的点 均不相同的圈； 点的次为以顶点为端点的边的条数。记为d(v)或deg(v)。 当d(v) = 0，称顶点v为孤立点；当d(v)＝1，称顶点v为悬挂点； 当d(v)为奇（偶）数，称顶点v为奇（偶）点。 赋权图：对一个无向图G的每一条边(vi, vj)，相应地有一个数wij，则称图G为赋权图，wij称为边(vi, vj)上的权。 连通图：对无向图G，若任何两个不同的点之间，至少存在一条链则G为连