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