数学建模算法之整数规划汇编.pptx

整数规划 概论 整数规划的一般模型 整数规划解的求解方法 0-1规划解的模型与求解方法 蒙特卡洛法 一、概论 1.定义：数学规划中的变量（全部或部分）限制为整数时，称为整数规划。例如，所求的解是机器的台数、人数、车辆船只数等。 2.整数规划的分类 ①纯整数规划：全部决策变量都必须取整数的线性规划。 ②混合整数规划：决策变量中有一部分必须取整数，另一部分可以不取整数的线性规划 ③0-1整数规划：决策变量只能取0或1的线性规划 二、整数规划的一般模型 i=1,2,……n j=1,2……m X1,x2……xn中部分或全部取整数 例题：设某企业有n个生产车间需要m种资源，对于第i个生产车间分别利用第j种资源 进行生产,单位资源可以获得利润为 （i=1,2……n;j=1,2……m).若第j种资源的单位价格为 （j=1,2……m),该企业现有资金M元 。 试问该企业应购买多少第j种资源（总量为 ），又如何分配给所属的n个生产车间，使得总利润最大？ 解 设决策变量为 （i=1,2……n;j=1,2……m)表示分配给第i个车间第j种资源的资源量，均为非负整数，第j种资源的需求总量 (j=1,2……m)也都为整数。 问题的目标函数为总利润求 的最大值。 在这个问题中，所求解均是整数，初看起来，似乎只要把已得到的带有分数或者小数的解的经过舍入化整就可以了，实际上这常常是不行的，因为化解后不见得是可行解，或虽是可行解但不一定是最优解。这种求最优整数规划的问题就是整数规划。 整数规划解的特点： （1）原线性规划最优解全是整数，则整数规划最优解与线性规划最优解一致 （2）原线性规划有可行解但不是整数，则整数规划无可行解 例1. 原线性规划为 （3）原线性规划有可行解且存在整数，则整数规划有可行解，但最优解值变差 三、整数规划解的求解方法 1、分支定界法 2、割平面法 分支定界法 1.1分支定界法的基本思想 (A) (B) 将原问题A中整数约束去掉变为问题B，求出B的最优解 1.2分支界定法的一般步骤 1）将原整数规划问题A去掉所有的整数约束变为线性规划问题B,用线性规划的方法求解问题B: ①问题B无可行解，则A也无可行解，停止； ②问题B有最优解 ，并是A的可行解，则此解就是A的最优解，结束； ③问题B有最优解 ，但不是A的可行解，转下一步 2）将 代入目标函数，其值记为 ，并用观察法找出A的一个可行解（整数解，不妨可取 ），求的目标函数值（下界值），记为 ，则A的最优解记为 ，既有 ，转下一步 3）分枝：在问题B的最优解中任选一个不满足整数约束的变量 ，附加两个整数不等式约束： 到问题B中，构成两个新的子问题B1和B2，求B1和B2的解 定界：对每一个子问题的求解结果，找出最优值最小者为新的上界 ，从所有符合整数得约束条件的分枝中找出目标函数值最大的为新下限 4）比较与剪枝：各分支问题的最优值同 比较，如果其值小于 ，则这个分枝可以减掉，以后不再考虑。 如果其值大于 ，且又不是A的可行解，则继续分枝，返回（3），直到最后得到最优解使 ，即 为最优解 四、0-1整数规划 如果整数线性规划问题的所有决策变量 仅限于取0或1两个值，则称此问题为0-1线性规划，简称为0-1规划。 0-1规划一般模型： 1、0-1整数规划模型 2、指派（或分配）问题 在生产管理上，总希望把人员最佳分配，以发挥其最大工作效率，创造最大的价值。 例如：拟分配n人去做n项工作，每人做且仅做一项工作，若分配第i人去做第j项工作，需花费 单位时间，问应如何分配工作才能使工人花费的总时间最少？ 容易看出，只需给出矩阵C=（ ），C为指派问题的系数矩阵。 引入0-1变量 上述指派问题的数学模型为 上述指派问题的可行解可以用一个矩阵表示，其每行每列均有且只有一个元素为一，其余元素均为0. 例： 五、蒙特卡洛法—求解