数学规划概述幻灯片.ppt
《数学规划概述幻灯片.ppt》由会员分享,可在线阅读,更多相关《数学规划概述幻灯片.ppt(91页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、数学规划概述第1页,共91页,编辑于2022年,星期六 假期你想去旅游。假如你只去一个地方而且只有一条线路可走,反倒省心一些如果你要去许多地方,又有许多路线,许多交通工具,而你还想尽量节省路费,那么你就要考虑“最优决策”或“最优(方案)设计”的问题了最优化(optimization)是企业运作、科技研发和工程设计中常见的问题要表述一个最优化问题(即建立数学模型),应明确三个基本要素:决策变量(decision variables)约束条件(constraints)目标函数(objective function)第2页,共91页,编辑于2022年,星期六决决策策变变量量(decision var
2、iables):它它们们是是决决策策者者所所控控制制的的那那些些数数量量,它它们们取取什什么么数数值值需需要要决决策策者者来来决决策策,最最优优化化问问题的求解就是找出决策变量的最优取值题的求解就是找出决策变量的最优取值约约束束条条件件(constraints):它它们们是是决决策策变变量量在在现现实实世世界界中中所所受受到到的的限限制制,或或者者说说决决策策变变量量在在这这些些限限制制范范围围之内取值才有实际意义之内取值才有实际意义目目标标函函数数(objective function):它它代代表表决决策策者者希希望望对对其其进进行优化的那个指标。行优化的那个指标。目标函数是决策变量的函数
3、目标函数是决策变量的函数目标函数是决策变量的函数目标函数是决策变量的函数第3页,共91页,编辑于2022年,星期六如如果果一一个个最最优优化化问问题题的的决决策策变变量量不不是是时时间间的的函函数数,则则属属于于静静态态优优化化(static optimization)或或有有限限维维优优化化(finite dimensional optimization)的范畴的范畴按按照照静静态态优优化化问问题题的的结结构构是是否否线线性性分分为为线线性性规规划划和和非非线线性性规规划划线线性性规规划划的的特特征征是是目目标标函函数数和和约约束束条条件件中中的的函函数数都都是是决决策策变变量量的的线线性性
4、函函数数,并并且且约约束是必不可少的(否则不存在有实际意义的解)束是必不可少的(否则不存在有实际意义的解)第4页,共91页,编辑于2022年,星期六三要素:三要素:决策变量决策变量;目标函数目标函数;约束条件约束条件约约束束条条件件决策变量决策变量数学规划模型的一般形式数学规划模型的一般形式规划问题:求目标函数在约束条件下的最值规划问题:求目标函数在约束条件下的最值可行解(只满足约束)与最优解可行解(只满足约束)与最优解(取到最优值取到最优值)目标函数目标函数第5页,共91页,编辑于2022年,星期六数学规划模型的数学规划模型的简单分类简单分类线性规划线性规划(LP)目标和约束均为线性函数目标
5、和约束均为线性函数非线性规划非线性规划(NLP)目标或约束中存在非线性函数目标或约束中存在非线性函数二次规划二次规划(QP)目标为二次函数、约束为线性目标为二次函数、约束为线性整数规划整数规划(IP)决策变量决策变量(全部或部分全部或部分)为整数为整数整数整数线性线性规划规划(ILP),整数,整数非线性非线性规划规划(INLP)纯整数规划纯整数规划(PIP),混合整数规划混合整数规划(MIP)一般整数规划,一般整数规划,0-1(整数)规划(整数)规划连连续续优优化化离离散散优优化化数学规划数学规划第6页,共91页,编辑于2022年,星期六MATLABMATLAB优化工具箱优化工具箱能求解的优化
6、模型能求解的优化模型优化工具箱优化工具箱3.0(MATLAB7.0R14)连续优化连续优化离散优化离散优化无约束优化无约束优化非线性非线性极小极小fminunc非光滑非光滑(不可不可微微)优化优化fminsearch非线性非线性方方程程(组组)fzerofsolve全局全局优化优化暂缺暂缺非线性非线性最小二乘最小二乘lsqnonlinlsqcurvefit线性规划线性规划linprog纯纯0-1规划规划bintprog一般一般IP(暂缺暂缺)非线性规划非线性规划fminconfminimaxfgoalattainfseminf上下界约束上下界约束fminbndfminconlsqnonlinl
7、sqcurvefit约束线性约束线性最小二乘最小二乘lsqnonneglsqlin约束优化约束优化二次规划二次规划quadprog第7页,共91页,编辑于2022年,星期六优化优化线性规划线性规划非线性规划非线性规划二次规划二次规划连续优化连续优化整数规划整数规划LINDOLINGOLINDO/LINGOLINDO/LINGO软件能求解的模型软件能求解的模型第8页,共91页,编辑于2022年,星期六LPQPNLPIP全局优化全局优化(选选)ILPIQPINLPLINGOLINGO软件的求解过程软件的求解过程 LINGO预处理程序预处理程序线性优化求解程序线性优化求解程序非线性优化求解程序非线性
8、优化求解程序分枝定界管理程序分枝定界管理程序1.确定常数确定常数2.识别类型识别类型1.单纯形算法单纯形算法2.内点算法内点算法(选选)1、顺序线性规划法、顺序线性规划法(SLP)2、广义既约梯度法、广义既约梯度法(GRG)(选选)3、多点搜索、多点搜索(Multistart)(选选)第9页,共91页,编辑于2022年,星期六LINGO软件的功能与特点软件的功能与特点LINGO模型的优点模型的优点集成了线性集成了线性(非线性非线性)/连续连续(整数整数)优化功能优化功能具有多点搜索具有多点搜索/全局优化功能全局优化功能提供了灵活的编程语言提供了灵活的编程语言(矩阵生成器矩阵生成器),可方便地输
9、入,可方便地输入模型模型提供与其他数据文件的接口提供与其他数据文件的接口提供与其他编程语言的接口提供与其他编程语言的接口LINDOAPI可用于自主开发可用于自主开发运行速度较快运行速度较快第10页,共91页,编辑于2022年,星期六LINDO LINDO 公司软件产品简要介绍公司软件产品简要介绍美国芝加哥美国芝加哥(Chicago)大学的大学的LinusSchrage教授于教授于1980年年前后开发前后开发,后来成立后来成立LINDO系统公司(系统公司(LINDOSystemsInc.),),网址:网址:http:/LINDO:LinearINteractiveandDiscreteOptim
10、izer(V6.1)LINDOAPI:LINDOApplicationProgrammingInterface(V4.1)LINGO:LinearINteractiveGeneralOptimizer(V10.0)WhatsBest!:(SpreadSheete.g.EXCEL)(V8.0)演示演示(试用试用)版、高级版、超级版、工业版、扩展版版、高级版、超级版、工业版、扩展版(求(求解解问题规模问题规模和和选件选件不同)不同)第11页,共91页,编辑于2022年,星期六历史悠久,理论成熟,应用广泛运筹学的最基本的方法之一,网络规划、整数规划、目标规划和多目标规划都是以线性规划为基础的。解决稀
11、缺资源最优分配的有效方法,使付出的费用最小或获得的收益最大。线性规划模型线性规划模型第12页,共91页,编辑于2022年,星期六1939年前苏联康托洛维奇(年前苏联康托洛维奇(KOHTOPOBUZ)生生产组织与计划中的产组织与计划中的数学方法提出数学方法提出“解乘数法解乘数法”。列奥尼德列奥尼德康托罗维奇,前苏联人,由于在康托罗维奇,前苏联人,由于在1939年创年创立了享誉全球的线性规划要点,对资源最优分配理论立了享誉全球的线性规划要点,对资源最优分配理论做出了贡献,而获得诺贝尔经济学奖。做出了贡献,而获得诺贝尔经济学奖。线性规划理论的发展线性规划理论的发展第13页,共91页,编辑于2022年
12、,星期六美国科学院院士美国科学院院士DANTZIG(丹齐克),(丹齐克),1948年在研究美年在研究美国空军资源的优化配置时提出线性规划及其通用解法国空军资源的优化配置时提出线性规划及其通用解法“单纯形单纯形法法”。被称为线性规划之父。被称为线性规划之父。线线性性规规划划之之父父的的Dantzig Dantzig(丹丹齐齐克克)。据据说说,一一次次上上课课,DantzigDantzig迟迟到到 了了,仰仰头头看看去去,黑黑板板上上留留了了几几个个题题目目,他他就就抄抄了了一一下下,回回家家后后埋埋头头苦苦做做。几几个个星星期期之之后后,疲疲惫惫的的去去找找老老师师说说,这这件件事事情情真真的的
13、对对不不起起,作作业业好好像像太太难难了了,我我所所以以现现在在才才交交,言言下下很很是是惭惭愧愧。几几天天之之后后,他他的的老老师师就就把把他他召召了了过过去去,兴兴奋奋的的告告诉诉他他说说他他太太兴兴奋奋了了。DantzigDantzig很很不不解解,后后来来才才知知道道原原来来黑黑板板上上的的题题目目根根本本就就不不是是什什么么家家庭庭作作业业,而而是是老老师师说说的的本本领领域域的的未未解解决决的的问问题题,他给出的那个解法也就是单纯形法。这个方法是上个世纪前十位的算法。他给出的那个解法也就是单纯形法。这个方法是上个世纪前十位的算法。第14页,共91页,编辑于2022年,星期六 196
14、01960年,年,“最佳资源利用的经济计算最佳资源利用的经济计算”康托洛维奇和库康托洛维奇和库伯曼斯伯曼斯(Koopmans)(Koopmans)。两人因对资源最优分配理论的贡献而获。两人因对资源最优分配理论的贡献而获19751975年诺贝尔经济学奖年诺贝尔经济学奖 佳林佳林库普曼斯,美国人,他将数理统计学成功运用库普曼斯,美国人,他将数理统计学成功运用于经济计量学,对资源最优分配理论做出了贡献。于经济计量学,对资源最优分配理论做出了贡献。第15页,共91页,编辑于2022年,星期六1961年,查恩斯与库伯提出了目标规划,艾吉利提出了用优先因子来处理多目标问题。20世纪70年代,斯姆李与杰斯开
15、莱尼应用计算机处理目标规划问题从1964年诺贝尔奖设经济学奖后,到1992年28年间的32名获奖者中有13人(40%)从事过与线性规划有关的研究工作,其中著名的有Simon,Samullson,Leontief,Arrow,Miller等。保罗-萨缪尔逊(PAUL A SAMUELSON),他发展了数理和动态经济理论,将经济科学提高到新的水平。他的研究涉及经济学的全部领域。于1970年获得诺贝尔经济学奖。华西里列昂惕夫(WASSILY LEONTIEF),美国人,他发展了投入产出方法,该方法在许多重要的经济问题中得到运用。曾获1973年诺贝尔经济科学奖。肯尼斯-J-阿罗(KENNETH J.A
16、RROW),美国人,因与约翰-希克斯(JOHN R.HICKS)共同深入研究了经济均衡理论和福利理论获得1972年诺贝尔经济学奖。牟顿-米勒(MERTON M.MILLER),1923-2000,美国人,由于他在金融经济学方面做出了开创性工作,于1990年获得诺贝尔经济奖。第16页,共91页,编辑于2022年,星期六一一个个农农场场有有50亩亩土土地地,20个个劳劳动动力力,计计划划种种蔬蔬菜菜,棉棉花花和和水水稻稻.种种植植这这三三种种农农作作物物每每亩亩地地分分别别需需要要劳劳动动力力1/21/31/4,预预计计每每亩亩产产值值分分别别为为110元元,75元元,60元元.如如何何规规划划经
17、经营营使使经经济济效益最大效益最大.种植蔬菜 x1 亩,棉花 x2 亩,水稻 x3 亩(决策变量)以取得最高的产值的方式达到收益最大的目标.求f=110 x1+75x2+60 x3的最大值(目标函数、优劣标准)约束条件 x1+x2+x3 50 1/2x1+1/3x2+1/4x3 20例例1 1 农作物种植农作物种植max:Z=110 x1+75x2+60 x3s.t.x1+x2+x3 501/2x1+1/3x2+1/4x3 20 x1,x2,x30目标函数和约束条件是线性的,是线性规划目标函数和约束条件是线性的,是线性规划第17页,共91页,编辑于2022年,星期六如果规划问题的数学模型中,决
18、策变量的取值可以是连续的,目标函数是决策变量的线性函数,约束条件是含决策变量的线性等式或不等式,则该类规划问题的数学模型称为线性线性规划的数学模型规划的数学模型。实际问题中线性的含义:一是严格的比例性二是可叠加性关于线性的界定关于线性的界定第18页,共91页,编辑于2022年,星期六比例性:决策变量变化引起目标的改变量与决策变量改变量成正比;可加性:每个决策变量对目标和约束的影响独立于其它变量;连续性:每个决策变量取连续值;确定性:线性规划中的参数aij,bi,ci为确定值。第19页,共91页,编辑于2022年,星期六 正则模型正则模型 决策变量:x1,x2,xn.目标函数:Z=c1x1+c2
19、x2+cnxn.求目标函数的最小或最大 约束条件:a11x1+a1nxnb1,am1x1+amnxnbm线性规划的数学模型及其标准化线性规划的数学模型及其标准化第20页,共91页,编辑于2022年,星期六 标准化模型标准化模型 决策变量 x1,x2,xn,max Z=c1x1+cnxn,s.t.a11x1+a1nxn=b1,am1x1+amnxn=bm,x1 0,xn 0,第21页,共91页,编辑于2022年,星期六 模型的标准化模型的标准化 10.引入松弛变量将不等式约束变为等式约束 若有 ai1x1+ainxnbi,则引入xn+i 0,使得 ai1x1+ainxn+xn+i=bi 若有 a
20、j1x1+ajnxnbj,则引入xn+j 0,使得 aj1x1+ajnxn-xn+j=bj.且此时目标函数Z=c1x1+c2x2+cnxn+0 xn+1+0 xn+m.20.将目标函数的优化变为目标函数的极大化.若求 min Z,令 Z=Z,则问题变为 max Z.30.引入人工变量,使得所有变量均为非负.若xi没有非负的条件,则引入 xi 0和xi0,令xi=xi xi,则可使得问题的全部变量均非负.第22页,共91页,编辑于2022年,星期六线性规划的对偶性和影子价格线性规划的对偶性和影子价格农农作作物物种种植植(续续):一个农场有50亩土地,20个劳动力,计划种蔬菜,棉花和水稻.种植这三
21、种农作物每亩地分别需要劳动力1/2 1/3 1/4,预计每亩产值分别为110元,75元,60元.如果出出出出租租租租土地和劳动力如何规划经营使经济效益最大.决策变量决策变量:对单位土地和单位劳力出租价格分别为对单位土地和单位劳力出租价格分别为y1y2目标函数目标函数:g=50y1+20y2优优劣劣准准则则:应应求求g的的最最小小值值.(因因为为要要达达到到的的要要求求已已经经通通过过约约束束条条件件满满足足,决决策策者者关关心心的的是是在在最最低低要要求求达达到到时时出出租租价价格格的的心心理理底底线线是是多多少?少?)约束条件约束条件:y1+1/2y2 110y1+1/3y2 75y1+1/
22、4y2 60(成本不小于成本不小于产值产值)(我出租出去要比自己种植合适。出租底线)(我出租出去要比自己种植合适。出租底线)第23页,共91页,编辑于2022年,星期六对偶线性规划对偶线性规划 原问题 max f=cTx s.t.Ax b xi 0,i=1,2,n.对偶问题 min f=bTy s.t.ATy c yi 0,i=1,2,m.max:Z=110 x1+75x2+60 x3s.t.x1+x2+x3 501/2x1+1/3x2+1/4x3 20 x1,x2,x30 A 是m n 矩阵,c 是 n 1向量,b 是 m 1向量 x 是 n 1向量,y 是 m 1向量min:g=50y1+
23、20y2s.t.y1+1/2y2 110y1+1/3y2 75y1+1/4y2 60y1,y20第24页,共91页,编辑于2022年,星期六对偶定理对偶定理:互为对偶的两个线性规划问题 若其中一个有有穷的最优解,则另一个也有有穷的最优解,且最优值相等.若两者之一有无界的最优解,则另一个没有可行解。模型II 给出了生产中资源的最低估价.这种价格涉及到资源的有效利用,它不是市场价格,而是根据资源在生产中做出的贡献确定的估价,被称为“影子价格影子价格”。模型I 给出了生产中的资源最优分配方案。第25页,共91页,编辑于2022年,星期六 灵敏度分析主要包括下面几个内容:1:当约束条件的右边常数项变化
24、的影响;2:约束条件的系数变化的影响;3:目标函数的系数变化的影响。可能的影响结果:1:最优解保持不变;2:基变量保持不变,但值变了;3:基本解变化。线性规划的灵敏度分析线性规划的灵敏度分析第26页,共91页,编辑于2022年,星期六例:简单的线性规划(例:简单的线性规划(LP)问题)问题 在空白的模型窗口中输入这个在空白的模型窗口中输入这个LP模型:模型:max 2x+3yst 4x+3y=10 3x+5y12end附录附录1:用:用Lindo(Lingo)解线性规划解线性规划第27页,共91页,编辑于2022年,星期六如图:如图:第28页,共91页,编辑于2022年,星期六模型求解用鼠标点
25、击工具栏中的图标用鼠标点击工具栏中的图标 ,或从菜单中选择或从菜单中选择Solve|Solve(Ctrl+S)命令命令LINDO首先开始编译这个模首先开始编译这个模型,编译没有错误则开始求型,编译没有错误则开始求解;解;求解时会首先显示如右图所求解时会首先显示如右图所示的示的LINDO“求解器运行状态窗口求解器运行状态窗口”。第29页,共91页,编辑于2022年,星期六名称名称含含义义Status(当前状态)显显示当前求解状示当前求解状态态:“Optimal”表示已表示已经经达到最达到最优优解;解;其他可能的其他可能的显显示示还还有三个:有三个:Feasible(可行解可行解),Infeasi
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 数学 规划 概述 幻灯片
限制150内