Mixed-Integer Program问题总结

 MIP是什么

混合整数规划 (MIP) 问题可同时包含整数和连续变量。 如果该问题包含不带二次项的目标函数（线性目标），那么称为混合整数线性规划 (MILP)。

整数规划相对混合整数规划相对简单，整数规划不含连续变量，其中一种常见特例就是0-1整数规划问题，0-1整数规划（中的涉及到的变量只能为0或1。而任何有界整数变量都可以表示为二进制变量的组合。例如整数可以用个二值变量表示，因此整数规划都可以等价为0-1整数规划。

MIP问题实例：

常见MIP求解器

Lingo：由美国LINDO系统公司（Lindo System Inc.）推出的，可以用于求解非线性规划，也可以用于一些线性和非线性方程组的求解等

COPT：COPT（Cardinal Optimizer）是杉数自主研发的针对大规模优化问题的高效数学规划求解器套件

CPLEX： IBM公司的商业软件，为线性规划、混合整数规划、二次规划和二次约束编程问题提供灵活的高性能数学规划求解器

SCIP：开源混合整数规划(MILP)框架，支持自定义搜索树中的各个模块

Deepmind：”Use Neural Networks to Solve Mixed Integer Programs“，论文中号称超越了SCIP7.0.1