运筹学笔记 整数规划

在前面讨论的线性规划问题中，最优解可能是整数，也可能不是整数，但对于某些实际问题，要求答案必须是整数。如所求的解是安排上班的人数，按某个方案剪裁钢材的根数，生产机器的台数等。
整数规划是一类要求变量取整数值的数学规划。

1 整数规划问题的提出

所谓整数规划（Integer Programming，简称IP）：
决策变量要求取整数的线性规划

数学模型：

整数规划问题可以分为下列几种类型：
1 . 纯（全）整数线性规划（Pure Integer Linear Programming):指全部决策变量都必须取整数的整数线性规划。
2 . 混合整数线性规划 （Mixed Integer Linear Programming): 指决策变量中有一部分必须取整数，另一部分可以不取整数值的整数线性规划。
3 . 0-1整数规划（0-1 Integer Linear Programming）：指决策变量只能取值0、1的整数线性规划。

2 整数规划与分支定界法

分支定界法可用于解纯整数或混合的整数线性规划问题
混合整数规划问题一般有无穷多个可行解。即使是纯整数规划问题，随着问题规模的扩大，其可行解的数目也将急剧增加。因此通过枚举全部可行解，并从中筛选出最优解的算法没有实际应用价值。
分支定界法是一种隐枚举法（implicit enumeration)或部分枚举法，是枚举法基础上的改进。
分支定界法的关键是分支和定界

原问题的松驰问题：任何整数规划（IP），凡放弃某些约束条件（如整数要求）后，所得到的问题（P） 称为（IP）的松驰问题。