内容主要包括:商业整数求解器、开元整数求解器、求解器的对比情况、其他求解器等内容。

参考链接:

【学界】运筹学数学规划|离散优化求解器大搜罗

一、需要的基础知识

1.  分支定界算法

【学界】混合整数规划/离散优化的精确算法--分支定界法及优化求解器

2. 隔平面算法

二、常规的求解器

1. 非开元

(1)IBM ILOG Cplex

网址:IBM ILOG CPLEX Optimization (Studiohttp://u6.gg/ebMWm)

支持模型:混合整数(平方)规划、Constraint programming

支持语言:C/C++、Java、Python、Matlab等

特点:支持Benders分解模块(仅此一家)、速度Top2

当前版本:12.8

(2) Gurobi

网址:The State-of-the-Art Mathematical Programming Solver(http://www.gurobi.com/)

支持模型:混合整数(平方)规划、Constraint programming

支持语言:C/C++、Java、R、Python、Matlab等

特点:速度Top1、价格最高

当前版本:8.0

(3)MOSEK

网址:The State-of-the-Art Mathematical Programming Solver(http://www.gurobi.com/)

支持模型:混合整数(平方)规划、Second-order cone programming、Semidefinite programming、General convex nonlinear

支持语言:C/C++、Java、R、Python、Matlab等

特点:解SOCOP、SDP更快

当前版本:8.1

2. 开元

 (1)SCIP

网址:SCIP

开发地:德国柏林ZIB研究中心(该中心毕业的博士就职于二中各大求解器公司,share着办公室并一起交流,得益于德国的一个政府项目)

支持:混合整数(非线性)规划、Constraint integer programming

支持语言:C/C++、Java、Python、Matlab等

特点:支持Branch&Price(仅此一家)

当前版本:6.0

 (2)CMIP-中科院

【资讯】中科院CMIP混合整数规划求解器正式发布

 (3)Leaves-杉树

杉数科技

Logo

DAMO开发者矩阵,由阿里巴巴达摩院和中国互联网协会联合发起,致力于探讨最前沿的技术趋势与应用成果,搭建高质量的交流与分享平台,推动技术创新与产业应用链接,围绕“人工智能与新型计算”构建开放共享的开发者生态。

更多推荐