建模第十二章.docVIP

网络图论建模 在众多的数学模型方法中，有一种直观形象，富有启发性和趣味性的方法深受人们青睐，他就是网络图论模型。 现实中的许多问题都需要研究多个事物之间的相互联系。这些联系可以是可见的网，也可以是不可见的网。常见的网络图有公路网、铁路网、电话线网、计算机通信网、输电线网、有线电视网、河道网等，也有不可见的各种关系网，如各种状态转移关系、事物的相互冲突关系、工序的先后顺序。如果用点来表示这些联系，用线及权来表示它们之间的相互联系及其关联程度，那么所研究的问题就被抽象为一个网络图模型。再运用网络图论的方法，使问题得到解决，这就是网络图论模型。网络图论已被广泛应用于系统工程、通信工程、计算机科学等各个领域。 最小生成树、最短路径问题、最大流问题、最小费用流问题和匹配问题等都是图与网络的基本问题，也是常见的网络优化问题，常用线性规划和网络分析方法来解决。在图论中这些优化问题已经有有效算法，也可建立线性规划模型求解，但当变量特别多，约束也较多时，线性规划的方法求解效率不高，此时若采用网络分析方法求解则会非常有效。 本篇将在介绍图的基本概念基础上、阐述最小生成树、最短路径的常用方法及算法，为解决网络图论建模问题打下基础。 第十二章 图的基本概念与算法初步 本章从介绍图的基本概念出发，阐述如何建立图模型，图的储存结构，图的表示与矩阵表示之间的转化，并对算法及其复杂性进行简要介绍，树立算法有效性观点。 数学实验与数学建模 问题的提出 Konisberg七桥问题 Konisberg（哥尼斯堡）城是18世纪东普鲁士的一座城市，它位于Pregei(普利格尔)河畔，河中有两个小岛，河两岸和小岛通过七座桥相连，见图12.1.当人们热衷于一个有趣的游戏：从四块陆地的某点出发，通过每座桥一次且仅一次回到出发点是否可能？但结果没有人能够做到。该问题被提交到了当时的著名数学家欧拉（Euler）面前。他猜想这是不可能的。 1736年，欧拉（Euler）证明了他的猜想。他将南北两岸和两个岛A,B,C,D抽象成四个点，将连接这些陆地的桥用线段表示，见图12.2，结果将问题转化为：从图中任一点出发，找出一条通过每条边各一次，最后返回到该点的回路。常称这样的回路为Euler回路。所求的也可以不要求是回路，而只是遍历每条边各一次的通路。 该问题是欧几里德几何学没有研究过的问题。这里引出的图形、线段的长短、曲直、顶点的准确位置都无关紧要，重要的是点线之间的连接关系。 欧拉指出：一个线图存在通过没边一次且仅一次回到出发点的路线的充要条件是： 图必须连通； 与图中每一顶点相连的边必须是偶数条。 结论：七桥问题无解 欧拉由七桥问题所引发的研究论文是图论的开篇之作，因此称欧拉为图论之父。 这个问题粗看起来图12.2与图12.1在直观上很少相似之处，但由上面的分析过程可知，图12.2不仅是原来七桥问题经过抽象的到的结果，而且把问题 描述得更加深刻，是我们很容易发现问题的实质。因此它是一个很好的数学模型。 古典过河问题 问题：设有n个正常人和n个精神病患者要过一条河。现只有一条能容纳C(C≤2n)人的小船，为防止患者伤害正常人，要求无论在河岸的哪一边正常人的个数不得少于患者的个数（除非正常人个数为0）。又设每个人都会划船，试设计一个过河的最佳方案（小船来回次数最少）。 分析：问题复杂，先构造出相应的数学模型。 模型建立：用三元组（x，y，t）表示渡河过程中的某个状态 x——起始岸上正常人的个数 y——起始岸上患者的个数 t——小船的位置 t= 构造一个图，图中的每一个顶点代表一个合法的状态，不难得出合法状态下，（x，y，t）必须满足：x=0，或x=n，或x=y，图中的边则表示该边所依附的的两个顶点（即两个合法状态）间可由一次划船而相互转换。 例：当n=2，C=2时，各合法状态及其转换如图12.3所示： 可见，通过的最佳方案不唯一。 上面过河方案的求解就转换成一个图的搜索问题，即搜索一个图，找出从起始点（n，n，1）到目的顶点（0,0,0）的一条包含变数最少的通路，若无，则给出无解的信息。 与上述两个问题有关的更实际的问题是“中国邮路问题”，它是由中国数学家管梅谷首先提出而得名。设邮递员从邮局出发，遍历它所管辖的街道构成回路， 则这条回路便是所求的路径。如若不是，则必然有些街道需走多于一遍，这时需寻求最短路径。又如1998年全国大学生数学模型竞赛B题“最佳灾情巡视路线问题”，也是属于最短路径问题，即最佳推销员回答问题。 图的概念和术语 1