整数规划的基本原理与标准形式

整数规划模型（IP）

数学规划中的变量（部分或全部）限制为整数，称为整数规划。若在线性规划模型中，变量限制为整数，则称为整数线性规划。目前所流行的求解整数规划的方法，往往只适用于整数线性规划。目前还没有一种方法能有效地求解一切整数规划。

整数规划分类

（1）变量全限制为整数时，称纯（完全）整数规划。

（2）变量部分限制为整数的，称为混合整数规划。

整数规划特点

1.原线性规划有最优解，当自变量限制为整数后，其整数规划解出现下述情况

（1）原线性规划最优解全是整数，则整数规划最优解与线性规划最优解一致。

（2）整数规划无可行解。

（3）有可行解（当然就存在最优解），但最优解值变差。

2.整数规划最优解不能按照实数最优解简单取整而获得。

纯整数规划：所有决策变量要求取非负整数（这时引进的松弛变量和剩余变量可以不要求取整数）。

全整数规划：除了所有决策变量要求取非负整数外，系数和常数也要求取整数。（这时引进的松弛变量和剩余变量也必须是整数）。

混合整数规划：只有一部分的决策变量要求取非负整数，另一部分可以取非负实数。

0-1整数规划：所有决策变量只能取0或1两个整数。

整数规划与线性规划的关系

整数规划

，x为整数

松弛的线性规划

整数规划可行解是松弛问题可行域中的整数格点；

松弛问题无可行解，则整数规划无可行解；

ILP最优值小于等于松弛问题的最优值；

松弛问题最优解满足整数要求，则该最优解为整数规划最优解