LocalSolver是一款结合了局部搜索技术的数学规划求解器，能够处理大规模、混合变量的优化问题。它强调在每次迭代中保持解的可行性，并通过分析模型结构来构造移动。LocalSolver的优势在于其易于建模、快速提供高质量可行解以及对大型问题的良好处理能力，相较于传统MIP求解器，其采用的局部搜索方法更具优势。
LocalSolver-全领域、超大规模混合变量数学规划介绍
“由于数学建模是主人，计算是仆人，任何计算方法都不应假定有自己的求解器。这意味着世界上本没有CP求解器，没有MIP求解器，也没有SAT求解器。
所有这些技术都应该在单个系统中可用，以解决手头的模型。它们应该能够利用问题结构无缝地结合起来。随着问题的扩大，精确的方法应该优雅地演变成不精确的和启发式方法。”
【John N. Hooker(2007)“约束规划未来之好与坏(和运筹学)”约束规划手札1，第21-32页】
混合整数线性规划（MILP）
混合整数线性规划(MILP)无疑是运筹学中最强大的工具之一。它的易用性在以下方面吸引着专业人士:
•用户将问题建模为一个简单而通用的整数线性程序
•MIP引擎使用分支&界定&切割方法求解此程序
这种“建模和运行”的方法，当有效时，它大大减少了优化软件的开发和维护难度，而其他基于树搜索的技术，如约束规划(CP)正在效仿它。
面对大规模、非线性优化问题等情况，OR从业者经常发现MIP或CP解决方案是无效的。
混合整数规划技术 (B&B, B&C, BCP等方法):
•设计用于证明最优性和不满足性
•不是为了寻找可行的解决
最低0.47元/天 解锁文章
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
