整数规划方法优秀培训书.pptVIP

则该问题的数学模型为： 在整数规划中，如果变量xi仅取0或1，这时变量xi称为0—1变量，这时的整数规划称为0—1型整数规划。 例2 (含有互斥约束条件的问题)：设工序B的每周时约束条件为：0.3x1+0.5x2?150，现还有一种新的加工方式,对应约束为： 0.2x1+0.4x2?120，两种加工方式只能选一种。 更一般的，从p个约束条件中恰好选择q个，对应见右。其中，Mi可根据各xj的取值确定，亦可采用一个统一的M表示。 互斥 例3 (固定费用问题)：三种资源被用于生产三种产品，资源量、单件可变费用、售价、资源单耗量以及固定成本见右表，制定一个生产计划使总收益最大。 产品1 产品2 产品3 资源量 A 2 4 8 500 B 2 3 4 300 C 1 2 3 100 单件可变费用 4 5 6 固定费用 100 150 200 单件售价 8 10 12 对于0-1型整数规划，一般采用隐枚举法，而不必采用完全枚举法。包括: (1)只要发现某个变量组合不满足其中一个约束条件时，就不必再去检验其他约束条件是否可行。 (2)若已发现一个可行解，则可根据它的目标函数值产生一个过滤条件，对于目标函数值比它差的变量组合就不必再去检验它的可行性；在以后的求解中每当发现更好的可行解就替换原来的过滤条件。 0-1型整数规划的解法 例4: 用隐枚举法求解下列0—1型整数规划 该条件称为过滤条件 解： 先通过试探找一个可行解， 所有可能的可行解 约束条件 可行解否 Z 值 ? ? ? ? ? (0，0，0) (0，0，1) (0，1，0) (1，0，0) (0，1，1) (1，0，1) (1，1，0) (1，1，1) 0 5 -1 1 0 1 √ 5 -2 3 1 1 1 0 √ 5 3 1 5 × 8 0 2 1 1 √ 8 1 6 2 6 × 所有可能的可行解 约束条件 可行解否 Z 值 ? ? ? ? ? (0，0，0) (0，0，1) (0，1，0) (1，0，0) (0，1，1) (1，0，1) (1，1，0) (1，1，1) 0 √ 5 -1 1 0 1 √ 5 -2 3 3 8 0 2 1 1 √ 8 1 6 0 0 0 0 0 所有可能的可行解 约束条件 可行解否 Z 值 ? ? ? ? ? (1，0，1) (1，1，1) (0，1，1) (1，0，0) (0，1，1) (1，1，0) (0，0，0) (0，1，0) 8 √ 6 5 3 3 1 0 -2 0 2 1 1 8 第五节 指派问题 指派问题的标准形式及其数学模型 匈牙利解法求解指派问题 一般的指派问题 有n项任务，恰好n个人承担，第i人完成第j 项任务的花费(时间或费用等)为cij，要求确定人和事之间的一一对应的指派方案，使总花费最省？ 一、指派问题的标准形式及其数学模型 指派问题的系数矩阵如下： Cij的含义可以不同，如费用、成本、时间等。 为建立标准指派问题的数学模型，引入n×n个0-1变量： 指派问题的数学模型可写成如下形式： 若派第i人做第j事 0 若不派第i人做第j事 （ij=1，2,…，n） 第j项工作由一个人做 第i人做一项工作 指派问题的每个可行解，可用矩阵表示如下： 矩阵X中，每行各元素中只有1个元素为1,其余各元素等0；每列各元素中也只有1个元素为1,其余各元素等0 。 指派问题有n！个可行解。 例4 有一份中文说明书，需译成英、日、德、俄四种文字。分别记作E、J、G、R。现有甲、乙、丙、丁四人，他们将中文说明书翻译成不同语种的说明书所需时间如下表。问应指派何人去完成何工作，使所需总时间最少？ 指派问题的数学模型如下： 已知条件可用系数矩阵（效率矩阵）表示为： 其可行解也可用每行仅有一个1，每列也仅有一个1的矩阵表示，如： 匈牙利解法的关键是利用了指派问题最优解的如下性质： 若从指派问题的系数矩阵C的某行（或某列）各元素分别减去一个常数k，得到一个新的矩阵C’，则以C’和C 为系数矩阵的两个指派问题有相同的最优解。 （系数矩阵的变化并不影响数学模型的约束方程组，而只是目标函数值减少了常数k，所以最优解不变） 二、匈牙利法解题步骤 1955年，库恩利用匈牙利数学家康尼格的关于矩阵中独立零元素的定理，提出了解指派问题的一种算法，称为匈牙利解法。 标准指派问题是一种特殊的