
作者:运筹OR帷幄
编者按
4月8日,SCIP Optimization Suite 7.0发布。作为混合整数规划(MIP)领域非常成熟的一款开源求解器,SCIP有什么样的特点,SCIP 7.0 版本又有什么不同?快随小编一起来看看吧!
SCIP是什么?
根据官网给出的介绍,SCIP是当前混合整数规划(MIP)和混合整数非线性规划(MINLP)最快的非商业求解器之一。它也可以作为约束整数规划、branch-cut-and-price算法的框架。在求解整数规划和约束规划中所用到的相似技术是,问题被依次划分为较小的子问题(分支),这些子问题可以递归求解。不同之处在于,整数规划利用LP松弛和割平面法来给出对偶边界,而约束规划则可以处理任意(非线性)约束并使用propagation来缩小变量范围。
而SCIP Optimization Suite是用于生成和求解混合整数非线性规划的工具箱。它由以下部分组成:
-SCIP 混合整数规划求解器和约束规划框架
-SoPlex 线性规划求解器
-ZIMPL 数学编程语言
-UG 混合整数规划的并行框架
-GCG 通用branch-cut-and-price求解器
用户可以使用建模语言ZIMPL轻松生成线性、混合整数和混合整数二次约束规划。生成的模型可以直接加载到SCIP中并求解。在求解过程中,SCIP可以使用SoPlex作为基础的LP求解器。
标重点!强大的SCIP拥有以下特色
● 开源以上所有五个组件都可以在源代码中获取
● 非商业 可以免费供学术使用
● 支持branch-cut-and-price算法的框架 求解LP和MIP都超实用的工具
因此它们是进行学术研究和混合整数规划教学的理想工具!
SCIP特点&使用场景
● 用于LP、MIP、MINLP的非常快速的独立求解器
● 支持的编程环境有:C/C++、Java、Python、MATLAB、AMPL、GAMS等
● 作为开源的LP求解器,它支持: CPLEX、Gurobi、XPress、Mosek、SoPlex、QSopt、CLP
● 作为多种用户插件, 具有高度灵活性
SCIP 7.0版本
Optimization Suite 7.0由SCIP 7.0,SoPlex 5.0,ZIMPL 3.3.9,UG 0.8.9,GCG 3.0.3和PaPILO 1.0组成。其新功能包括:
-第一版PaPILO,一个用于整数线性优化的并行Presolve库
-搜索树大小估计方法,以预测搜索进度并触发重新启动
-SCIP的Benders分解的扩展,以处理凸MINLP子问题
-用于存储分解信息的数据结构,用于原始启发式和Benders分解
-对SCIP对称处理方法的修订,允许将多面体方法与轨道固定相结合,并进行了许多进一步的改进和添加,从而显着提高了MIP和MINLP的速度
更多详细内容和下载地址请见官网 http://scip.zib.de/。如果想了解更多关于优化求解器的介绍请见文末推荐阅读。
