第六章约束优化问题的最优性条件Page2Page3先看等式约束问题Page4回顾以前学的知识Page5Page6Page7什么定理?Page8推广到一般的情况Page9Page10几何解释Page11二阶充分条件Page12不等式约束问题不等式约束问题和等式约束问题之间是否存在什么关系?Page13有效约束和非有效约束再换句话说,不等式约束问题的在最优解处的某个小邻域内,可以看成等式约束问题Page14例如考虑由约束221122123142()10()0()0()0cxxxcxxxcxxcxx所确定的可行集,对于点(1,0)22(,)22TATBxx有效的约束分别为1412()()()()cxcxcxcx,和,Page15回想最优解的定义,可行的概念对于不等式约束是怎么样的概念?一个可行方向。处的为则称有使得对任意的,实数为一个向量。如果存在,设可行方向:000,],0[0xdQdxdQx0)(1xc0x1x1d1d2d2d。可行域为}0)(|{xcxQ0)(..)(minxctsxfPage16是可行方向?如何判断一个向量是否可行方向。的是点则有,如果对任意的向量。给定的有效约束指标集为记点给定点定理xddxcxIidxIxQxTi,0)()()(,1:证明有则对任意的。令,)(0,'xIitdtxx)||||()()()'(2tdodxctxcxcTiii)||||()(2tdodxctTi0为可行方向。即dQx,'Page17行下降方向。处的可为点的下降方向,则称的可行方向,又是该点处既是点,如果给定向量,设点可行下降方向:xdxddQx处的可行下降方向。是点则向量满足,如果向量。给定的积极约束指标集为记点给定点定理xddxfxIidxcddxIxQxTTi0)()(0)()(,2Page18极值点的必要条件:处没有可行下降方向。点)的局部极小点,则在是约束极值问题(续。如果处连在点处可微,在点和是其有效约束指标集。,设定理*1**)*)(()(*)*)(()()(*)(*3xxxxIixcxxIixcxfxIQxii0)()(0)(dxfxIidxcTTi0)()(0)(dxfxIidxcTTi无解有解Page19锥和Farkas引理Page20Page21Gordan引理Page22处没有可行下降方向。点)的局部极小点,则在是约束极值问题(续。如果处连在点处可微,在点和是其有效约束指标集。,设定理*1**)*)(()(*)*)(()()(*)(*3xxxxIixcxxIixcxfxIQxii解释Page23Fritz-John一阶必要条件Page24Page25i.5.6Fritz-JohnFritz-JohnLagrange这个定理给出了(6)在最优点处所满足的必要条件,即公式(6),今后满足条件的点称为点。其中称为乘子Page26举例验证Page27Page28KT条件KT最优化条件是Karush[1939]以及Kuhn和Tucker[1951]先后独立发表出來的。这组最优化条件在Kuhn和Tucker发表之后才逐渐受到重视,因此许多书只记载成「Kuhn-Tucker最优化条件(Kuhn-Tuckerconditions)」。Page29Page30Page31凸锥中最优解不一定是KT点Page32Page33Page34二阶充分条件Page35凸规划问题的充分条件KT条件就是最优条件Page36解:将原问题转化为标准形式:2322215.05.1minxxxxfs.t.03)(2322211xxxxc,0)(212xxxc0)(13xxc,0)(24xxc,0)(35xxc验证KT点2322215.05.1maxxxxxfs.t.03)(2322211xxxxc,0)(212xxxc0)(13xxc,0)(24xxc,0)(35xxc试验证Tx)1,1,1(*是否为KT点。Page37将Tx)1,1,1(*带入约束条件可知满足约束条件并且有效约束集合为}2,1{*ITxf)2,1,3()(,Txc)2,2,2()(1,Txc)0,1,1()(2且Txc)2,2,2()(1与Txc)0,1,1()(2线性无关。令0)()()(*22*11*xcxcxf求得11,12即)()()(*22*11*xcxcxf对于不等式约束)(2xc对应的Lagrange乘子02且0)(*22xc故Tx)1,1,1(*为KT点。Page38验证KT点的步骤小结1化为标准形式2验证约束成立并且求得有效约束3约束规范4一阶条件方程例如5验证不等式约束互补条件、乘子的非负性6结论0)()()(*22*11*xcxcxfPage39点的计算TK.3求约束极值问题例004..)866(5.0)(min2121212221xxxxtsxxxxxf。点的TK解:。]3,3[)(21Txxxf2114)(xxxgTxg]1,1[)(1。Txgxxg]0,1[)(,)(212。Txgxxg]1,0[)(,)(323Page40条件得由TK01001113332121xx条件及约束条件得由TK0,,,,4000)4(3321321212312211312211xxxxxxxxxxPage41:0)1(21xx若。可得由00)4(1211xx32132矛盾。这与02:0,0)2(21xx若03332112x022x022x矛盾。这与02:0,0)3(21xx若020,,,,4000)4(3321321212312211312211xxxxxxxxxx以下分情况讨论:Page42333111x031x013x矛盾。这与03:0,0)4(21xx若032331211xx21xx421xx若01321xx4621xx矛盾。421xx221xx11点。为TKT]2,2[0,,,,4000)4(3321321212312211312211xxxxxxxxxxPage43二阶充分条件对于一般约束优化问题)(minxfs.t.0)(xciEi0)(xciIi)(xf,)(xci二阶连续可微(ii)**x为KT点,且严格互补松弛条件成立;(ii)对于子空间},0)(|{**IixcdRdMiTn中的任意0d有0),(**2dxLdxT则*x是严格局部最优解Page44