整数规划.pptVIP

如果所有 都是整数，已得原问题最优解 （因为松弛问题的可行集包含原问题的可行集） 否则，取非整数 ，令 其中 为整数， 为非负小数， 为正 小数，例如 代入等式约束 可得 考虑差值 1）对于松弛问题的最优解 由于 所以 2）对原问题的任意的可行解 （整数解） 如果 ，则成立 ， 由于 又因为 是整数，一定有 是正小数， 如果 ，一定有 总结前面的讨论可知 对于差值 当前获得的松弛问题最优的基本可行解 满足 原问题的任意的可行解 满足 说明当前非基变量构成的平面方程 将当前最优的基本可行解和原问题的所有可行解分 割在 和 两个区域 根据前面的讨论，若对松弛问题增加不等式约束 那么当前不满足整数约束的最优解将被切割掉，而 原问题的所有的可行解都仍然包含在新的可行集中 形成新的松弛问题 每次增加一个不等式约束后，可以用新的不等式 约束的松弛变量做新增加的基变量，从而上一个 松弛问题的非基变量都没有改变，因此其检验数 也不改变，每次增加一个不等式约束后，可以在 上一个松弛问题的最后的单纯型表的基础上用对 偶单纯型法求解新的松弛问题 分枝定界法 例： 非负且取整数值 目标函数增加 松弛问题可行集及 最优解如右图所示 不满足整数约束 分枝 非负取整 非负取整 任何可行解都属于某枝问题的可行集 非负取整 无可行解，不再考虑 非负取整 选目标函数值大的优先分枝 非负取整 继续选目标函数值大的优先分枝 非负取整 对于下图所示可行集，已经找到最优解，最优 目标函数值等于 4 ，由此确定了该问题最优目 标函数的一个下界，如果某个分枝的松弛问题 的最优值小于这个界，由于整数最优目标值更 小，所以可断定该枝不含最优解，不用再分枝 定界 回到尚未确定最优解的一枝，如下图所示，由于 其松弛问题的最优值小于前面确定的下界 4 ，因 此可断定该枝不含最优解，因此不用再分枝，从 而确定了该整数规划问题的最优解 上述求解过程的一般步骤见教材91页 0-1变量的作用 例：用0-1变量统一互相排斥的约束条件 某工序有两种加工方式，一种方法周工时约束为 另一种方式周工时约束为 规划时可选用两种方式中的任意一种 如何将这两种互相排斥的约束条件统一在一个 规划模型中？ 定义0-1变量 如下 统一的约束条件为 其中 为充分大的正数（使约束不起作用） 一般情况，若要在下面 个约束条件中选用 个 统一的约束条件为 定义0-1变量 如下 例：用0-1变量处理固定费用 I 产品 资源量 单件可变费用 单耗量 资源 III II 固定费用 单件售价 若产量0，固定费用0，否则为定值，事先不能确定 用 分别代表三种产品的产量 定义0-1变量 如下 则生产利润为 其中 是大于 的取值上界的数 而上述 和 的关系可用以下约束描述 整数规划 数学模型 割平面法 分枝定界法 0-1变量的作用 数学模型 整数线性规划问题 纯整数线性规划：所有变量是整数变量 混合整数线性规划：同时包含整数和非整数变量 0-1型整数线性规划：整数变量只能等于0或1 部分或所有变量是整数变量 例： 有资金 ，可以投资 个项目，投资额和 收益分别为 和 ，要满足三个条件： 1）若选择项目1就必须选择项目2 2）项目3和项目4至少选一个 3）项目5、6、7中选两个 如何投资使总效益最大？ 优化变量： 条件2：项目3和项目4至少选一个，约束式？ 条件3：项目5、6、7中选两个，约束式？ 含义：若投资项目 ， ，否则 条件1：若选择项目1就必须选择项目2，约束式？ 目标函数：投资项目 的收益为 ，总收益？ 资金约束：投资项目 的投资额为 ，约束式？ 0-1型整数规划模型 条件2） 条件1） 条件3） 投资总额约束 总投资效益 整数线性规划的松弛问题 如前面的一般性整数规划问题的松弛问题为 去