管理科学理论-2.ppt
《管理科学理论-2.ppt》由会员分享,可在线阅读,更多相关《管理科学理论-2.ppt(33页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第四章第四章 约束非线性优化的理论与方法约束非线性优化的理论与方法一,等式约束问题一,等式约束问题1,切向量与正规性,切向量与正规性定义定义1 设设x0 是由方程组是由方程组gi(x)=0,i=1,2,m,确定的曲面确定的曲面S上的一点,若在上的一点,若在S上存在曲线上存在曲线x(t),x(0)=x0,x(0)=h,则称向量是曲面则称向量是曲面S上点上点x0处的切向量。处的切向量。定义定义2:如果关于:如果关于h 的线性方程组:的线性方程组:系数矩阵系数矩阵满满秩,则称秩,则称x0为曲面为曲面S上的一个正规点。上的一个正规点。l注注1 是是x0处法空间的一组基。处法空间的一组基。l注注2 方程
2、组方程组 的一组线性无关的的一组线性无关的解构成曲面解构成曲面S上上x0处切空间的一组基。处切空间的一组基。l2,具等式约束问题的极值必要条件,具等式约束问题的极值必要条件l考虑二维问题:考虑二维问题:min f(x,y)S.t.g(x,y)=0l结论结论1:若在极小点若在极小点(x0,y0)处处,g(x0,y0)0,则则 f(x0,y0)与与 g(x0,y0)线性相关,即线性相关,即 f(x0,y0)+g(x0,y0)=0。l结论结论2:(Lagrange乘子规则乘子规则)设设(x0,y0)是局部极小点,且是局部极小点,且 g(x0,y0)0,则存在常数则存在常数 ,对函数,对函数F(x0,
3、y0)=f(x0,y0)+g(x0,y0),满足满足 F(x0,y0)=f(x0,y0)+g(x0,y0)=0.结论结论3(充分条件):设点(充分条件):设点x0满足必要条件:满足必要条件:F(x0)=f(x0)+g(x0)=0.若若则则x0是局部极小点。是局部极小点。二,具不等式约束的问题二,具不等式约束的问题1,下降方向和可行方向,下降方向和可行方向考虑一般非线性约束优化问题:考虑一般非线性约束优化问题:例:求解例:求解 1)下降方向的选择下降方向的选择 如果方向如果方向P在点在点x0处是下降方向,则处是下降方向,则P应与应与 f(x0)同侧,同侧,即:即:记记 为点为点x0处的下降方向集
4、。处的下降方向集。2)可行方向的选择可行方向的选择 在在x0处的可行方向应满足处的可行方向应满足:结论结论1:若:若 所有方向所有方向P都是可行的。都是可行的。结论结论2:若:若 当当 时时则则P为可行方向。为可行方向。记记 为可行方为可行方向集。向集。注:对等式约束而言,所有约束都是起作用约束。注:对等式约束而言,所有约束都是起作用约束。2,最优性条件,最优性条件定义定义1:若对:若对 x C和和0,有有 x C,则称则称C为锥,如果为锥,如果C是是凸的,则称其为凸锥。凸的,则称其为凸锥。定义定义2:设是约束集,称:设是约束集,称为为x0处的可行方向锥。处的可行方向锥。下面进一步讨论最优性条
5、件。设下面进一步讨论最优性条件。设x*是问题是问题 的最优解,则的最优解,则x*处处 换言之,在换言之,在x*处满足处满足 的方向的方向P必有必有 称称 为为FritzJohn 条件。其中条件。其中 线性无关。线性无关。在最优点在最优点x*处应满足处应满足 lFarkas引理:给定向量引理:给定向量a i(i=1,2,k)与)与b,不存在向量不存在向量P同同时满足条件时满足条件 和和 的充要条件是的充要条件是 向向量量b 在在ai 所张成的凸锥内,即满足所张成的凸锥内,即满足 定理定理定理定理1:1:设设设设x x*为问题为问题为问题为问题的一个可行点的一个可行点的一个可行点的一个可行点,并且
6、前并且前并且前并且前t t个约束为起作用约束个约束为起作用约束个约束为起作用约束个约束为起作用约束,则则则则x x*为最为最为最为最优解的一个必要条件是下式成立优解的一个必要条件是下式成立优解的一个必要条件是下式成立优解的一个必要条件是下式成立:例例例例:考虑问题考虑问题考虑问题考虑问题l从上例看出,满足定理从上例看出,满足定理1还需增加一些约束规范,如梯度向还需增加一些约束规范,如梯度向量线性无关等,上例有量线性无关等,上例有 更一般的有:更一般的有:l定理定理2(KuhnTucker)最优性必要条件:最优性必要条件:在最优点在最优点x*处,设处,设线性无关,则存在线性无关,则存在满足:满足
7、:称上式为称上式为KT条件条件,满足上式的点称,满足上式的点称KT点点。相应的广义相应的广义Lagrange函数为:函数为:例例1:验证以下问题在最优解处:验证以下问题在最优解处K-T条件成立。条件成立。解解:例例2:解解:定理定理3 设设x*是一个可行点,若存在使是一个可行点,若存在使K-T条件成立,并且对应条件成立,并且对应的的Lagrange函数的函数的Hessen阵在子空间阵在子空间M上正定,则上正定,则x*是一个严是一个严格的局部极小点。格的局部极小点。其中:其中:注注 若若 线性无关,线性无关,则则M是约束集在是约束集在x*处的切空间。处的切空间。定理定理4:凸规划问题的可行凸规划
8、问题的可行K-T点必为最优解。点必为最优解。3,Lagrange函数的鞍点函数的鞍点定义定义1:如果对:如果对有有则称点则称点 是是Lagrange函数:函数:的鞍点。的鞍点。定理定理5:若:若 是鞍点,则是鞍点,则 是原问题的整体最优解,是原问题的整体最优解,但逆一般不成立。但逆一般不成立。例例 考虑非线性规划问题:考虑非线性规划问题:注注 可验证可验证x*=(0,0)T是问题的极小点是问题的极小点(在在x*是处,取是处,取*=3,则,则K-T条件成立条件成立)。下证其下证其Lagrange函数函数没有鞍点。没有鞍点。反证法反证法,假设鞍点,假设鞍点 存在,由定理存在,由定理5知,知,必为问
9、题的必为问题的最优解,故最优解,故 ,由鞍点定义,对所有的由鞍点定义,对所有的x与与,有有即即:由于当由于当x1=0,x2取充分大时,总能使右端为负值,推出矛盾。取充分大时,总能使右端为负值,推出矛盾。l鞍点迭代方法鞍点迭代方法:设设Lagrange函数函数其中其中 为某个取定的步长,迭代过程中为某个取定的步长,迭代过程中 逐步缩小,每次迭代需逐步缩小,每次迭代需计算两迭代点之间的距离,如距离减小计算两迭代点之间的距离,如距离减小 被接受,否则缩小,被接受,否则缩小,最后当两点距离充分小时,迭代终止。最后当两点距离充分小时,迭代终止。4,对偶问题,对偶问题 原原 对对 问问 偶偶 题:题:问问
10、(1)题题(2)例例 考虑问题考虑问题极小点为极小点为x*=(2,2)T,极小值为极小值为8,令,令 因此因此最优点最优点*=4,最大值,最大值 (*)=8。l1)对偶定理)对偶定理定理定理1(弱对偶定理)若(弱对偶定理)若x 是原问题(是原问题(1)的可行解,)的可行解,而(而(,)是对偶问题(是对偶问题(2)的可行解,则)的可行解,则进一步有:进一步有:l定理定理2(对偶定理):(对偶定理):是是Lagrange函数鞍点的充要条件是:函数鞍点的充要条件是:(i)x*是原问题的解;(是原问题的解;(ii)*0,*是对偶问题是对偶问题的解;的解;(iii)2)对偶问题的几何解释)对偶问题的几何
11、解释设原问题为:设原问题为:对偶问题为:对偶问题为:l当约束集当约束集S在映射(在映射(g,f)下的像下的像G是非凸时,可能出现对是非凸时,可能出现对偶间隙:偶间隙:三,常用非线性约束优化的方法三,常用非线性约束优化的方法1,序列线性规划法(,序列线性规划法(Sequence Linear Programming)2,序列无约束极小化方法序列无约束极小化方法例例构造新函数如下:构造新函数如下:为避免间断,令新函数为:为避免间断,令新函数为:F(x)=f(x)+M p(x),),其中其中M为某正数,为某正数,为某一连续可微函数。为某一连续可微函数。上例取上例取以下就不同的函数构造方法分别介绍以下
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 管理科学 理论
限制150内