最优化方法课件.ppt
- 文档编号:17016526
- 上传时间:2023-07-21
- 格式:PPT
- 页数:488
- 大小:13.89MB
最优化方法课件.ppt
《最优化方法课件.ppt》由会员分享,可在线阅读,更多相关《最优化方法课件.ppt(488页珍藏版)》请在冰点文库上搜索。
最优化方法,南京邮电大学理学院,2,前言一、什么是最优化最优化是一门应用性相当广泛的学科,它讨论决策问题的最佳选择之特性,寻找最佳的计算方法,研究这些计算方法的理论性质及其实际计算表现。
应用范围:
信息工程及设计、经济规划、生产管理、交通运输、国防工业以及科学研究等诸多领域。
3,二、包含的内容按照优化思想分为经典方法与现代方法。
经典方法主要包括:
线性规划、非线性规划、整数规划、动态规划等现代方法主要包括:
随机规划、模糊规划、模拟退火算法、遗传算法、禁忌搜索和人工神经网络等。
我们学习的内容主要是经典的最优化方法。
内容包括线性规划及其对偶规划,无约束最优化方法、约束最优化方法等主要内容。
4,三、学习方法1、认真听讲,课后及时复习巩固,并主动完成课后习题。
2、多看参考书,通过不同学者的讲述,全方位理解最优化方法的思想方法和应用,特别是计算方法。
3、学以致用,通过最优化方法的学习,培养研究生数学建模的能力和解决实际问题的能力。
大家可以尝试对于一些实际问题,先建立数学模型,转化为数学问题,通过一些算法解决。
5,四、主要参考书教材:
解可新、韩健、林友联:
最优化方法(修订版),天津大学出版社,2004年8月。
其它参考书:
1.蒋金山,何春雄,潘少华:
最优化计算方法,广州:
华南理工大学出版社,2007年10月。
2.谢政,李建平,汤泽滢:
非线性最优化。
长沙:
国防科技大学出版社,2003年9月。
3.李董辉等:
数值最优化。
北京:
科学出版社,2005年。
4.谢政,李建平,陈挚:
非线性最优化理论与方法。
北京:
高等教育出版社,2010年1月。
目录,第一章最优化问题概述第二章线性规划第三章无约束最优化方法第四章约束最优化方法,6,第一章最优化问题概述,1.1最优化问题的数学模型与基本概念,8,例1.1.1运输问题,设有m个水泥厂A1,A2,Am,年产量各为a1,a2,am吨.有k个城市B1,B2,Bk用这些水泥厂生产的水泥,年需求量b1,b2,bk吨.再设由Ai到Bj每吨水泥的运价为cij元.假设产销是平衡的,即:
9,试设计一个调运方案,在满足需要的同时使总运费最省.,由题意可画出如下的运输费用图:
10,A1,B2,Am,B1,A2,Bk,产量,需求量,设AiBj的水泥量为xij,已知AiBj单价为cij,单位为元,则总运费为:
11,数学模型:
注:
平衡条件作为已知条件并不出现在约束条件中.,例1.1.2生产计划问题,设某工厂有m种资源B1,B2,Bm,数量分别为:
b1,b2,bm,用这些资源产n种产品A1,A2,An.每生产一个单位的Aj产品需要消耗资源Bi的量为aij,根据合同规定,产品Aj的量不少于dj.再设Aj的单价为cj.问如何安排生产计划,才能既完成合同,又使该厂总收入最多?
12,13,假设产品Aj的计划产量为xj.由题意可画出如下的生产与消耗的关系图:
B1,B2,Bm,An,A2,A1,消耗,数学模型,14,例1.1.3指派问题,设有四项任务B1,B2,B3,B4派四个人A1,A2,A3,A4去完成.每个人都可以承担四项任务中的任何一项,但所消耗的资金不同.设Ai完成Bj所需资金为cij.如何分配任务,使总支出最少?
设变量,15,指派Ai完成bj,不指派Ai完成bj,则总支出可表示为:
16,数学模型:
例1.1.4数据拟合问题,在实验数据处理或统计资料分析中常遇到如下问题.设两个变量x和y,已知存在函数关系,但其解析表达式或者是未知的或者虽然为已知的但过于复杂.设已取得一组数据:
(xi,yi)i=1,2,m.根据这一组数据导出函数y=f(x)的一个简单而近似的解析表式.,17,最小二乘法,解这种问题常用的方法是最小二乘法,以一个简单的函数序列j1(x),j2(x),jn(x)为基本函数.一般选取1,x,x2,xn为基本函数,即以,18,作为近似表达式.,最小二乘法,系数的选取要使得下面得平方和最小:
19,因此,数据拟合问题得数学模型为,其中xi,yi(i=1,2,m)及jj(x)(j=0,1,n)为已知.,最优化问题,最优化问题的一般形式为:
20,(1.1)(目标函数),(1.3)(不等式约束),(1.2)(等式约束),其中x是n维向量.在实际应用中,可以将求最大值的目标函数取相反数后统一成公式中求最小值的形式.我们总是讨论,P:
相关定义,定义1.1.1(可行解)满足约束条件(1.2)和(1.3)的x称为可行解,也称为可行点或容许点.,21,定义1.1.2(可行域)全体可行解构成的集合称为可行域,也称为容许集,记为D,即:
D=x|hi(x)=0,i=1,m,gj(x)0,j=1,p,xRn.若hi(x),gj(x)为连续函数,则D为闭集.,相关定义,定义1.1.3(整体最优解)若x*D,对于一切xD恒有f(x*)f(x),则称x*为最优化问题(P)的整体最优解.若x*D,xx*,恒有f(x*)f(x),则称x*为最优化问题(P)的严格整体最优解.,22,相关定义,定义1.1.4(局部最优解)若x*D,存在x*的某邻域Ne(x*),使得对于一切xDNe(x*),恒有f(x*)f(x),则称为最优化问题(P)的局部最优解,其中Ne(x*)=x|x-x*|0.当xx*时,若上面的不等式为严格不等式则称x*为问题(P)的严格局部最优解.显然,整体最优解一定是局部最优解,而局部最优解不一定是整体最优解.x*对应的目标函数值f(x*)称为最优值,记为f*.,23,相关定义,求解最优化问题(P),就是求目标函数f(x)在约束条件(1.2),(1.3)下的极小点,实际上是求可行域D上的整体最优解.但是,在一般情况下,整体最优解是很难求出的,往往只能求出局部最优解.在求解时需要范数的概念,以下给出定义。
24,向量范数,定义1.1.5如果向量xRn的某个实值函数|x|,满足条件
(1)|x|0(|x|=0当且仅当x=0)(正定性);
(2)|ax|=|a|x|(对于任意aR);(3)|x+y|x|+|y|(三角不等式);则称|x|为Rn上的一个向量范数.,25,常用的向量范数,1-范数,26,2-范数(欧氏范数),-范数,p-范数,-范数是p-范数的极限,常用的向量范数,对向量x=(1,-2,3)T,有,27,|x|p是p的单调递减函数.,最优化问题的分类,根据数学模型中有无约束函数分为有约束的最优化问题和无约束的最优化问题.根据目标函数和约束函数的函数类型分类:
线性最优化问题,非线性最优化问题,二次规划,多目标规划,动态规划,整数规划,0-1规划.,28,1.2最优化问题的一般算法,29,迭代算法,迭代算法选取一个初始可行点x0D,由这个初始可行点出发,依次产生一个可行点列:
x1,x2,xk,记为xk,使得某个xk恰好是问题的一个最优解,或者该点列收敛到问题的一个最优解x*.下降算法在迭代算法中一般要求f(xk+1)f(xk).,30,可行点列的产生,在xk处求得一个方向pk(下降方向),在射线xk+apk(a0)上求一点:
xk+1=xk+akpk使得f(xk+1)f(xk).其中ak称为步长.定义1.2.1(下降方向)在点xk处,对于方向pk0,若存在实数b0,使得任意的a(0,b),有:
f(xk+apk)f(xk),则称pk为函数f(x)在点xk处的一个下降方向.,31,下降方向,若f(x)具有连续的一阶偏导数,令由Taylor公式:
32,当gkTpk0时,f(xk+apk)f(xk),所以pk是f(x)在xk处的一个下降方向.反之,当pk是f(x)在xk处的一个下降方向时,有gkTpk0.通常称满足gkTpk0的方向pk是为f(x)在xk处的一个下降方向.称为f(x)在x处的梯度。
可行方向,定义1.2.2(可行方向)已知区域,xkD,对于向量pk0,若存在实数b0,使得对任意的a(0,b),有:
xk+apkD,33,则称pk为点xk处关于区域D的可行方向.对于D的内点(存在邻域包含于D),任意方向可行,对于边界点(任意邻域既有D的点也有不在D中的点),则有些方向可行,有些方向不可行.若下降方向关于域D可行,则称为可行下降方向.,最优化问题的算法的一般迭代格式,给定初始点x0,令k=0.
(1)确定xk处的可行下降方向pk;
(2)确定步长ak,使得f(xk+akpk)f(xk),(3)令xk+1=xk+akpk;(4)若xk+1满足某种终止准则,则停止迭代,以xk+1为近似最优解;或者已经达到最大迭代步数,也可终止迭代.否则令k:
=k+1,转
(1),34,收敛性,如果一个算法只有当初始点x0充分接近x*时,产生的点列才收敛于x*,则称该算法为具有局部收敛的算法.如果对任意的x0D,由算法产生的点列都收敛x*,则称该算法为具有全局收敛的算法.由于一般情况下最优解x*是未知的,所以只有具有全局收敛性的算法才有实用意义.但算法的局部收敛性分析,在理论上是重要的,因为它是全局收敛性分析的基础。
35,收敛速度,定义1.2.3设序列xk收敛于x*,而且,36,若0b1,则称xk为线性收敛的,称b为收敛比;,定义1.2.4设序列xk收敛于x*,而且,若b=0,则称xk为超线性收敛的.,则称xk为p阶收敛.,终止准则,对于一种算法,应该有某种终止准则,当某次迭代满足终止准则时,就停止迭代.常用的终止准则有:
37,
(1),或,
(2),或,(3),(4)上面三种准则的组合.注:
其中e0是预先给定的.,1.3二维最优化问题的几何解释,38,理论分析,二维最优化问题的目标函数z=f(x1,x2)表示三维空间R3中的曲面.在空间直角坐标系O-x1x2z中,平面z=c与曲面z=f(x1,x2)的交线在0-x1x2平面上的投影曲线为:
39,取不同的c值得到不同的投影曲线,每一条投影曲线对应一个c值,称投影曲线为目标函数的等值线或等高线.,40,理论分析,求目标函数z=f(x1,x2)在可行域D上的极小点,是在与可行域D有交集的等值线中找出具有最小值的等值线.也就是在可行域D上沿着f(x1,x2)的负梯度方向或某种下降方向上找取得最小值c的点.,41,例1.3.1,解首先画出可行域D,目标函数的等值线是以点(1,2)为圆心的一族圆.f(x1,x2)的梯度为,42,例1.3.1,负梯度方向(下降方向)指向等值线圆心,所以等值线与可行域D的边界相切的点x*=(1/2,3/2)T是此问题的最优解,目标函数的最优值为1/2.,43,例1.3.2,解首先画出可行域D的图形.D为凸多边形ODEFGO.再以c为参数画出目标函数的等值线2x1+3x2=c.,44,例1.3.2,目标函数c的值由小到大逐渐增加,等值线沿着目标函数的梯度方向平行移动.当移动到点E时,再移动就与可行域D不相交了,所以顶点E就是最优点,最优值为14.,45,例1.3.3,解如图所示,可行域只能是圆弧ABE,其中点A和点E是等值线x1x2+1=0和圆x12+x22-9=0的交点.注意到等值线是平行的抛物线,图中画出了几条目标函数的等值线.容易看出B点是最优点,所以最优解是(0,-3)T,最优值为-3.,46,1.4一维搜索,47,问题描述,已知xk,并且求出了xk处的可行下降方向pk,从xk出发,沿方向pk求目标函数的最优解,即求解问题:
48,设其最优解为ak,于是得到一个新点xk+1=xk+akpk所以一维搜索是求解一元函数f(a)的最优化问题(也叫一维最优化问题).我们来求解令()=0,求出的值。
1.4.1黄金分割法,设f(x)在a,b上为下单峰函数,即有唯一的极小点x*,在x*左边f(x)严格下降,在x*右边f(x)严格上升.,49,在a,b内任取x1x2,若f(x1)f(x2),则x*x1,b.,若f(x1)f(x2),则x*a,x2,黄金分割法,我们希望保留Fibonacci方法的优点(效率最高是不可能保留的),改进其缺点.若第一次选取的试点为x1x2,则下一步保留的区间为a,x2或x1,b,两者的机会是均等的.因此我们选取试点时希望x2-a=b-x1.,50,a,b,x1,x2,设x1=a+p(b-a),则x2=a+(1-p)(b-a).,黄金分割法,另外,我们希望如果缩小的区间包含原来的试点,则该试点在下一步被利用.若保留的区间为a,x2,前一次的试点x1在这个区间内.,51,a,b,x1,x2,a,b,x2,黄金分割法,52,a,b,x1,x2,a,b,x2,我们希望原来的x1,在缩小的区间内成为新的“x2”.我们根据这一条件来计算p.,计算x2的公式为,x2=a+(1p)(ba).,因此我们希望,a+p(ba)=a+(1p)(a+(1p)(ba)a),x2=a+(1p)(ba).,即,p2-3p+1=0,化简得,黄金分割法,若保留区间为x1,b,我们得到的结果是一致的.该方法称为黄金分割法,实际计算取近似值:
x1=a+0.382(ba),x2=a+0.618(ba),所以黄金分割法又称为0.618法.黄金分割法每次缩小区间的比例是一致的,每次将区间长度缩小到原来的0.618倍.,53,算法1.4.2黄金分割法,给定a,b(a0,step1令x2=a+0.618(b-a),f2=f(x2);step2令x1=a+0.382(b-a),f1=f(x1);step3若|ba|f2,则a=x2,x1=x2,f1=f2,转step5;step5令x2=a+0.618(ba),f2=f(x2),转step3.,54,例1.4.1用黄金分割法求函数f(x)=x2-x+2在区间-1,3上的极小值,要求区间长度不大于原始区间长的0.08。
55,用0.618法求解例1.4.1的数据表,56,0.618法和Fibonacci之间的关系,0.618法为Fibonacci法的极限形式.,57,0.618法和Fibonacci之间的关系,58,迭代步数的比较,0.618法:
Fibonacci方法:
忽略,得到,黄金分割法至多比Fibonacci法多一步,进退法(寻找下单峰区间),在一维搜索之前,必须先知道一个f(x)的下单峰区间.书中的算法1.4.3给出了求函数的一般的下单峰区间的算法.此处我们对算法1.4.3加以改进,求出f(x)的一个形如0,b形式的下单峰区间,59,因为我们关心的问题是:
我们的目的是找出两个点x1x2,使得f(x1)f(x2),f(x1)f(0).,进退法(寻找下单峰区间),给定初始点x0=0,初始步长Dx0,x1=x0+Dx.,60,x0,下面分两种情况讨论.,
(1)f(x1)f(x0)x1对应着图上用红线标出的一部分,进退法(寻找下单峰区间),61,x0,
(1)f(x1)f(x0),此时x1取值小,我们加大步长向右搜索,取Dx=2Dx,x2=x1+Dx,若f(x1)f(x2),则我们要找的区间即为x0,x2,x1,x2,Dx,2Dx,进退法(寻找下单峰区间),62,x0,
(1)f(x1)f(x0),若f(x1)f(x2),则我们所取的步长偏小.令x1=x2,Dx=2Dx,x2=x1+Dx继续往下判断,直到满足f(x1)f(x2).,x1,x2,Dx,2Dx,x1,x2,进退法(寻找下单峰区间),63,x0,
(2)f(x1)f(x0),此时x1取值大,我们缩小步长向x1左边搜索,取Dx=Dx/2,x2=x1,x1=x2-Dx,若f(x1)f(x0),则我们要找的区间即为x0,x2否则继续缩小区间,直到满足f(x1)f(x0).,x1,x2,x1,1.4.2二分法,若f(x)的导数存在且容易计算,则线性搜索的速度可以得到提高,下面的二分法每次将区间缩小至原来的二分之一.设f(x)为下单峰函数,若f(x)在a,b具有连续的一阶导数,且f(a)0取c=(a+b)/2,若f(c)=0,则c为极小点;若f(c)0,则以a,c代替a,b作为新区间;若f(c)0,则以c,b代替a,b作为新区间.,64,1.4.3抛物线法,在求一元函数的极小点问题上,我们可以利用若干点处的函数值来构造一个多项式,用这个多项式的极小点作为原来函数极小点的近似值.抛物线法就是一个用二次函数来逼近f(x)的方法,这也是我们常说的二次插值法.设在已知的三点x1f0,f0f2过三点(x1,f1),(x0,f0),(x2,f2)作二次函数y=j(x),即作一条抛物线,则可推导出:
65,为求j(x)的极小点,令j(x)=0,得:
66,67,若充分接近,即对于预先给定的精度,有,则把作为近似极小点.,否则计算,找出和之间的大者,去掉或,使新的三点仍具有两端点的函数值大于中间点的函数值的性质.利用新的点再构造二次函数,继续进行迭代.,1.4.4不精确的一维搜索,前面介绍的得几种一维搜索方法,都是为了获得一元函数f(x)的最优解,所以习惯上称为精确一维搜索.在解非线性规划问题中,一维搜索一般很难得到真正的精确值.因此,不精确的一维搜索开始为人们所重视.即在xk点确定了下降方向pk后,只计算少量的几个函数就可得到一个满足f(xk+1)f(xk)的近似点xk+1.,68,不精确的一维搜索,对于不精确的一维搜索,要求产生的点列具有某种收敛性.所以除了对下降方向pk有要求之外,对步长ak也有要求,即要求目标函数要“充分的下降”.下面令f(a)=f(xk+apk),我们讨论ak满足的条件.,69,不精确一维搜索,对于一元函数f(a),精确一维搜索的条件为f(ak)=0.不精确一维搜索的条件f(ak)0,或|f(ak)|s.实际计算中上式不好控制,一般的方法是|f(ak)/f(0)|s.s的选取:
不宜太大否则下降不够充分;不宜太小否则“太精确”.适合的范围:
比1稍小一些.,70,不精确一维搜索,例:
函数f(a)=(a-1)2.f(a)=2(a-1),f(0)=-2.取s=0.5,则控制条件为|f(ak)|s|f(0)|=1,即|2(ak-1)|1,1/2ak3/2.,71,不精确一维搜索的Wolfe原则,设f(x)可微,取m(0,1/2),s(m,1),选取ak0,使,72,或用下面更强的条件代替(1.7)式:
Wolfe原则,关于满足Wolfe原则的步长ak的存在性:
定理1.4.2设f(x)有下界且gkTpk0.令m(0,1/2),s(m,1),则存在区间c1,c2,使得任意的ac1,c2均满足式(1.6)和(1.7)(也满足(1.8).,73,不精确一维搜索Wolfe算法,问题:
设已知xk和下降方向pk,求问题,74,的近似值ak,使ak满足(1.6)和(1.7).,算法1.4.6不精确一维搜索Wolfe算法step1给定m(0,1),s(m,1),令a=0,b=,a=1,k=0;step2xk+1=xk+apk,计算fk+1,gk+1;,若a满足(1.6)和(1.7)式,则令ak=a;若a不满足(1.6)式,则令k:
=k+1,转step3;若a不满足(1.7)式,则令k:
=k+1,转step4;step3令转step2step4令转step2.,75,Wolfe准则(例1.4.2),用不精确一维搜索求Rosenbrock函数f(x)=100(x2-x12)2+(1-x1)2在点xk=(0,0)T处沿方向pk=(1,0)T的近似步长ak.解,76,step1给定m=0.1,s=0.5,令a=0,b=,a=1,j=0;,step2xk+1=xk+apk=(1,0)T,fk+1=f(1,0)=100,77,因为fkfk+1=1100=99magkTpk=0.2所以(1.6)式成立。
转step3,step3令b=1,a=(a+a)/2=(1+0)/2=0.5,转step2.重新计算xk+1.,迭代四次得到满足Wolfe条件的步长ak=0.125xk+1=xk+akpk=(0.125,1)T.,总结,78,一维搜索的方法,利用导数的方法,仅用函数值的方法,二分法(算法1.4.4),精确方法,不精确方法,Fibonacci方法(算法1.4.1),黄金分割法(算法1.4.2),求初始区间的方法,进退法(算法1.4.3),二次插值法(算法1.4.5),Wolfe算法(算法1.4.6),第二章线性规划,2.1凸集与凸函数,80,凸集,定义2.1.1设集合DRn,若对于任意点x,yD,及实数a,0a1,都有ax+(1-a)yD,则称集合D为凸集.,81,常见的凸集:
空集(补充定义),整个欧式空间Rn,超平面H=xRn|a1x1+a2x2+anxn=b半空间H+=xRn|a1x1+a2x2+anxnb,凸集的例,例2.1.2超球|x|r为凸集证明设x,y为超球中任意两点,0a1,则有|ax+(1-a)y|a|x|+(1-a)|y|ar+(1-a)r=r,即点ax+(1-a)y属于超球,所以超球为凸集.,82,凸集的性质,(i)有限个(可以改成无限)凸集的交集为凸集.即:
若Dj(jJ)是凸集,则它们的交集D=x|xDj,jJ是凸集.(ii)设D是凸集,b是一实数,则下面集合是凸集bD=y|y=bx,xD.,83,凸集的性质,(iii)设D1,D2是凸集,则D1与D2的和集D1+D2=y|y=x+z,xD1,zD2是凸集.注:
和集与并集有很大的区别,凸集的并集未必是凸集,而凸集的和集是凸集.例:
D1=(x,0)T|xR表示x轴上的点,D2=(0,y)T|yR,表示y轴上的点.则D1D2表示两个轴的所有点,它不是凸集;D1+D2=R2是凸集,84,推论凸集的线性组合是凸集.,85,定义2.1.2设xiRn,i=1,k,实数li0,则称为x1,x2,xk的凸组合.,容易证明:
凸集中任意有限个点的凸组合仍然在该凸集中.,两点的凸组合,三点的凸组合,多点的凸组合,极点,定义2.1.3设D为凸集,xD.若D中不存在两个相异的点y,z及某一实数a(0,1)使得x=ay+(1-a)z则称x为D的极点.,86,凸集,极点,凸集,极点,极点,87,例D=xRn|x|a(a0),则|x|=a上的点均为极点,证明:
设|x|=a,若存在y,zD及a(0,1),使得x=ay+(1-a)z.则a2=|x|2=(ay+(1-a)z,ay+(1-a)z)a2|y|2+(1-a)2|z|2+2a(1-a)|y|z|a2,不等式取等号,必须|y|=|z|=a,且(y,z)=|y|z|,容易证明y=z=x,根据定义可知,x为极点.,凸函数,定义2.1.4设函数f(x)定义在凸集DRn上,若对任意的x,yD,及任意的a0,1都有f(ax+(1-a)y)af(x)+(1-a)f(y)则称函数f(x)为凸集D上的凸函数.,88,凸函数,89,定义2.1.5设函数f(x)定义在凸集DRn上,若对任意的x,yD,xy,及任意的a(0,1)都有f(ax+(1-a)y)af(x)+(1-a)f(y)则称函数f(x)为凸集D上的严格凸函数.,将上述定义中的不等式反向,可以得到凹函数和严格凹函数的定义.,凸函数的例,例2.1.3设f(x)=(x1)2,试证明f(x)在(,+)上是严格凸函数.,90,证明:
设x,yR,且xy,a(0,1)都有f(ax+(1-a)y)-(af(x)+(1-a)f(y)=(ax+(1-a)y-1)2-a(x-1)2-(1-a)(y-1)2=a(1-a)(x-y)20,因此f(x)在(,+)上是严格凸函数.,例2.1.4线性函数f(x)=cTx=c1x1+c2x2+cnxn既是Rn上凸函数也是Rn上凹函数.,凸函数的几何性质,对一元函数f(x),在几何上af(x1)+(1-a)f(x2)(0a1)表示连接(x1,f(x1),(x2,f(x2)的线段,f(ax1+(1-a)x2)表示在点ax1+(1-a)x2处的函数值,所以一元凸函数表示连接函数图形上任意
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 优化 方法 课件
![提示](https://static.bingdoc.com/images/bang_tan.gif)