运筹优化算法常用求解器

运筹学从形成到发展，在此过程中积累的大量理论和方法在国防、能源、制造、交通、金融、通信等各个领域发挥着越来越重要的作用。我们在生产生活中遇到的很多实际问题，都可以通过运筹学所涉及的优化方法对其进行数学建模，表示为数学问题，而为了解决这些数学问题，求解器应运而生。

目前市面上的主流优化求解器主要分为商用求解器（比如Gurobi、IBM Cplex等）、开源求解器（比如SCIP等）两大类。此外还有一些商业计算软件比如Matlab，甚至是常用的Excel表格中都包含有求解器工具，可以求解部分规模较小的数学规划问题，不过求解效率和商用求解器相比还是有一定差距。

Gurobi是由美国 Gurobi Optimization 公司开发新一代大规模求解器。在全球最著名的专业求解器评比网站 Decision Tree for Optimization Software (http://plato.asu.edu/bench.html) 中，Gurobi 展示出更快的求解速度和精度。Gurobi 全球用户超过2600家，广泛应用在金融、物流、制造、航空、石油石化、商业服务等多个领域。

技术优势：

• 可以求解大规模线性问题，二次型问题和混合整数线性和二次型问题
• 支持非凸目标和非凸约束的二次优化
• 支持多目标优化
• 支持包括SUM, MAX, MIN, AND, OR等广义约束和逻辑约束
• 支持包括高阶多项式、指数、三角函数等的广义函数约束
• 问题尺度只受限制于计算机内存容量，不对变量数量和约束数量有限制
• 采用最新优化技术，充分利用多核处理器优势。支持并行计算
• 提供了方便轻巧的接口，支持 C++, Java, Python, .Net, Matlab 和R，内存消耗少
• 支持多种平台，包括 Windows, Linux, Mac OS X

支持模型：

• 连续和混合整数线性问题
• 凸目标或约束连续和混合整数二次问题
• 非凸目标或约束连续和混合整数二次问题
• 含有对数、指数、三角函数、高阶多项式目标或约束，以及任何形式的分段约束的非线性问题
• 含有绝对值、最大值、最小值、逻辑与或非目标或约束的非线性问题

支持接口语言： C++, Java, Python, .Net, Matlab 和R

CPLEX历史悠久，最初版本在1988年就被开发出来，1997年被ILOG公司收购，2009年纳入IBM怀抱，如今已发展成为IBM决策优化系统IBM ILOG CPLEX Optimization Studio(简称COS)。作为COS系统中的关键组件，CPLEX Optimizer 为线性规划、混合整数规划、二次规划和二次约束规划问题提供灵活的高性能数学规划求解器。 这些求解器包括用于混合整数规划的分布式并行算法，支持利用多台计算机来解决难题。

支持模型：

• 专门用于求解大规模的线性规划（LP）
• 二次规划（QP）
• 带约束的二次规划（QCQP）
• 二阶锥规划（SOCP）等四类基本问题
• 以及相应的混合整数规划（MIP）问题。

支持接口语言： C, C++, Java, C# or Python APIs

管网：https://www.fico.com/en/products/fico-xpress-optimization
Xpress 于 1983 年发布，是第一个在PC上运行的商业LP和MIP求解器。1992年，发布了并行计算的Xpress版本，五年后扩展到分布式计算。2008 年被FICO收购。Xpress 是第一个通过在 2010 年引入 64 位索引而跨越十亿决策变量阈值的 MIP 求解器。自 2014 年以来，Xpress 首次实现了并行对偶单纯形方法的商业实现。Xpress 包括其建模语言 Xpress Mosel和集成开发环境 Xpress Workbench。Mosel 包含分布式计算功能，可并行解决优化问题的多个场景。输入数据的不确定性可以通过稳健的优化方法来处理。
支持接口语言：.NET、Java、C、C++、VB、Python、Matlab、Solver API、Mosel API、BCL

LINGO是Linear Interactive and General Optimizer的缩写，即“交互式的线性和通用优化求解器”，由美国LINDO系统公司（Lindo System Inc.）推出的专门用于求解最优化问题的软件包。其特色在于内置建模语言，提供许多常用函数方便使用者建立优化模型时调用，并提供与其他数据文件（如文本、EXCEL、数据库等）的接口，易于方便地输入、求解和分析大规模最优化问题。

杉数求解器COPT(Cardinal Optimizer)，是杉数自主研发的针对大规模优化问题的高效数学规划求解器套件，也是支撑杉数端到端供应链平台的核心组件。COPT是目前同时具备大规模混合整数规划、线性规划（单纯形法和内点法）、二阶锥规划、半定规划以及凸二次规划和凸二次约束规划问题求解能力的综合性能数学规划求解器，为企业应对高性能求解的需求提供了更多选择。
支持接口语言：C、C++、C#、Python、Julia、Java、AMPL、GAMS、Pyomo、PuLP、CVXPY等。

MindOpt是阿里达摩院决策智能实验室自主研发的一款具备线性规划等多种功能的数学规划求解器套件。通过对大规模线性规划的快速稳定求解，为客户提供从数据到决策的全链路建模和求解能力。目前已应用于云计算等多项阿里业务，通过对弹性计算资源的调度优化，每年可为阿里云节约数亿元成本。

天筹(OptVerse)AI求解器将运筹学和AI相结合，突破业界运筹优化极限，针对线性和整数模型寻找最优解，以通用形式描述问题，高效计算最优方案，助力企业量化决策和精细化运营，提升资源利用率和运转效率，增强决策水平和竞争力。

天筹(OptVerse)AI求解器已成功支撑华为供应能力及冗余分析等13个场景的模拟应用，计划预案周期从周缩短到天，保障了高效的连续性作战。

SCIP是目前混合整数规划（MIP）和混合整数非线性规划（MINLP）最快的非商业求解器之一。SCIP也是一个用于约束整数规划、分支定界以及分支定价的框架[CCZ1] ，主要由德国ZIB研究所开发。与大多数商业求解器不同，SCIP 允许用户对求解过程进行完全控制，并允许用户访问求解器内部的详细信息。

官网：https://developers.google.cn/op
OR-Tools是一款谷歌旗下的开源优化工具。支持线性规划、整数规划，可以方便的求解Routing、Bin packing、Network flows、Assignment、Scheduling等问题。

COIN-OR (Computational Infrastructure for Operations Research) 是运筹和优化圈维护开源基础软件和项目的著名基金会，是一个公益组织，维护着市面上几乎所有的开源优化求解器，包括cbc, clp, ipopt, pyomo等数十种求解器和建模语言，并且使得它们之间的交互变得可能。可以说 COIN-OR 在开源求解器方面占有举足轻重的位置。目前所有项目都托管在 GitHub 上（https://github.com/coin-or），仅一些原有的基础设施（网站、wiki 和邮件列表）仍然托管在 Clemson 大学的服务器上。

COIN-OR 项目维护的诸多开源求解器和建模工具现在仍被全球数千个组织使用，其中值得注意的是Cbc、Clp、Ipopt这三个求解器在各自的领域中仍然处于十分领先的地位(线性规划、混合整数规划和非线性规划)。

LP_solve是一个混合整数线性规划（MILP）求解器，来自sourceforge下的一个开源项目，是一个基于修正单纯形法和分支定界法的免费线性（整数）规划求解器，能够求解纯线性、（混合）整数/二进制、半连续和特殊有序集（SOS）模型。
支持模型：纯线性、（混合）整数/二进制、半连续和特殊有序集（SOS）模型
支持接口语言：C/C++、Java、Delphi、Free Pascal、VB、VBScript、http://VB.NET、C#.NET
官网：https://lpsolve.sourceforge.net/5.5/

GLPK (GNU Linear Programming Kit，GNU线性编程工具)是GNU下的一个项目，用于建立大规模线性规划LP和混合型整数规划MIP问题，并对模型进行最优化求解。由于是GNU下的项目，因此没有商业非商业的版本限制，可以自由使用。
官网：https://www.gnu.org/software/glpk/g

著名陈省身数学奖获得者、冯康科学计算奖获得者、中国科学院数学与系统科学院戴彧虹研究员带领CMIP团队从2015年开始，历经30个月，终于自主研发了我国第一个具有国际水平的整数规划求解器CMIP，并于2018年3月确定版本为CMIP 1.0版本。

CMIP代码总量已经超过五万行，涵盖国际现有求解器预处理、启发式、割平面、分支、节点选择、区域传播等各种功能模块，并已经较好地具备了求解大规模整数规划的能力。