第六章离散模型【数学建模】.pptxVIP

第六章 离散优化模型及算法设计;§6.1 某些P问题及其算法;一、拟阵问题及贪婪算法;;例6.2 求图9.1中图G的最小生成树。;例6.3 (入树问题) 给出一个有向图G=（V，A），对A中的每一条孤e，给出一个权C（e），求A的一个具有最大权（或最小权）的子集B，要求B中任意两条孤都没有公共的终点。;;解：采用贪婪法，先取权最大的列e1，同时对A作高斯消去，逐次加入 线性无关的向量：;;我们不加证明地引入下面的定理，虽然其证明并不十分困难。 ;二、两分图匹配问题与增广路算法;例6.7显然是指派问题的实例，但它也可以看成是两分图赋权匹配问题的实例。;由于两分图最大权匹配问题等价于指派问题，所以它是一个P问题。对于这一P问题，我们是否也能象前面一样用贪婪法求解呢？如果用贪婪法求解例6.7，则有C嫁y（28头），去除C、y及相应边（一夫一妻）；再将B嫁x（5头），去除B、x及相应边；最后，A??能嫁Z（1头）。共得财礼34头牛。事实上，酋长的女儿只有六种嫁法（3！），比较所有方案，发现C嫁x、A嫁y、B嫁z最好（y几乎差不多同样喜欢C和A，而z则明显喜欢C而不太喜欢A），可得财礼57头牛。虽然后一算法不是多项式时间的，对待嫁者数量稍大的问题无法求得结果，但对本例，它至少表明用贪婪法没有求得最优解，因而两分图最大权匹配问题不是拟阵问题（或者讲不具有拟阵结构），从而，一般赋权图上的最大权匹配问题更不是拟阵问题。J.Edmonds将最大权匹配问题表示成为一个特殊的线性规划并由此导出了用他的名字命名的O（n4）算法，由于他的算法较复杂,本书不准备作详细介绍,有兴趣的读者可查阅C.H.Papadimitriou“组合最优化，算法和复杂性”一书第十一章。至于两分图赋权匹配问题，由于它与指派问题的等价性，完全可以用计算量O（n3）的匈牙利方法求解，也可以化为后面的网络流问题求解。;定义6.3 设M是图G的一个匹配，M中的边称为匹配边，其端点称为一对配偶（其它边称为未匹配边或自由边）。V中已有配偶的点称为已盖点，否则称为未盖点。;;三、网络流问题;;对于一个较为复杂的网络，要想直接找出最大流是不太可能的。为了简化问题，我们先引入一些符号。;;;;;2、最小费用最大流问题;例如，在交通网络中，l(i, j)可以是i, j之间的距离或运费。自然，在运送相同数量货物时，我们希望总距离或总运费最小。现在，我们将以最大流问题的增广路算法为基础，导出求解最小费用最大流问题的算法。;;定理6.7 设φ1是网络上流量为υ的最小费用流，φ2是其增广网络上由s到t的最小费用单位流增广路，则φ1+φ2是此网络流量为υ+1的最小费用流。;;四、最短路径问题;求解最短路径问题的Dijkstra算法体现了动态规划算法的基本思想。若点P在A到E的最短路上，则P到E的最短路径必整个地包含在A到E的最短路径上。因为，若不然，将由P到E的最短路径导出A到E的更短路径，从而导出矛盾。算法既可以通过对顶点逐次标号来实现，也可以通过矩阵运算进行。在使用标号法时，既可以从起点开始标，也可以从终点开始标。（两者目的略有不同）对例9.11中的网络，如从起点A开始标导，先在A点标上0。再找出离A最近的点B3，标上A到B3的最短矩离1并记录下A点（表明由A而来）。一般，在标新顶点时，先找出离已标号顶点最近的顶点。比较各已标号顶点（与拟标号顶点有边相连）的标号与它到拟标号顶点距离之和，找出各种中最小者作为新顶点的标号，并记录下其前的已标号顶点。直到拟到达的终点已标号为止。例如，图9.15指出，A到E的最短路径为A→B2→C1→D1→E，最短距离为19。 ;容易看出，算法是多项式时间的。在标每一顶点时，最多作了| V |次运算。算法进行中，事实上在构造一棵由已标号顶点及它们与其前行点间的边组成的树。每一顶点均不可能重复标号，故总计算量的一个上界为O（|V|2）。;例6.12 某单位使用一种设备。该设备在5年内的预期价格见表9.1，使用不同年数的设备的年维修费用见表6.2 。现准备制订一个五年内的设备更新计划，使五年内支付的设备购置费用及总维修费用最少。;容易看出，作出n年设备更新问题的有向图将问题化为最短路径问题大约需要O(n2)计算量，其后要求求解的最短路径问题的计算量也是O(n2)，故设备更新问题可在O(n2)时间内求解。;五、欧拉圈与最短邮路问题;图的连通性可以十分容易地用标号算法加以检验。而图的奇顶点数又可通过对其顶点一一检测而求得。容易看出总计算量是多顶式时间的，故欧拉圈问题和欧拉路问题均是十分简单的P问题，从而，等价地，一笔画问题也可十分容易地求解：若图G是欧拉图，则从任一顶点出发均可将它一笔画出；若图G是欧拉路，则由一奇顶点出发，一一经偶顶点地走过各条边，最后到达另一奇