数学规划（数学优化）是运筹学，乃至整个管理科学的基础量化方法之一，而数学规划求解器则是运筹学的最基石性软件，是解决多种复杂优化系统问题的核心环节，扮演着决策系统中的“芯片”角色。在国计民生多个领域，特别是事关国家工业与行业命脉的多个方向上，求解器则是模型求解的必需工具，在高性能求解器软件开发的领域，之前一直是由欧美国家占据主导地位。目前，国际上目前开源和商用软件比较知名比较有影响的约有十多个，包括了Gurobi，Cplex，Xpress，Mosek，SCIP，CVX，IPOPT，SAS等。这些根据国际权威的亚利桑那州立大学（ASU）的公测平台报告指出，值得注意的求解器国际上约有10几家，但至今只有美国的Cplex，Gurobi和Xpress这三个商用求解器市场份额远远领先于其他的商业或开源求解器。

在定义了优化的目标和约束之后，我们需要对这个复杂的数学模型进行求解，所进行的运算是在“计算芯

片”里进行，这个芯片就是优化算法的一个软件集成，即数学规划求解器；

智能决策中两个经典的关键科学问题：

1.如何建模：将复杂决策问题翻译成简洁、有效的数学模型

2.如何求解：准确、快速地求解数学模型