最优化方法及其应用.ppt
《最优化方法及其应用.ppt》由会员分享,可在线阅读,更多相关《最优化方法及其应用.ppt(289页珍藏版)》请在三一办公上搜索。
1、最优化(一),一 最优化问题总论二 一维搜索法三 常用无约束最优化方法四 常用约束最优化方法五 程序设计及其他优化方法,一 最优化问题总论,无论做任何一件事,人们总希望以最少的代价取得最大的效益,也就是力求最好,这就是优化问题最优化就是在一切可能的方案中选择一个最好的方案以达到最优目标的学科例如,从甲地到乙地有公路、水路、铁路、航空四种走法,如果我们追求的目标是省钱,那么只要比较一下这四种走法的票价,从中选择最便宜的那一种走法就达到目标这是最简单的最优化问题,实际优化问题一般都比较复杂,概括地说,凡是追求最优目标的数学问题都属于最优化问题作为最优化问题,一般要有三个要素:第一是目标;第二是方案
2、;第三是限制条件而且目标应是方案的“函数”如果方案与时间无关,则该问题属于静态最优化问题;否则称为动态最优化问题本书只讨论静态最优化问题,一 最优化问题总论,最简单的最优化问题实际上在高等数学中已遇到,这就是所谓函数极值,我们习惯上又称之为经典极值问题例1.1 对边长为a的正方形铁板,在四个角处剪去相等的正方形以制成方形无盖水槽,问如何剪法使水槽的容积最大?,一 最优化问题总论,解 设剪去的正方形边长为x,由题意易知,与此相应的水槽容积为 令 得两个驻点:,一 最优化问题总论,第一个驻点不合实际,这是因为剪去4个边 长为的正方形相当于将铁板全部剪去现在来判断第二个驻点是否为极大点 因为 所以
3、是极大点 结论是:每个角剪去边长为的正方形可使所制成的水槽容积最大,一 最优化问题总论,例1.2 求侧面积为常数体积最大的长方体体积解 设长方体的长、宽、高分别为,体积为,则依题意知体积为限制条件为 由拉格朗日乘数法,考虑函数,1.1 最优化问题数学模型,令 由题意可知 应是正数,由此,将上面三个等式分别乘以,并利用已知条件得到,1.1 最优化问题数学模型,比较以上三式可得,从而x=y=z=a,右侧面积固定的长方体的最大体积客观存在,因此侧面积固定的长方体中以正方体体积最大,一 最优化问题总论,例1.3 某单位拟建一排四间的停车房,平面位置如图1.1所示由于资金及材料的限制,围墙和隔墙的总长度
4、不能超过40m,为使车房面积最大,应如何选择长、宽尺寸?,一 最优化问题总论,解 设四间车房长为,宽为由题意可 知面积为 且变量,应满足 即求,,一 最优化问题总论,最优化问题的数学模型包含有三个要求:即变量(又称设计变量)、目标函数、约束条件一、变量二、目标函数三、约束条件四、带约束条件的优化问题数学模型表示形式,一 最优化问题总论,综上所述,全书所要讨论的问题是如下的(静态)最优化问题,其表示形式有三种:第一种最优化问题表示形式为第二种最优化问题表示形式为,一 最优化问题总论,第三种最优化问题表示形式为(1.1)其中,一 最优化问题总论,上述三种表示形式中,称为集约束在所讨论的最优化问题中
5、,集约束是无关紧要的这是因为一般,不然的话,通常也可用不等式约束表达出来因此今后一般不再考虑集约束 满足所有约束的点称为容许点或可行点容许点的集合称为容许集或可行域可用 表示,一 最优化问题总论,一般地,对于最优化问题(1.1)的求解,是指在可行域内找一点,使得目标函数在该点取得极小值,即 这样的称为问题(1.1)的最优点,也称极小点,而相应的目标函数值 称为最优值;合起来称为最优解,但习惯上把本身称为最优解最优点的各分量和最优值必须是有限数,一 最优化问题总论,一、二维最优化问题的图解法 讨论二维最优化问题为,一 最优化问题总论,(一)约束集合当约束函数为线性时,等式约束在坐标平面上为一条直
6、线,不等式约束在坐标平面上为一半平面;当约束函数为非线性时,等式约束条件在坐标平面上为一条曲线(如图),不等式约束把坐标平面分成两部分当中的一部分(如图),一 最优化问题总论,综上所述,当把约束条件中的每一个等式所确定的曲线,以及每一个不等式所确定的部分在坐标平面上画出之后,它们相交的公共部分即为约束集合D,一 最优化问题总论,例1.4 在坐标平面上画出约束集合解:满足的区域为以原点为圆心,半径为1的圆;满足的区域为第一象限的扇形(如图所示),一 最优化问题总论,(二)等高线 我们知道 在三维空间中表示一张曲面 其中 为常数)在三维空间中表示平行于 平面的一个平面,这个平面上任何一点的高度都等
7、于常数(如图)在三维空间中曲面 与平面 有一条交线 交线在平面上的投影曲线是,可见曲线上的点到平面 的高度都等于常数C,也即曲线上的的函数值都具有相同的值,一 最优化问题总论,当常数取不同的值时,重复上面的讨论,在平面上得到一族曲线等高线.等高线的形状完全由曲面的形状所决定;反之,由等高线的形状也可以推测出曲面的形状,一 最优化问题总论,例1.5 在坐标平面 上画出目标函数的等高线 解:因为当 取时,曲线表示是以原点为圆心,半径为的圆因此等高线是一族以原点为圆心的同心圆(如图所示),一 最优化问题总论,例1.6 用图解法求解二维最优化问题解:如图,目标函数的等高线是以为圆心的同心圆,并且这族同
8、心圆的外圈比内圈的目标函数值大因此,该问题为在约束集中找一点,使其落在半径最小的那个同心圆上。问题的最优解为:,一 最优化问题总论,二、最优化问题的迭代解法(一)迭代方法,在经典极值问题中,解析法虽然具有概念简明,计算精确等优点,但因只能适用于简单或特殊问题的寻优,对于复杂的工程实际问题通常无能为力,所以极少使用。最优化问题的迭代算法是指:从某一选定的初始点出发,根据目标函数、约束函数在该点的某些信息,确定本次迭代的一个搜索方向和适当的步长,从而到达一个新点,用式子表示即为,(1.2),一 最优化问题总论,式中,前一次已取得的迭代点,在 开始计算时为迭代初始点;新的迭代点;第k次迭代计算的搜索
9、方向;第k次迭代计算的步长因子,一 最优化问题总论,按照式(1.2)进行一系列迭代计算所根据的思想是所谓的“爬山法”,就是将寻求函数极小点(无约束或约束极小点)的过程比喻为向“山”的顶峰攀登的过程,始终保持向“高”的方向前进,直至达到“山顶”当然“山顶”可以理解为目标函数的极大值,也可以理解为极小值,前者称为上升算法,后者称为下降算法这两种算法都有一个共同的特点,就是每前进一步都应该使目标函数有所改善,同时还要为下一步移动的搜索方向提供有用的信息如果是下降算法,则序列迭代点的目标函数值必须满足下列关系,一 最优化问题总论,如果是求一个约束的极小点,则每一次迭代的新点都应该在约束可行域内,即 下
10、图为迭代过程,一 最优化问题总论,(二)收敛速度与计算终止准则(1)收敛速度作为一个算法A,能够收敛于问题的最优解当然是必要的,但光能收敛还不够,还必须能以较快的速度收敛,这才是好的算法定义1.1 设由算法A产生的迭代点列 在某种“|”的意义下收敛于点,即,若存在实数 及一个与迭代次数 无关的常数 使得 则算法A产生的迭代点列叫做具有 阶收敛速度,或算法A叫做是 阶收敛的,特别地:,一 最优化问题总论,当,迭代点列 称为具有线性收敛速度或算法A称为线性收敛的 当,或 时,迭代点列 叫做具有超线性收敛速度或称算法A是超线性收敛 当 时,迭代点列 叫做具有二阶收敛速度或算法A是二阶收敛的 一般认为
11、,具有超线性收敛或二阶收敛的算法是较快速的算法,一 最优化问题总论,(2)计算终止准则 用迭代方法寻优时,其迭代过程总不能无限制地进行下去,那么什么时候截断这种迭代呢?这就是迭代什么时候终止的问题 从理论上说,当然希望最终迭代点到达理论极小点,或者使最终迭代点与理论极小点之间的距离足够小时才终止迭代但是这在实际上是办不到的因为对于一个待求的优化问题,其理论极小点在哪里并不知道所知道的只是通过迭代计算获得的迭代点列,因此只能从点列所提供的信息来判断是否应该终止迭代 对于无约束优化问题通常采用的迭代终止准则有以下几种:,一 最优化问题总论,点距准则相邻两迭代点之间的距离已达到充分小,即式中 是一个
12、充分小正数,代表计算精度函数下降量准则相邻两迭代点的函数值下降量已达到充分小当 时,可用函数绝对下降量准则当 时,可用函数相对下降量准则梯度准则目标函数在迭代点的梯度已达到充分小,即这一准则对于定义域上的凸函数是完全正确的若是非凸函数,有可能导致误把驻点作为最优点。对于约束优化问题,不同的优化方法有各自的终止准则,一 最优化问题总论,综上所述,优化算法的基本迭代过程如下:选定初始点,置 按照某种规则确定搜索方向 按某种规则确定 使得 计算 判定 是否满足终止准则若满足,则打印 和,停机;否则置,转,一 最优化问题总论,上述算法框图如右图,一 最优化问题总论,就优化机制与行为而分,目前工程中常用
13、的优化算法主要可分为:经典算法、构造型算法、改进型算法、基于系统动态演化的算法和混合型算法等(1)经典算法包括线性规划、动态规划、整数规划和分枝定界等运筹学中的传统算法,其算法计算复杂性一般很大,只适于求解小规模问题,在工程中往往不实用,一 最优化问题总论,(2)构造型算法用构造的方法快速建立问题的解,通常算法的优化质量差,难以满足工程需要譬如,调度问题中的典型构造型方法有:Johnson法、Palmer法、Gupta法、CDS法、Daunenbring的快速接近法、NEH法等(3)改进型算法,或称邻域搜索算法从任一解出发,对其邻域的不断搜索和当前解的替换来实现优化根据搜索行为,它又可分为局部
14、搜索法和指导性搜索法,一 最优化问题总论,(4)基于系统动态演化的算法将优化过程转化为系统动态的演化过程,基于系统动态的演化来实现优化,如神经网络和混沌搜索等(5)混合型算法指上述各算法从结构或操作上相混合而产生的各类算法 优化算法当然还可以从别的角度进行分类,如确定性算法和不确定性算法,局部优化算法和全局优化算法等,一 最优化问题总论,一、组合优化问题建模 归纳而言,最优化问题可分为函数优化问题和组合优化问题两大类。上一节介绍的最优化数学模型属于函数优化问题,该函数优化的对象是一定区间内的连续变量。本节重点介绍组合优化问题,组合优化的对象是解空间中的离散状态,一 最优化问题总论,组合优化问题
15、是通过对数学方法的研究去寻找离散事件的最优编排、分组、次序或筛选等,所研究的问题涉及信息技术、经 济管理、工业工程、交通运输、通信网络 等诸多领域,该问题数学模式可表示为 其中,为目标函数,为约束函数,X为决策变量,表示有限个点组成的集合,一 最优化问题总论,例1.9 0-1背包问题(knapsack problem),设有一个容积为 b的背包,n个体积分别为,价值分别为 的物品,如何以最大的价值装包?该问题称为0-1背包问题用数学模型表示为(1.3)其中目标(1.3)欲使包内所装物品的价值最大;(1.4)为包的能力限制;(1.5)表示xi为二进制变量,xi=1表示装第i个物品,xi=0表示不
16、装,一 最优化问题总论,例1.10 旅行商问题(TSP,traveling salesman problem)一个商人欲到个城市推销商品,每两个城市i和j之间的距离为,如何选择一条道路使得商人每个城市走一遍后回到起点且所走路径最短 TSP还可以细分为对称和非对称距离两大类问题当对任意的I,j时都有,则称该TSP为对称距离TSP,否则称非对称距离TSP,一 最优化问题总论,对一般的TSP,它的一种数学模型描述,一 最优化问题总论,以上是基于图论的数学模型 式(1.10)中的决策变量 表示商人行走的路线包含从城市i到城市路径,表示商人没有选择走这条路 的约束可以减少变量的个数,使得共有 个决策变量
17、;目标(1.6)要求距离之和最小;式(1.7)要求商人从城市出来一次;式(1.8)要求商人走入城市只有一次;式(1.7)和式(1.8)表示每个城市经过一次;仅有式(1.7)和式(1.8)的约束无法避免回路的产 生,一条回路是由 个城市和k条弧组成,式(1.9)约束旅行商在任何一个城市子集中不形 成回路,其中|S|表示集合S中元素个数,一 最优化问题总论,例1.11 聚类问题 m维空间上的n个模式 要求聚类成k类,使得各类本身内的点最相近,即 其中 为第p类的中心,为第p类中的点数,一 最优化问题总论,二 一维搜索法,搜索区间及其确定方法 对分法 Newton切线法 黄金分割法 抛物线插值法,由
18、第一章关于求解最优化问题概述中我们知道,从已知迭代点 出发按照基本迭代格式 来求解最优化问题,其关键在于如何构造一个搜索方向 和确定一个步长 使下一迭代点 处的目标函数值下降,即 现在我们来讨论,当搜索方向 已经确定的情况下,如何来确定步长?步长因子的选取有多种方法,如取步长为常数,但这样选取的步长并不最好,如何选取最好步长呢?实际计算通常采用一维搜索来确定最优步长,二 一维搜索法,对无约束最优化问题当已知迭代点 和下降方向 时,要确定适当的步长 使 比 有所下降,即相当于对于参量 的函数 要在区间 上选取 使 即 由于这种从已知点 出发,沿某一下降的探索方向 来确定步长 的问题,实质上是单变
19、量函数 关于变量 的一维搜索选取问题,故通常叫做一维搜索,二 一维搜索法,按这种方法确定的步长 又称为最优步长,这种方法的优点是:它使目标函数值在搜索方向上下降得最多 今后为了简便起见,我们用记号 表示从点 出发沿方向 对目标函数作直线搜索所得到的极小点是 其中l和s分别是Linear search(直线搜索)两词的词首,在目标函数 已确定的条件下(4.1)等价于如下两式:,二 一维搜索法,下面进一步解释迭代点 的空间位置容易证明,若从 出发,沿 方向进步一维搜索得极小点 则该点 处的梯度方向 与搜索方向 之间应满足事实上,设 对 求导有令 即 所以,二 一维搜索法,式(4.2)的几何意义是明
20、显的:从某一点 出发沿方向 对目 标函数 作直线搜索,所得到 的极小点为 式(4.2)指出,梯度 必与搜索方向 正交.又因为 与目标函数过点 的等值面 正交,所以进一步看到,搜索方向 与这个等值面在点 处相切(如图所示),二 一维搜索法,搜索区间及其确定方法,一、搜索区间 设一维最优化问题为 为了求解问题(4.3),我们引入如下的搜索区间概念 定义4.1 若存在闭区间 使 则称 是问题(4.3)的搜索区间 简言之,一个一维最优化问题的搜索区间,就是包含该问题最优解的一个闭区间通常,在进行一维搜索时,一般要先确定出问题的一个搜索区间,然后再此区间中进行搜索求解,二、加步探索法下面,介绍一个确定问
21、题(4.3)的搜索区间的简单方法这个方法的思想是:先选定一个初始点 或 和初始步长 然后,沿着轴的正方向探索前进一个步长,得到新点 若目标函数在新点处的值是下降了,即 则下一步就从新点 出发加大步长,再向前探索.若目标函数在新点处的值上升,即 则下一步仍以 为出发点以原步长开始向 轴的负方向同样探索当达到目标函数上升的点时,就停止探索,这时便得到问题(4.3)的一个搜索区间这种以加大步长进行探索来寻找探索区间的方法叫加步探索法,搜索区间及其确定方法,加步探索法算法的计算步骤:(1)选取初始数据选取初始点 计算 给出初始步长 加步系数 令(2)比较目标函数值令 计算,若 转(3)否则转(4)(3
22、)加大探索步长,令 同时令 转(2)(4)反向探索,若 转换探索方向,令 转(2);否则,停止迭代,令 输出,搜索区间及其确定方法,加步探索法算法的流程图如图所示,在加步探索法中,一般建议 若能估计问题(4.3)的最优解的大体位置的话,初始点要尽量取接近于问题(4.3)的最优解.在具体运用上述加步探索法时,有时还要考虑一些细节问题例如,当探索得到新点处的目标函数值和出发点处相同时,以及初始步长应如何选取等,都需作适当处理,搜索区间及其确定方法,三、单谷区间与单谷函数 由于以后要介绍的一些维搜索方法,主要适用于问题(4.3)在搜索区间中只有唯一的最优解的情况,为此,我们再给出下面单谷区间与单谷函
23、数概念 定义4.2 设 闭区间 若存在点 使得 在 上严格递减,在 上严格递增,则称 是函数 的单谷区间,是 上单谷函数,搜索区间及其确定方法,由定义4.2易知,一个区间是某函数的单谷区间意味着,在该区间中函数只有一个“凹谷”(极小值)例如,左图中的 是 的单谷区间,也即 是 上的单谷函数右图中的 不是 的单谷区间,即 不是 上的单谷函数,搜索区间及其确定方法,另外,从定义4.2还可知,某区间上的单谷函数在该区间上不一定是连续函数,而凸函数在所给区间上必然是单谷函数(如左图所示)由定义4.1和定义4.2知,函数的单谷区间总是相应问题(4.3)的一个搜索区间(如左图所示),但反之不然(如右图所示
24、),搜索区间及其确定方法,单谷区间和单谷函数有如下有用的性质:定理4.1 设 是的单谷区间,任取 并且(1)若有,则 是 的单谷区间(2)若有,则 是 的单谷区间定理4.1说明,经过函数值的比较可以把单谷区间缩短为一个较小的单谷区间换句话说利用这个定理可以把搜索区间无限缩小,从而求到极小点.以下介绍的几种一维搜索方法都是利用这个定理通过不断地缩短搜索区间的长度,来求得一维最优化问题的近似最优解,搜索区间及其确定方法,一、对分法基本原理求解一维最优化问题 一般可先确定它的一个有限搜索区间,把问题化为求解问题,然后通过不断缩短区间的长度,最后求得最优解,对分法,设 在已获得的搜索区间 内具有连续的
25、一阶导数因为 在 上可微,故 在 上连续,由此知 在 上有最小值令,总可求得极小点 不妨设 在 上是单减函数;在 上是单增函数所以 时,故;当 时,亦即 对分法的原理如图,对分法,二、对分法迭代步骤已知,表达式,终止限 确定初始搜索区间,要求(2)计算 的中点(3)若,则,转(4);若,则,转(5);若,则,转(4)(4)若,则,转(5);否则转(2)(5)打印,停机,对分法,对分法的计算流程如图所示,三、对分法有关说明 对分法每次迭代都取区间的中点 a.若这点的导数值小于零,说明的根位于右半区间中,因此去掉左半区间;b.若中点导数值大于零,则去掉右半区间;c.若中点导数值正好等于零,则该点就
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 优化 方法 及其 应用
链接地址:https://www.31ppt.com/p-5749093.html