有三种可能的设置: Primal Solver Pricing Strategies 价格策略(决定出基变量的策略) Dual Solver对偶单纯形法 原始单纯形法 ·Solver Decides:LINGO自动决定(缺省设置) ·Partial:LINGO 对一部分可能的出基变量进行尝试 ·Devex:用Steepest-Edge(最陡边)近似算法对所有可能的变量进行尝试,找到使目标值下降最多的出基变量 有三种可能的设置: ·Solver Decides:LINGO自动决定(缺省设置) ·Dantzig:按最大下降比例法确定出基变量 ·Steepest-Edge:最陡边策略,对所有可能的变量进行尝试,找到使目标值下降最多的出基变量 Matrix Decomposition 矩阵分解 Scale Model 模型尺度的改变 选择该选项,LINGO将尝试将一个大模型分解为几个小模型求解;否则不尝试 选择该选项,LINGO检查模型中的数据是否平衡(数量级是否相差太大)并尝试改变尺度使模型平衡;否则不尝试 (4)Nonlinear Solver(非线性求解器)选项卡 选项组 选项 含义 控制模型中约束满足的初始误差限(缺省值为10-3) Initial Nonlinear Feasibility Tol. 初始非线性可行性误差限 Final Nonlinear Feasibility Tol. 最后非线性可行性误差限 Nonlinear Optimality Tol. 非线性规划的最优性误差限 控制模型中约束满足的最后误差限(缺省值为10-6) 当目标函数在当前解的梯度小于等于这个值以后,停止迭代(缺省值为2*10-7) Slow Progress Iteration Limit当目标函数在连续这么多次迭代没有显著改进以后,停止迭代缓慢改进的迭代次数的上限 Numerical Derivatives 数值法 导数 Analytical 解析法 (缺省值为5) 用有限差分法计算数值导数(缺省值) 用解析法计算导数(仅对只含有算术运算符的函数使用) 页 第26
Crash Initial Solution 生成初始解 Quadratic Recognition 识别二次规划 Strategies 策略 Selective Constraint Eval 有选择地检查约束 选择该选项, LINGO将用启发式方法生成初始解;否则不生成(缺省值) 选择该选项, LINGO将判别模型是否为二次规划,若是则采用二次规划算法(包含在线性规划的内点法中);否则不判别(缺省值) 选择该选项, LINGO在每次迭代时只检查必须检查的约束(如果有些约束函数在某些区域没有定义,这样做会出现错误);否则,检查所有约束(缺省值) SLP Directions 选择该选项, LINGO在每次迭代时用SLP (Successive LP,逐SLP方向 Steepest Edge 最陡边策略 次线性规划)方法寻找搜索方向(缺省值) 选择该选项, LINGO在每次迭代时将对所有可能的变量进行尝试,找到使目标值下降最多的变量进行迭代;缺省值为不使用最陡边策略 (5)Integer Pre-Solver(整数预处理求解器)选项卡 选项组 选项 含义 控制采用启发式搜索的次数(缺省值为3,可能的值为0-100). Heuristics Level 启发式方法 Min Seconds 启发式方法的目的是从分枝节点的连续解出发,搜索一个好的整数解。 每个分枝节点使用启发式搜索的最小时间(秒) 控制采用探测(Probing)技术的级别(探测能够用于混合整Probing Level 探测水平(级别) 数线性规划模型,收紧变量的上下界和约束的右端项的值)。可能的取值为: ·Solver Decides:LINGO自动决定(缺省设置) ·1-7:探测级别逐步升高。 页 第27
控制在分枝定界树中,哪些节点需要增加割(平面),可能的Application 应用节点 Constraint Cuts 取值为: ·Root Only:仅根节点增加割(平面) ·All Nodes:所有节点均增加割(平面) ·Solver Decides:LINGO自动决定(缺省设置) Relative Limit 控制生成的割(平面)的个数相对于原问题的约束个数的上限(比值),缺省值为0.75 为了寻找合适的割,最大迭代检查的次数。有两个参数: 约束的割(平相对上限 面) Max Passes 最大迭代检查的·Root:对根节点的次数(缺省值为200) 次数 Types 类型 ·Tree:对其他节点的次数(缺省值为2) 控制生成的割(平面)的策略,共有12种策略可供选择。 (如想了解细节,请参阅整数规划方面的专著) (6)Integer Solver(整数求解器)选项卡 整数预处理程序只用于整数线性规划模型(ILP模型),对连续规划和非线性模型无效。
选项组 选项 含义 控制分枝策略中优先对变量取整的方向,有三种选择: Direction Branching 分枝 Priority ·Both:LINGO自动决定(缺省设置) ·Up:向上取整优先 ·Down:向下取整优先 控制分枝策略中优先对哪些变量进行分枝,有两种选择: ·LINGO Decides:LINGO自动决定(缺省设置) ·Binary:二进制(0-1)变量优先 Absolute Integrality 绝对误差限 整性 Relative 相对误差限 当变量与整数的绝对误差小于这个值时,该变量被认为是整数。缺省值为10-6 当变量与整数的相对误差小于这个值时,该变量被认为是整数。缺省值为8*10-6 页 第28
当以前面的求解结果为基础,热启动求解程序时采用的算法,有四种可能的设置: Warm Start LP Solver 热启动 LP求解程序 ·LINGO Decides:LINGO自动选择算法(缺省设置) ·Primal Simplex:原始单纯形法 ·Dual Simplex:对偶单纯形法 ·Barrier: 障碍法 (即内点法) Cold Start 冷启动 Absolute 当不以前面的求解结果为基础,冷启动求解程序时采用的算法,有四种可能的设置:(同上,略) 当当前目标函数值与最优值的绝对误差小于这个值时,当前解目标函数的绝对被认为是最优解(也就是说:只需要搜索比当前解至少改进这误差限 Optimality 最优性 Relative 么多个单位的解)。缺省值为8*10-8 当当前目标函数值与最优值的相对误差小于这个值时,当前解目标函数的相对被认为是最优解(也就是说:只需要搜索比当前解至少改进这误差限 么多百分比的解)。缺省值为5*10-8 Time To Relative 在程序开始运行后这么多秒内,不采用相对误差限策略;此后开始采用相对误才使用相对误差限策略。缺省值为100秒。 差限的时间(秒) Hurdle 篱笆值 同上一章LINDO部分的介绍 控制如何选择节点的分枝求解,有以下选项: Node Selection Tolerances 误差限 节点选择 ·LINGO Decides: LINGO自动选择(缺省设置) ·Depth First:按深度优先 ·Worst Bound:选择具有最坏界的节点 ·Best Bound:选择具有最好的界的节点 Strong Branch 强分枝的层数 控制采用强分枝的层数。也就是说,对前这么多层的分枝,采用强分枝策略。所谓强分枝,就是在一个节点对多个变量分别尝试进行预分枝,找出其中最好的解(变量)进行实际分枝。 (7)Global Solver(全局最优求解器)选项卡 选项组 选项 含义 页 第29
Use Solver Global 选择该选项,LINGO将用全局最优求解程序求解模型,尽可能得到全局最优解(求解花费的时间可能很长);否则不使用全局最优求解程序,通常只得到局部最优解 有两个域可以控制变量上界(按绝对值): 1、 Value:设定变量的上界,缺省值为1010; 使用全局最优求解程序 Global Solver Variable Upper Bound 2、 Application列表框设置这个界的三种 应用范围: ·None: 所有变量都不使用这个上界; ·All: 所有变量都使用这个上界; ·Selected:先找到第1个局部最优解,然后对满足这个上界的变量使用这个上界(缺省设置) 有两个域可以控制变量上界(按绝对值): 全局最优求变量上界 解程序 Tolerances 误差限 1、 Optimality:只搜索比当前解至少改进这么多个单位的解(缺省值为10-6); 2、 Delta:全局最优求解程序在凸化过程中增加的约束的误差限(缺省值为10-7)。 页 第30