最优化理论与方法2(2014-简版)(共71页).doc
《最优化理论与方法2(2014-简版)(共71页).doc》由会员分享,可在线阅读,更多相关《最优化理论与方法2(2014-简版)(共71页).doc(71页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、精选优质文档-倾情为你奉上最优化理论与方法讲义(下)第三章 整数规划线性规划问题的最优解可能是分数或小数,但对于某些问题,常要求解必须是整数(称为整数解)。这样的问题称为整数线性规划(integer linear programming),简称ILP。一、 整数规划(IP)(1) 要求一部分或全部决策变量取整数值的规划问题称为整数规划。u 不考虑整数条件,由余下的目标函数和约束条件构成的规划问题称为整数规划的松弛问题。u 若松弛问题是一个线性规划,则称整数规划为整数线性规划。(2) 整数线性规划的一般形式 (3) 整数线性规划问题的种类 纯整数线性规划它指全部决策变量都必须取整数值的整数线性规
2、划。 0-1型整数线性规划决策变量只能取值0或1的整数线性规划。 混合整数线性规划决策变量中有一部分必须取整数值,另一部分可以不取整数值的整数线性规划。(4) 举例例1:工厂和生产某种物资。由于该种物资供不应求,故需要再建一家工厂。相应的建厂方案有和两个。这种物资的需求地有、四个。各工厂年生产能力、各地年需求量、各厂至各需求地的单位物资运费,见下表:工厂或开工后,每年的生产费用估计分别为1200万或1500万元。现要决定应该建设工厂还是,才能使今后每年的总费用最少。解:这是一个物资运输问题,特点是事先不能确定应该建还是中哪一个,因而不知道新厂投产后的实际生产物资。为此,引入0-1变量:再设为由
3、运往的物资数量,单位为千吨;表示总费用,单位万元。则该规划问题的数学模型可以表示为:例2:现有资金总额为。可供选择的投资项目有个,项目所需投资额和预期收益分别为和,此外由于种种原因,有三个附加条件: 若选择项目1,就必须同时选择项目2。反之不一定; 项目3和4中至少选择一个; 项目5、6、7中恰好选择2个。应该怎样选择投资项目,才能使总预期收益最大。解:对每个投资项目都有被选择和不被选择两种可能,因此分别用0和1表示,令表示第j个项目的决策选择,记为:投资问题可以表示为:二、 整数规划的求解线性规划问题的最优解可能是分数或小数,为满足整数解的要求,似乎可以把已得到的带有分数或小数的解“舍入化整
4、”。这种方法可行吗?例 设整数规划问题如下: 用图解法求出最优解为:x13/2, x2 = 10/3,且有Z = 29/6。 现求整数解(最优解):如用舍入取整法可得到4个点,即(1,3), (2,3), (1,4), (2,4)。显然,它们都不可能是整数规划的最优解。 按整数规划约束条件,其可行解肯定在线性规划问题的可行域内且为整数点。故整数规划问题的可行解集是一个有限集。由上例看出,将线性规划的最优解经过“化整”来解原整数线性规划,虽是最容易想到的,但常常得不到整数线性规划的最优解,甚至根本不是可行解。1、整数规划问题解的特征l 最优点不一定在顶点处取得;l 最优解不一定是松弛问题最优解的
5、邻近整数解;l 整数可行解远多余于顶点,枚举法不可取;l 可行解是其松弛问题的可行解,反之不一定,但如果松弛问题的最优解还满足整数约束条件,是整数规划的最优解。2、整数规划问题的求解方法2.1 割平面法1、基本思想:由松弛问题的可行域向整数规划的可行域逼近。2、方法:利用超平面切除要求:(1)整数解保留;(2)松驰问题最优值增加。具体为:即 首先不考虑变量 xi 是整数这一条件,仍然是用解线性规划的方法去解松弛问题。 若得到非整数的最优解,则增加线性约束条件(或称为割平面),割去非整数解,切割掉原可行域的一部分,使得只切割掉非整数解,没有切割掉任何整数可行解。以下仅讨论纯整数线性规划的情形。例
6、 求解 目标函数 约束条件: 先不考虑条件的整数约束条件,求得相应的松弛线性规划的最优解为:,最优值为。最优解是图中域的极点,但不符合整数约束条件。现设想,如能找到像CD那样的直线去切割域,去掉三角形域ACD,那么具有整数坐标的C点(1,1)就是域的一个极点。如在域上求解原来的松弛问题,而得到的最优解又恰巧在C点,就得到原问题的整数解,所以解法的关键是怎样构造一个这样的“割平面”CD,尽管它可能不是唯一的,也可能不是一步能求到的。首先,将松弛规划化为标准型,即在原问题的前两个不等式中增加非负松弛变量x3、x4,使两式变成等式约束: 用单纯形表求解,见下表。由于目前得到的解不满足整数最优解要求,
7、需要考虑将带有分数的最优解的可行域中分数部分割去,再求最优解。然后,可从最终计算表中得到非整数变量对应的关系式:为了得到整数最优解,将上式变量的系数和常数项都分解成整数和非负真分数两部分之和 然后将整数部分与分数部分分开,移到等式左右两边,得到现考虑整数约束条件要求都是非负整数,于是由条件、可知也都是非负整数,这一点对以下推导是必要的,如不都是整数,则应在引入之前乘以适当常数,使之都是整数。上式中,从等式左边看是整数;等式右边也应是整数,即则整数条件可由下式所代替:即 这就得到一个切割方程(或称为切割约束),将它作为增加约束条件,再解例题。引入松弛变量x5,得到等式将这新的约束方程加到上述的最
8、终计算表,得下表。这从表的b列中可看到,这时得到的是非可行解,于是需要用对偶单纯形法继续进行计算。选择为换出变量,计算将做为换入变量,再按原单纯形法进行迭代,得表。由于的值已都是整数,解题已完成。注意:新得到的约束条件 如用表示,由、式得这就是平面内形成的新的可行域,即包括平行于轴的直线和这直线下的可行区域,整数点也在其中,没有切割掉,见图。求一个切割方程的步骤为:Step1令是相应线性规划最优解中为分数值的一个基变量,由单纯形表的最终表得到: (3-4)其中,指构成基变量的指标集合;,指构成非基变量的指标集合。Step2 将和都分解成整数部分与非负真分数之和,即 (3-5)而N表示不超过b的
9、最大整数。例如:若b=2.35, 则N=2,f=0.35若b= 0.45,则N= 1,f=0.55代入(3-4)式得 (3-6)Step3 现在提出变量(包括松弛变量)为整数的条件。 (3-6)这时,上式由左边看必须是整数,但由右边看,因为,所以不能为正,即 (3-7)这就是一个切割方程。由(3-4)式,(3-6)式,(3-7)式可知:切割方程(3-7)式真正进行了切割,至少把非整数最优解这一点割掉了。没有割掉整数解,这是因为相应的线性规划的任意整数可行解都满足(3-7)式的缘故。2.2 分枝定界法 对于规模较小的问题,变量个数很少,可行解的组合数也较小时,这个方法是可行的,也是有效的。但对于
10、大型问题,可行的整数组合数会很大。例如在指派问题中,将n项任务指派n个人去完成,不同的指派方案共有n!种,当n=10时,可能的指派方案数超过300万;当n=20时,超过21018。显然,穷举法是不可取的。(1) 分枝定界法的简介20世纪60年代初由Land Doig和Dakin等提出,是解整数线性规划的重要方法之一。基本思想:将要求解的整数规划问题逐步通过设置某些决策变量的范围,把问题分解成若干子问题,对每个子问题再利用去掉整数约束得到松弛的子问题,使用线性规划方法求解松弛子问题,得到原问题最优值的上界。考虑最大化整数线性规划问题A,与它相应的线性规划记为问题B 若B无可行解,则A无可行解;
11、若B有最优解,且满足整数约束,则它也是A的最优解; 若B有最优解,但不满足整数约束条件,这时B的最优值是A的最优值的上界;分枝定界法可用于解纯整数或混合整数线性规划问题,考虑如下问题 2、解题步骤(以极大化问题为例)(1)确定整数规划最优解的上下界l 若B无可行解,则A无可行解,停机;l 若B有最优解且为整数解,则此解为A的最优解,停机;l 若B有最优解但不是整数解,记目标函数值是;l 用观察法找A的一个可行整数解,其函数值记为。若观察不到,则可令,即得(2)分枝、求解(增加约束条件将问题分枝)任意选一个非整数解的变量,在松弛问题中加上约束: 和 组成两个新的松弛问题,称为分枝,并求解这两个问
12、题。举例:松弛问题:松弛问题的最优解:则分解为二个子问题和: (3)定界、剪枝u 定界:修改上界:每解完一对分枝后,都要修改上界,在所有未被分枝的问题中找出最优目标函数值的最大者作为新的上界。在分枝定界法的整个过程中上界的值不断减少。修改下界:每求出一次已符合整数条件的可行解时,都要修改下界。在所有符合条件的各分枝中,找出目标函数值最大者作为新的下界。在分枝定界法的整个过程中,下界的值不断增大。u 剪枝若分枝无可行解树叶,则剪掉该分枝;分枝的最优目标函数值,剪掉该分枝(枯枝);若分枝的最优目标函数值,则继续分枝,转,直到 ,则。注:继续分枝时,先对目标函数值较大的那枝进行分枝求解。对目标函数值
13、较差的那一枝暂且放下,待目标函数值较优的那枝全部分解到不能再分解,再考虑目标函数值较差的那枝。例:用分枝定界法求解整数规划问题(用图解法计算)解:首先去掉整数约束,变成一般线性规划问题用图解法求(LP)的最优解,如图所示。, 即也是(IP)最大值的上限。取对于,取值和;对于,取值和。先将(LP)划分为(LP1)和(LP2),取,则有下式:现在只要求出(LP1)和(LP2)的最优解即可。首先求(LP1),如图所示。其在B点取得最优解,。此时 找到整数解,此枝停止计算。其次,求(LP2),如图所示。其在C点取得最优解,。此时, 由于,原问题可能有比16更大的最优解,但不是整数,故利用和,加入条件。
14、对于LP2,加入条件:和,则有下式:然而分别求出(LP21)和(LP22)的最优解即可。LP21:在D点取得最优解。即,。此时, LP22:无可行解,不再分枝。由于LP21中不是整数,可继续分枝,即(LP211)和( LP212)。求解过程同上,在此略。LP211:在E点取得最优解,即,。此时, LP212:在F点取得最优解,即,。至此,原问题(IP)的最优解为:,。上述求解过程用一个树形图表示如右:结论1:(IP)的最优解一定在某个子问题中;2:子问题的可行域父问题的可行域 子问题的最优值父问题的最优值;3:子问题中的整数解都是(IP)的可行解。第四章 非线性规划的基本理论一、 数学基础1、
15、多元函数的泰勒展开多元函数在点作泰勒展开,取其前三项。写成矩阵形式: 式中称为的海森(Hessian)矩阵,常用表示。由于元函数的偏导数有个,而偏导数的值与求导次序无关,所以函数的二阶偏导矩阵是对称矩阵。例1:一般二元二次函数 ,求。解: 4.2 方向导数与梯度具有n个自变量的函数在点的一阶偏导数记为它是一个标量。函数的偏导数仅仅描述了函数沿其自变量所在坐标轴的特定方向上的变化率在许多实际问题中,常常需要知道函数沿其它任一方向上的变化率。对这样的问题就要借助于函数的方向导数来描述。4.2.1 方向导数二元函数在点处沿某一方向的方向导数方向导数实质上是偏导数概念的推广,其关系为:元函数在点处沿方
16、向的方向导数 当,值在点处沿方向是增加的(或称的方向是在处的上升方向); 当,值在点处沿方向是减少的(或称的方向是在处的下降方向); 当,方向与的等值面相切,这时,在点处沿S方向不增也不减。 从同一点出发,沿不同方向的方向导数不相同。犹如爬山一样,把目标函数值看作山的海拔高度,方向导数不同犹如沿不同的路线或方向山的坡度不一样。方向导数越大,表明沿这个方向或路线山的坡度越大。问题:从点出发,可以有无穷多个方向,那么究竟哪一个方向函数的变化率最大呢?这个问题要借助于函数的梯度来判定。4.2.2 最速下降方向二元函数的梯度 其中 为函数在点处的梯度。可见,函数在点的梯度是由函数在该点的各个一阶偏导数
17、组成的向量。设,则 梯度方向和S方向重合时,方向导数值最大。梯度的模为:当为单位向量,则有梯度方向是函数值变化最快的方向,而梯度的模就是函数变化率的最大值,负梯度方向函数值下降最快。梯度方向与等值线的关系,如右图所示。由于梯度的模因点而异,即函数在不同点处的最大变化率是不同的。因此,梯度是函数的一种局部性质。梯度两个重要性质:性质1:函数在某点的梯度不为零,则必与过该点的等值面垂直;性质2:梯度方向是函数具有最大变化率的方向。例1 试求目标函数在点处的最速下降方向,并求沿这个方向移动一个单位长度后新点的目标函数值。解:由于则函数在处的最速下降方向是这个方向上的单位向量是:则新点为:几个常用的梯
18、度公式:(1),则;(2) ,则;(3) ,则;(4) ,为对称矩阵,则。因此,对于一般二次函数,。4.3 二次函数及正定矩阵二次函数的一般形式为:其中均为常数,且。其向量矩阵表示形式是:其中,为对称矩阵。定义:设Q为nn对称矩阵(1)若,均有,则称矩阵Q是正定的;(2)若,均有,则称矩阵Q是负定的;(3)若,均有,则称矩阵Q是半正定的;(4)若,均有,则称矩阵Q是半负定的。对于满足(1) (4)情形的二次型,称其为有定的;如果不是上述四种情形,则称其为不定的。l 一个nn对称矩阵Q是正定矩阵的充要条件是矩阵Q的各阶主子式都是正的。即, , l 一个nn对称矩阵Q是负定矩阵的充要条件是矩阵Q的
19、各阶主子式的值负、正相间。, , 如果Q是正定的,则目标函数的等值面是同心椭球面族,且其中心点为4.4 凸函数与凸规划当极值点能使在整个可行域中为最小值时,即在整个可行域中对任一都有时,则就是最优点,且称为全域最优点或整体最优点。若为局部可行域中的极小值而不是整个可行域中的最小值时,则称为局部最优点或相对最优点。最优化的目标是全域最优点。 函数的凸性表现为单峰性。对于具有凸性特点的函数来说,其极值点只有一个,因而该点既是局部最优点亦为全域最优点。 一、凸函数具有凸性(表现为单峰性)或只有唯一的局部最优值亦即全域最优值的函数,称为凸函数或单峰函数。1、定义:设为定义在维欧氏空间中的一个凸集上的函
20、数,如果对任何实数以及对中任意两点恒有:则为上的凸函数。2、几何意义在凸函数曲线上取任意两点(对应于轴上的坐标)联成一直线线段,则该线段上任一点(对应于轴上的点)的纵坐标值必大于或等于该点处的原函数值。 3、性质(1)若为定义在凸集上的一个凸函数,且 是一个正数(),则也必是定义在凸集上的凸函数;(2)定义在凸集上的两个凸函数,其和亦必为该凸集上的一个凸函数;(3)若为定义在凸集上的两个凸函数,和为两个任意正数,则函数仍为上的凸函数。二、凸性条件(1)若为定义在凸集上且具有连续一阶导数的函数,则为凸函数的充分必要条件为:对于任意两点,不等式恒成立。(2)设为定义在凸集上具有连续二阶导数的函数,
21、则在上为凸函数的充分必要条件是海赛矩阵在上处处半正定。三、凸规划对于约束优化问题式中若、均为凸函数,则称此问题为凸规划。凸规划有如下性质:(1)若给定一点,则集合为凸集。此性质表明,当为二元函数时其等值线呈现大圈套小圈形式;(2)可行域为凸集;(3)凸规划的任何局部最优解就是全局最优解。4.5 无约束优化问题的极值条件多元函数极值定义:在点的某邻域内,若,则为严格极大值点;,则为严格极小值点。 极值存在的必要条件:即(零向量),点为驻点。 极值存在的充要条件:且需通过二阶导数来判断。若,即是正定的,则为严格极小值点;若,即是负定的,则为严格极大值点。4.6 约束优化问题的极值条件 无约束优化设
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 优化 理论 方法 2014 简版 71
限制150内