【北京交通大学《数学模型》电子教材 】6.1 网络通讯问题（精品推荐 免费分享）.doc

第6章离散模型 在现实世界中涉及到的许多变量都是离散的，例如从实验或观察得到的数据，或者统计数据；还有一些原本是连续的变量，比如时间，但是从建模的目的考虑，将变量离散化以后加以考虑则更加合适。一般来说，离散模型包括的范围非常广。本章只介绍了两个有趣的案例。更多的模型请看习题和参考书。 6.1 网络通讯问题 本问题取材于1994年美国大学生数学建模竞赛B题，介绍的方法主要来自于多伦多大学工业工程系一个参赛队的获特等奖的优秀论文。 1） 问题的提出 在公司里，各部门每天都要分享信息。这些信息包括前一天的销售统计和当前的生产指南。尽快公布这些信息是非常重要的。假设一个通讯网络被用来从一台计算机向另一台计算机传输数据组（文件）。作为例子，考虑图5-1。 图5-1 文件传输网络的例子 顶点V1，V2，…，Vm表示计算机，边e1，e2，…，en表示要传输的文件，T(ex)表示传输文件ex所需的时间，C(Vy)表示计算机Vy同时能传输多少个文件的容量。文件的传输必须占用两个有关计算机为传输该文件所需的全部时间，C(Vy)=1表示计算机Vy一次只能传输一个文件。 我们有兴趣的是以最优的方式来安排传输，使得传输完所有的文件所用的总时间最少。这个总时间被称为“完工时间”（makespan）。请为你们的公司考虑以下三种情况： 情形A: 你们公司有28个部门。每个部门有一台计算机，每台计算机被表示为图2中的一个顶点。每天必须传输27个文件，在图5-2中用边来表示文件传输。对于这个网络，对所有的。试找出该网络的一个最优时间表（schedule）和相应的完工时间。你们能向你们的主管人员证明你们对该网络求出的完工时间是最优的吗？叙述你们求解该问题的方法。你们的方法适用于一般情形吗，即是否适用于以及图的结构都是任意的情形？ 情形B： 假设你们的公司改变了传输要求。现在你必须在相同的基本网络结构（见图5-2）上考虑不同类型和数量的文件。传输这些文件所需的时间由表5-1中每条边的项表示。对全部仍有。试对新网络找出一个最优时间表和其完工时间。你们能对新网络而言所求得的完工时间是最小可能的吗？叙述你们求解该问题的方法。你们的方法适用于一般情形吗，试对任何特异的或出乎意料的结果发表评论。 图5-2：情形A和B的网络 情况C： 你们公司正在考虑扩展业务。如果公司这样做的话，每天有一些新文件（边）要传输。这种业务扩展还包括计算机系统的升级换代。28个部门中的某些部门将配备新的计算机使之每次能传输不止一个文件。所有这些变化都在图5-3和表5-2、表5-3中说明。你们能找到的最优时间表和完工时间是什么？你们能证明对该网络而言你们的完工时间是最小可能的吗？叙述你们求解该问题的方法。你们的方法适用于一般情形吗，试对任何特异的或出乎意料的结果发表评论。 表5-1 情形B的文件传输时间数据 图5-3 情形C的网络 表5-2 情况C的文件传输时间数据 表5-3 情况C的计算机容量数据 问题的背景 该通讯网络问题是离散最优化学科中“时间表问题”（Scheduling problems）的一类，即在受传输时间和计算机容量等因素的限制下，使得完成全部文件传输的时间最短。该时间称为“完工时间”（makespan）。 时间表问题可按其结构不同分为许多类型。就复杂度而言，其中大多数问题属于NP－困难问题，这种问题的规模一般较大，所以其最优解的寻求是很困难的。目前解决NP－困难问题最常用的方法是使用一些多项式时间的近似法。为了合理地衡量这种接近程度，常用的衡量指标是“最坏情况下的性能比”。本次竞赛的问题属于规模较小的时间表问题，规模较小的离散最优化问题可以使用“穷举方法”来求出其最优解，但是NP－困难问题的任何穷举方法都是指数级的。 优秀论文摘要 该论文利用图论的一些结果和最大匹配设计了一类方法，并证明对于情况A、B和C，所计算的结果都是最优的，对于任意图的结构和容量，所给出的方法其结果也是最优的。 2) 基本概念和定理 1. 图可以表示为G=(V,E)，其中V是“顶点”集，E是“边”集。无向图是指图的任何一条边(x,y)都没有方向，。图G被称为简单图，如果E的任何一条边(x,y)，都有。 2. 顶点x的“次”或“度”（degree）是指与x关联的边的个数。 3. 图G称为连通的，如果对每一对顶点，都存在一列边，使得，且。 4.图称为图的一个“子图”，如果。 5.????? 图G的一条“路”是指G的一个连通子图，而且子图中的两个顶点