兰州大学《运筹学》精品课件：cha-6-整数线性规划.pptVIP

课堂讨论（整数线性规划） 位距/Km 卸点 含 量/% 各点可供量/万吨 各点装一车时间/分钟 B1 B2 B3 铲位 A1 1 0.8 0.9 35 3.6 5 A2 0.85 1.2 0.7 24 A3 1.4 0.8 0.65 28 A4 0.8 0.7 1.2 33 A5 0.9 1.1 1.05 29 需求量/万吨 1.2 1.12 1.36 ? ? ? 各点卸一车时间/分钟 3 ? ? ? 表1 矿山基本情况 思考题： 特殊约束条件的处理 1. 互斥约束——矛盾约束 在建立数学模型时，有时会遇到相互矛盾的约束条件，模型只要求其中的一个约束条件起作用。 引入一个整数变量来处理 -f(x)+5 ? M（1-y) (3) f(x) ? My (4) M是足够大的整数，y 是 0-1变量 例如下面两个约束条件是矛盾的： f(x)-5 ? 0 (1) f(x) ? 0 (2) 当y=1时，(1) (3)式无差别， (4) 式显然成立; 当y=0时，(2) (4)式无差别， (3) 式显然成立。 以上方法可以处理绝对值形式的约束： | f(x) | ? a (a0) 此时 f(x) ? a (5) f(x) ? -a (6) 是矛盾约束。 引入一个整数变量来处理 -f(x)+a ? M（1-y) f(x)+a ? My M是足够大整数，y 是0-1变量 注意：对 |f(x)| ? a (a0) 不必引入0-1变量，因为f(x) ? a和f(x) ? -a并不矛盾。 两个约束条件 2x1+3x2 ? 8 x1+ x2 ? 2 只能有一个成立，试用0-1变量来表示这个要求。 课堂讨论题 显然，当y=0时, x1+ x2 ? 2 成立， 而 2x1+3x2 ? 8-M 自然成立，从而是多余的； 当y=1时, 2x1+3x2 ? 8 成立， 而 x1+ x2 ? 2+M 自然成立，从而是多余的。 解：引入0-1变量y和足够大正数M，则 8-2x1-3x2 ? M（1-y) x1+ x2 - 2 ? M y 例如：在下列n个约束条件 fi (x) ? 0 （ i=1, 2, …, n） 中，只能有一个约束条件有效，如何表示？ 2. 互斥约束——多中选一的约束 例如：在下列n个约束条件 fi (x) ? 0 （ i=1, 2, …, n） 中，只能有一个约束条件有效，如何表示？ 引入 n个0-1变量 yi（ i=1, 2, …, n），则上式可改写为： fi(x) ? M (1 – yi ) y1+ y2 + … + yn=1 如果希望有k个约束有效，则： fi(x) ? M(1-yi), y1+ y2 + … + yn= k 如果希望至多有k个约束成立，则： fi(x) ? M(1-yi), y1+ y2 + … + yn ? k 如果希望至少有k个约束成立，则： fi(x) ? M(1-yi), y1+ y2 + … + yn ? k 比较典型的逻辑关系是 if-then关系，也称if-then约束，这类逻辑关系一般涉及两个约束条件，如果第一个约束条件成立，则第二个约束条件也必须成立，否则，如果第一个约束条件不成立，则第二个约束条件也可以不成立。 3. 逻辑关系约束 例如：如果f (x)0成立，则g (x) ? 0必须成立；如果f (x)0不成立，则对g (x)无限制。 引入0-1变量 y： f (x) ? -M(1-y) (1) g (x) ? My 如果f (x) 0成立，则 y 不能为1，否则与(1)矛盾。所以 y=0，则g (x) ? 0 成立。 如果 f (x) ? 0（即f (x) 0不成立），则y的取