-18-
340,2,4:
112111
=== zxxB
327.14,00.3x1.43,:
122112
=== zxB
再定界:
341340
*
≤≤ z
,并将
12
B
剪枝。
(iv)对问题
2
B
再进行分枝得问题
21
B
和
22
B
,它们的最优解为
083,00.1x5.44,:
222121
=== zxB
22
B
无可行解。
将
2221
,BB
剪枝。
于是可以断定原问题的最优解为:
340,2,4
*
21
===
zxx
从以上解题过程可得用分枝定界法求解整数规划(最大化)问题的步骤为:
开始,将要求解的整数规划问题称为问题
,将与它相应的线性规划问题称为问
题
。
(i)解问题
可能得到以下情况之一:
(a)
没有可行解,这时
A
也没有可行解,则停止.
(b)
有最优解,并符合问题
A
的整数条件,
的最优解即为
A
的最优解,则
停止。
(c)
有最优解,但不符合问题
A
的整数条件,记它的目标函数值为
z
。
(ii)用观察法找问题
A
的一个整数可行解,一般可取
njx
j
,,1,0 L==
,试探,
求得其目标函数值,并记作
z
。以
*
z
表示问题
A
的最优目标函数值;这时有
zzz ≤≤
*
进行迭代。
第一步:分枝,在
的最优解中任选一个不符合整数条件的变量
j
x
,其值为
j
b
,
以
][
j
b
表示小于
j
b
的最大整数。构造两个约束条件
][
jj
bx ≤
和
1][ +≥
jj
bx
将这两个约束条件,分别加入问题
,求两个后继规划问题
1
B
和
2
B
。不考虑整数条件
求解这两个后继问题。
定界,以每个后继问题为一分枝标明求解的结果,与其它问题的解的结果中,找出
最优目标函数值最大者作为新的上界
z
。从已符合整数条件的各分支中,找出目标函数
值为最大者作为新的下界
z
,若无作用
z
不变。
第二步:比较与剪枝,各分枝的最优目标函数中若有小于
z
者,则剪掉这枝,即
以后不再考虑了。若大于
z
,且不符合整数条件,则重复第一步骤。一直到最后得到
zz =
*
为止。得最优整数解
njx
j
,,1,
*
L=
。
§3
10 −
型整数规划
10 −
型整数规划是整数规划中的特殊情形,它的变量
j
x
仅取值 0 或 1。这 时
j
x
称
为
10 −
变量,或称二进制变量。
j
x
仅取值 0 或 1 这个条件可由下述约束条件:
10 ≤≤
j
x
,整数
博奥数学协会内部资料
禁止拷贝