所有课件第七次课程材料tutorial.pdfVIP

图论与网络模型 周吕文 2015 年04 月15 日 引言 “图(graph)” 这一名词是 Sylvester 在于 1878 年发表在自然上的一篇论文中提出的 [1]. 在 数学和计算机科学中, 图论是研究图的一门科学. 图是由若干给定的点及连接两点的线所构成的 图形, 这种图形通常用来描述某些事物之间的某种特定关系, 用点代表事物, 用连接两点的线表 示相应两个事物间具有这种关系 [2]. 对于节点数比较多的图, 有时候也称为网络或者所谓的复 杂网络. 我们的周围都是图和网络, 包括技术网络 (如因特网, 电网), 网络(如 图, 朋友 网) 网络(如万维网, 图等), 生物学网络 (如生化网, 神经网, 食物网) 等. 一般认为, 图论起源于 1736 年 的 Euler 的关于柯尼斯堡七桥问题的论文 [3], 本节将 在1.1介绍 “柯尼斯堡七桥问题 (Seven Bridges of Königsberg)” 更多细节. “柯尼斯堡七桥问 题” 后来被推广为著名的欧拉路问题, 亦即一笔画问题. 欧拉关于柯尼斯堡七桥问题的论文与 Vandermonde 的一篇关于“骑士周游问题 (knight problem)”[4] 的文章, 则是继承了Leibniz 提 出的“位置 ”[5] 的方法. 欧拉提出的关于凸多边形顶点数, 棱数及面数之间的关系的 Euler 公式与图论有密切联系, 此后又被Cauchy[6] 等人进一步研究推广, 成了拓扑学的起源. 1857 年, Hamilton 发明了 “环游世界游戏 (icosian game)”[7], 与此相关的则是另一个广为人知的图论问 题 “哈密顿路径问题 (Hamiltonian path problem)”[8]. Euler 的论文发表后一个多世纪, Cayley 研究了在微分学中出现的一种数学 的特殊形 式, 而这最终将他引向对一种特殊的被称为 “树” 的图的研究 [9]. 由于有机化学中有许多树状 结构的分子, 这些研究对于理论化学有着重要意义, 尤其是其中关于具有某一特定性质的图的 计数问题. 除 Cayley 的成果外, Pólya[10] 也于 1935 至 1937 年发表了一些成果, 1959 年, De Bruijn[11] 做了一些推广. 这些研究成果奠定了图的计数理论的基础. Cayley 将他关于树的研究 成果与当时有关化合物的研究联系起来, 而图论中有一部分术语正是来源于这种将数学与化学 相联系的做法 [12]. 1860 年之 1930 年间, Jordan, Kuratowski 和Whitney 从之前 于图论而发展的拓扑学中 吸取大量内容进入图论, 而现代代数方法的使用更让图论与拓扑走上共同发展的道路. 图论中概 率方法的引入, 尤其是Paul Erdős 和Alfréd Rényi 关于随机图连通的渐进概率的研究使得图论 产生了新的分支随机图论 [2]. 在本节中, 1.1和1.2中介绍两个经典的问题, 即柯尼斯堡七桥问题和地图染色问题, 让读者感 受一下如何将现实中的问题转化为图论问题. 在1.3中介绍一下近些年中的数学建模 中涉及 图论与网络模型的问题. 柯尼斯堡七桥问题 [13] 柯尼斯堡七桥问题是图论中的著名问题. 这个问题是基于一个现实生活中的事例: 当时东普 鲁士柯尼斯堡 (今日俄罗斯加里宁格勒) 市区跨普列戈利亚河 , 河中心有两个小岛, 小岛与 河的 有七条桥连接. 在所有桥都只能走一遍的前提下, 如何才能把这个地方所有的桥都走 遍? 欧拉在 1735 年提出, 并没有方法能圆满解决这个问题. 他在第二年发表的论文 “柯尼斯堡的 七桥” 中, 证明符合条件的走法并不存在, 也顺带提出并解决了一笔画问题. 这篇论文在圣彼得