管理科学理论2课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《管理科学理论2课件.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 管理科学 理论 课件
- 资源描述:
-
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 的线性方程组:的线性方程组:系数矩阵系数矩阵 )(),()()()()(,2,1,0)(),(0010011010100 xgxgxxgxxgxxgxxgmihxxghxgmnmnmjjjii 满秩,则称满秩,则称x0为曲面为曲面S上的一个正规点。
2、上的一个正规点。l注注1 是是x0处法空间的一组基。处法空间的一组基。l注注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)是局部极小点,且是
3、局部极小点,且 g(x0,y0)0,则存在常数则存在常数 ,对函数,对函数F(x0,y0)=f(x0,y0)+g(x0,y0),满足满足 F(x0,y0)=f(x0,y0)+g(x0,y0)=0.)(,),(001xgxgm mihxgi,2,1,0),(0 结论结论3(充分条件):设点(充分条件):设点x0满足必要条件:满足必要条件:F(x0)=f(x0)+g(x0)=0.若若则则x0是局部极小点。是局部极小点。二,具不等式约束的问题二,具不等式约束的问题1,下降方向和可行方向,下降方向和可行方向考虑一般非线性约束优化问题:考虑一般非线性约束优化问题:例:求解例:求解 mihxghhxFhh
4、xFiT,2,1,0);(0,0)(),(0020 pjmixhxgxSxfji,1;,1,0)(,0)()(min 01,01,01)(min21212221xxxxxSxxxf1)下降方向的选择下降方向的选择 如果方向如果方向P在点在点x0处是下降方向,则处是下降方向,则P应与应与 f(x0)同侧,同侧,即:即:记记 为点为点x0处的下降方向集。处的下降方向集。2)可行方向的选择可行方向的选择 在在x0处的可行方向应满足处的可行方向应满足:结论结论1:若:若 所有方向所有方向P都是可行的。都是可行的。结论结论2:若:若 当当 时时0)(0 PxfT0)(00 PxfPFTpjPxhmiPx
5、gji,2,1,0)(,2,1,0)(00 00Sx Sx 0 0)()(,0)(000 xgixIixgPiiT则则P为可行方向。为可行方向。记记 为可行方为可行方向集。向集。注:对等式约束而言,所有约束都是起作用约束。注:对等式约束而言,所有约束都是起作用约束。2,最优性条件,最优性条件定义定义1:若对:若对 x C和和0,有有 x C,则称,则称C为锥,如果为锥,如果C是是凸的,则称其为凸锥。凸的,则称其为凸锥。定义定义2:设是约束集,称:设是约束集,称为为x0处的可行方向锥。处的可行方向锥。下面进一步讨论最优性条件。设下面进一步讨论最优性条件。设x*是问题是问题 的最优解,则的最优解,
6、则x*处处)(,0)(000 xIiPxgPGiT ,0,00 SPxPPD niRxmixgxf,1,0)()(min 00FG 换言之,在换言之,在x*处满足处满足 的方向的方向P必有必有 称称 为为FritzJohn 条件。其中条件。其中 线性无关。线性无关。在最优点在最优点x*处应满足处应满足 lFarkas引理:给定向量引理:给定向量a i(i=1,2,k)与)与b,不存在向量,不存在向量P同同时满足条件时满足条件 和和 的充要的充要条件是条件是 向量向量b 在在ai 所张成的凸锥内,即满足所张成的凸锥内,即满足 0)(PxfT)(,0)(xIiPxgiT xIiiixgxf)()(
7、)(,),(1 xgxgm mixgxgxfiiiiii,1,0)(0),()(kiPaTi,2,1,0 0 PbT0,1 ikiiiab 定理定理1:设设x*为问题为问题的一个可行点的一个可行点,并且前并且前t个约束为起作用约束个约束为起作用约束,则则x*为最为最优解的一个必要条件是下式成立优解的一个必要条件是下式成立:例例:考虑问题考虑问题 mibxaRxxfiniiijn,1,),(min10,*)(1 itiiiaxf 0)(,0)(,01)(,)(min231223111xxgxxgxxxgxxf)(成成立立。使使显显然然找找不不到到,是是最最优优点点,起起作作用用约约束束),(*)
8、(*)(*)(,0,)1,0(*)(,)1,0(*)()0,1(*)(3,1*)(01*35113131xgxgxfxgxgxfxIxTTTT l从上例看出,满足定理从上例看出,满足定理1还需增加一些约束规范,如梯度向还需增加一些约束规范,如梯度向量线性无关等,上例有量线性无关等,上例有 更一般的有:更一般的有:l定理定理2(KuhnTucker)最优性必要条件:)最优性必要条件:在最优点在最优点x*处,设处,设线性无关,则存在线性无关,则存在满足:满足:称上式为称上式为KT条件条件,满足上式的点称,满足上式的点称KT点点。相应的广义相应的广义Lagrange函数为:函数为:pjxhxIixg
9、ji,1),();(),(TpTm ,;,11*)(*)(31xgxg mixgxhxgxfiiimipjjjii,1,0,0)(0)()()(11 pjjjimiixhxgxfxL11)()()(),(例例1:验证以下问题在最优解处:验证以下问题在最优解处K-T条件成立。条件成立。解解:例例2:013)2()3()(0)4(16)()(min222122211xxxhxxxgxxf .)(,0)(,2613,0,)2,133(),3;1)(,0)(,51,403,)2.3,4.6(),2;1)(,0)(,0,81,)0,0(),1*xIxgxxIxgxxIxgxTTT .06)(,026)(
10、,01)(,)(min212221211221xxxhxxxgxxgxxxf解解:定理定理3 设设x*是一个可行点,若存在使是一个可行点,若存在使K-T条件成立,并且对应条件成立,并且对应的的Lagrange函数的函数的Hessen阵在子空间阵在子空间M上正定,则上正定,则x*是一个严是一个严格的局部极小点。格的局部极小点。其中:其中:注注 若若 线性无关,线性无关,则则M是约束集在是约束集在x*处的切空间。处的切空间。4*)()5,1(*41183001.02.2.0,0,0)26(,0)1(,021,022);1,1()(,)2,2()(,)0,1()(,)1,2()(1211212122
11、2121112212111121211xfxxxxxxxTKxhxxxgxgxxfTTTT 或或条条件件为为 pjxhyxIixgyyMjTiT,1,0)(;,0)(*pjxhxIixgji,1),();(),(定理定理4:凸规划问题的可行凸规划问题的可行K-T点必为最优解。点必为最优解。3,Lagrange函数的鞍点函数的鞍点定义定义1:如果对:如果对有有则称点则称点 是是Lagrange函数:函数:的鞍点。的鞍点。定理定理5:若:若 是鞍点,则是鞍点,则 是原问题的整体最优解,是原问题的整体最优解,但逆一般不成立。但逆一般不成立。例例 考虑非线性规划问题:考虑非线性规划问题:注注 可验证可
12、验证x*=(0,0)T是问题的极小点是问题的极小点(在在x*是处,取是处,取*=3,则,则K-T条件成立条件成立)。pmnRRRx ,)0(,),(),(),(xLxLxL ),(x)()()(),(xhxgxfxLTT ),(xx .0)(,3)(min222221xxhxxxxf下证其下证其Lagrange函数函数没有鞍点。没有鞍点。反证法反证法,假设鞍点,假设鞍点 存在,由定理存在,由定理5知,知,必为问题的必为问题的最优解,故最优解,故 ,由鞍点定义,对所有的由鞍点定义,对所有的x与与,有有即即:由于当由于当x1=0,x2取充分大时,总能使右端为负值,推出矛盾。取充分大时,总能使右端为
13、负值,推出矛盾。l鞍点迭代方法鞍点迭代方法:设设Lagrange函数函数其中其中 为某个取定的步长,迭代过程中为某个取定的步长,迭代过程中 逐步缩小,每次迭代需逐步缩小,每次迭代需计算两迭代点之间的距离,如距离减小计算两迭代点之间的距离,如距离减小 被接受,否则缩小,被接受,否则缩小,最后当两点距离充分小时,迭代终止。最后当两点距离充分小时,迭代终止。),(xxTxx)0,0(*2222213),(xxxxxL ),(),(),(xLxLxL 22221)3(00 xxx ),(,0max),()()()()1()()()()1(kkkkkkxkkxLxLxx miiixgxfxL1)()()
14、,(4,对偶问题,对偶问题 原原 对对 问问 偶偶 题:题:问问(1)题题(2)例例 考虑问题考虑问题极小点为极小点为x*=(2,2)T,极小值为,极小值为8,令,令 因此因此最优点最优点*=4,最大值,最大值 (*)=8。0)(,0)()(minxgxhxSxxf 0),(min),(),(max xLx .0,04)(,)(min21212221xxxxxhxxxf 4minmin0,),4(min)()4(),(22201210212122212122212121 xxxxxxxxxxxxxxxxLxx42max.0,4,0,42)(202 对对偶偶问问题题:当当当当l1)对偶定理)对偶
15、定理定理定理1(弱对偶定理)若(弱对偶定理)若x 是原问题(是原问题(1)的可行解,)的可行解,而(而(,)是对偶问题(是对偶问题(2)的可行解,则)的可行解,则进一步有:进一步有:l定理定理2(对偶定理):(对偶定理):是是Lagrange函数鞍点的充要条件是:函数鞍点的充要条件是:(i)x*是原问题的解;(是原问题的解;(ii)*0,*是对偶问题是对偶问题的解;的解;(iii)),()(xf),(max)(min,0 xfSxSxx *,0),(),()(*xf2)对偶问题的几何解释)对偶问题的几何解释设原问题为:设原问题为:对偶问题为:对偶问题为:l当约束集当约束集S在映射(在映射(g,
展开阅读全文