数学规划概述.pptVIP

整数规划问题一般形式整数线性规划(ILP)目标和约束均为线性函数整数非线性规划(NLP)目标或约束中存在非线性函数整数规划问题的分类纯(全)整数规划(PIP)决策变量均为整数混合整数规划(MIP)决策变量有整数，也有实数0-1规划决策变量只取0或1第62页，共91页，星期日，2025年，2月5日取消整数规划中决策变量为整数的限制（松弛），对应的连续优化问题称为原问题的松弛问题整数规划问题对应的松弛问题松弛问题松弛整数规划问题最优解最优解整数非整数整数舍入下界（对Min问题）上界（对Max问题）非最优解第63页，共91页，星期日，2025年，2月5日用连续优化方法求解松弛问题，如果松弛问题最优解（分量）全为整数，则也是原整数规划问题的最优解（见例1）对松弛问题的最优解（分量）舍入为整数，得到的往往不是原整数规划问题的最优解（甚至不是可行解）第64页，共91页，星期日，2025年，2月5日名称含义Status（当前状态）显示当前求解状态：“Optimal”表示已经达到最优解；其他可能的显示还有三个：Feasible(可行解),Infeasible(不可行),Unbounded(最优值无界)。Iterations（迭代次数）显示迭代次数：“2”表示经过了2次迭代。Infeasibility（不可行性）约束不满足的量(即各个约束条件不满足的“数量”的和；特别注意不是“不满足的约束个数”)：“0”表示这个解是可行的。Objective（当前的目标值）显示目标函数当前的值：7.45455。BestIP（整数规划当前的最佳目标值）显示整数规划当前的最佳目标值：“N/A”（NoAnswer或NotApplicable）表示无答案或无意义，因为这个模型中没有整数变量，不是整数规划（IP）。求解器运行状态窗口显示的相应信息及含义第30页，共91页，星期日，2025年，2月5日名称含义IPBound（整数规划的界）显示整数规划的界（对最大化问题显示上界；对最小化问题，显示下界）：“N/A”含义同上。Branches（分枝数）显示分枝定界算法已经计算的分枝数：“N/A”含义同上。ElapsedTime（所用时间）显示计算所用时间（秒）：“0.00”说明计算太快了，用时还不到0.005秒。UpdateInterval（刷新本界面的时间间隔）显示和控制刷新本界面的时间间隔：“1”表示1秒；用户可以直接在界面上修改这个时间间隔。InterruptSolver（中断求解程序）当模型规模比较大时（尤其对整数规划），可能求解时间会很长，如果不想再等待下去时，可以在程序运行过程中用鼠标点击该按钮终止计算。求解结束后这个按钮变成了灰色，再点击就不起作用了。Close（关闭）该按钮只是关闭状态窗口，并不终止计算。如果你关闭了状态窗口，将来随时可以选择WINDOW|OPENSTATUSWINDOW菜单命令来再次打开这个窗口。第31页，共91页，星期日，2025年，2月5日紧接着弹出一对话框，询问你是否需要做灵敏性分析（DORANGE(SENSITIVITY)ANALYSIS?）先选择“否（N）”按钮，这个窗口就会关闭。然后，再把状态窗口也关闭。第32页，共91页，星期日，2025年，2月5日报告窗口用鼠标选择“Window|ReportsWindow”（报告窗口），就可以查看该窗口的内容第33页，共91页，星期日，2025年，2月5日保存文件选择File|Save（F5）命令把“结果报告”保存在一个文件中（缺省的后缀名为LTX,即LINDO文本文件）类似地，回到模型窗口，可以把输入的模型保存在一个文件中。保存的文件将来可以用File|Open（F3）和File|View（F4）重新打开，用前者打开的程序可以进行修改，而后者只能浏览。如果模型有错误,运行时会弹出出错信息报告窗口(LINDOErrorMessage)，则需要修改模型。第34页，共91页，星期日，2025年，2月5日例：某家具公司制造书桌、餐桌和椅子，所用的资源有三种：木料、木工和漆工。生产数据如下表所示。每个书桌每个餐桌每个椅子现有资源总数木料8单位6单位1单位48单位漆工4单位2单位1.5单位20单位木工2单位1.5单位0.5单位8单位成品单价60单位30单位20单位若要求桌子的生产量不超过5件，如何安排三种产品的生产可使利润最大？第35页，共91页，星期日，2025年