最小生成树【数学建模】.pptVIP

第二次：最小生成树问题 华侨大学信息系 宋海洲 一：问题及模型： 1：问题： 1989年，威斯康形州大学得到了一笔拨款，目的是要从头开始设计建造wisnet，使之成为internet一部分。关心的问题是（类似问题：架电话线问题）是个大学之间的数据通讯线的花费最小。 2：建立模型： 以大学为顶点，通讯线为边，一条通讯线的费用作为边的权。 目的：找一个包含所有顶点并且具有最小总权数的连通子图。 3：原现状： internet是逐步发展起来的，新加入的学校是采用最近邻试探法与最近邻结点相连。但这仅是“局部最优解”，并不一定是“全局最优解”. 4:wisnet问题与最小生成圈的区别： wisnet问题的解不必串成一个圈（实际上最经济的解不能含圈），只需任意两个结点相连就可。 5：树：没有圈的连通图，称为树。 6：问题转化：求一个加圈图的罪行代价生成树（MCST) 树： 二：树的性质： 引理1:从树中删去一条边后将使该数分离。 引理2:一个图有v个顶点，e条边，该图连通，则v=e+1. 引理3:设一个树的顶点数和边数分别为v,e，则v=e+1. 三：最小代价生成数的模型求解（算法）一：Prim算法（贪婪试探法） 1:思想：从一个固定的顶点出发，依照最小代价的边，一个接一个地添加顶点。（例如从A顶点出发，一个接一个地加顶点） （1）与A最近邻的点为B； （2）接下来有三种选择： a:添加顶点和对应从A到这些顶点的边。得到一个星型结构网络?也是树。 但可能不是最佳的树。 b:可以转移到刚刚加上的那个顶点（B），然后应用贪婪试探法的最近邻形式，添加一个与该结点最近邻的顶点。（这回是I） c: 按贪婪性原则，添加一条从现在已加上的人员一个城市（A或I）到某个可用的（未访问过的）城市具有最小代价的边。（这一次还是B）。换言之，我们添加上一个与现已形成的，作为一个整体子图最近邻的顶点。（主要困难是要避免产生圈，圈是一种浪费）?Prim算法 2：Prim算法的例：图1的Prim算法求解过程：（1）固定顶点A; (2)与顶点A最近的顶点为B，形成一子图。 （3）与A、B两顶点最近的顶点为I，形成子图： （4）与A、B、I三顶点最近的顶点为G. 3:Prim算法的伪码： 输入：一个具有v1,v2,……vn顶点的加权图和Initialnode的初始顶点。 输出：一个具有结点v1,v2,……vn的名为Tree的图。 前置条件：原始图是连通的，Tree是空的。 后置条件：输出的图Tree是一个最小代价的生成树。 AvailableNode?{v1,v2,……,vn}-Initialnode； 把Initialnode 加到Tree 的顶点中； for i 从1 到n-1； 从所有一个结点在AvailableNode中而另一个不在其中的边中选出一条具有最小权的边； 把这条边加到Tree中； 从AvailableNode中删除关联着新边的新结点； 把上述顶点加到Tree的顶点中； Endfor。 4： Prim算法的有效性： 一个算法是否有效，必须确认： 不能因为某一步无法完成而“搁置”（卡住式阻塞）； 能够终止（能结束而不是永远走下去）； 输出一个图； 输出一个树（一个连通图，不允许有圈）； 输出一个生成数（包含所有的顶点）； 输出一个最小代价生成树。 证明我们的算法有这些性质． 算法1出现搁置的一种可能情况是：在某次循 环中，所有的结点都是可用的(还没有形成子图的 任何部分)或者没有一个结点是可用的．这种情况 在我们的算法中是不可能出现的．事实上，结点永 远不可能全是可用的，因为我们在做这个循环之前 已经使结点InitialNode是不可用的了；同时在该 算法中没有一个地方我们把不可用的结点改变成 可用的结点．另外，我们从n—1个可用的结点开 始，每一次循环恰好从表中删除一个结点；由于我 们恰好循环n—1次，所以在做最后一次循环之前 我们不会用完所有的可用结点， 出现搁置的另一种可能情况是：存在一个结点，使得我们不能从现已包括在子图中的结点到达它，即没有一条从现已包括在子图中的结点通向它的边．这种情况在实际中是可能发生的(见图6)，因此我们的算法只对连通图有效．我们发现：对算法l想确认的第一件事情需要有一个前置条件(前提)，以便使我们所期望的后置条件(结论)是