第二章-整数规划.docVIP

第二章整数规划

整数规划模型介绍

规划中的变量〔局部或全部〕限制为整数时，称为整数规划。假设在线性规划模型中，变量限制为整数，那么称为整数线性规划。对于整数线性规划模型大致可分为三类：

〔1〕变量全限制为整数时，称纯〔完全〕整数线性规划。

〔2〕变量局部限制为整数的，称混合整数线性规划。

〔3〕变量只能取0或1时，称之为0-1线性规划。

整数线性规划特点

〔=1\*romani〕原线性规划有最优解，当自变量限制为整数后，其整数规划解会出现下述情况：

〔1〕原线性规划最优解全是整数，那么整数线性规划最优解与线性规划最优解一致。

〔2〕整数线性规划无可行解。

〔3〕有可行解〔当然就存在最优解〕，但最优解值一定不会优于原线性规划的最优值。

〔=2\*romanii〕整数规划最优解不能按照实数最优解简单取整而获得。

二、整数规划的求解法之一〔分枝定界法〕

2.1分枝定界法的思想

对有约束条件的最优化问题〔其可行解为有限数〕的可行解空间恰当地进行系统搜索，这就是分枝与定界内容。通常，把全部可行解空间反复地分割为越来越小的子集，称为分枝；并且对每个子集内的解集计算一个目标上(下)界〔对于最大(小)值问题〕，这称为定界。在每次分枝后，但凡界限不优于可行解集目标值的那些子集不再进一步分枝，这样，许多子集可不予考虑，这称剪枝。这就是分枝定界法的主要思路。现用下例来说明：