数学建模社区-数学中国

标题: 0-1规划 [打印本页]
作者: 137368108    时间: 2011-8-20 15:54
标题: 0-1规划
0-1规划
& [9 ~* H9 b9 v0-1规划是决策变量仅取值0或1的一类特殊的整数规划。在处理经济管理中某些规划问题时，若决策变量采用 0-1变量即逻辑变量，可把本来需要分别各种情况加以讨论的问题统一在一个问题中讨论。
+ T3 p4 R5 t8 W　　0-1规划 / P% z. M. b: z: F2 R$ L) R
0-1 Programming/ g7 X6 {. `0 k( U
一种特殊形式的整数规划 。这种规划的决策变量仅取值0或1，故称为0-1变量或二进制变量 ，因为一个非负整数都可以用二进制记数法用若干个0-1变量表示 。0-1变量可以数量化地描述诸如开与关、取与弃、有与无等现象所反映的离散变量间的逻辑关系、顺序关系以及互斥的约束条件 ，因此0-1规划非常适合描述和解决如线路设计 、工厂选址 、生产计划安排、旅行购物、背包问题、人员安排、代码选取、可靠性等人们所关心的多种问题。实际上，凡是有界变量的整数规划都可以转化为0-1规划来处理 。由于0-1规划具有深刻的背景和广泛的应用，几十年来一直受到人们的重视。* E" t4 ]; n! j! D3 E' y
求解0-1规划的方法主要是隐枚举法（如分枝定界法）。对一些特殊问题还有一些更加有效的方法，例如对指派问题，用D.柯尼希发明的匈牙利法求解更显方便有效。
: X% f1 i1 Y/ Z  W8 Z& d: X应用范围# f4 ~1 b& h  |# u2 L
0-1规划主要用于求解互斥的计划问题、约束条件互斥问题、固定费用问题和分派问题等方面。* q5 H/ F1 _/ H1 @: V8 f
互斥计划问题$ g) F# p/ W; g- O
如确定投资项目，选定投资场所，决定投产产品等。设有几种产品，各产品投产后获得的利润为 ，投资限额为 ，规定决策变量 的取值为
0 S0 [' }2 J1 t% w; X
$ H; p6 e5 D6 a2 L则此0-1规划的数学模型为 7 p& m9 y7 J0 T. b1 m
, ~# _& O6 ~1 ^9 D
式中 表示求极大值； 表示“受约束于”； 是目标函数； 是各种产品的投资额。 " s7 ~1 k! V" O' N- A* t
约束条件互斥问题) c  W4 z* K0 R3 c1 q" A
设有 个互相排斥的约束条件（≤型） 　(i＝1，2，…，m)为了保证这m个约束条件中只有一个起作用,引入m个0-1变量yi和一个足够大的常数M，构造m＋1个约束条件* l" u! \* U& T/ v$ O
ai1x1＋ai2x2＋…＋ainxn≤bi＋yiM! X' o8 i' |( Y- w; Q9 g/ Q" {
y1＋y2＋…＋ym＝m－1
2 n3 v1 T; `0 m1 j因为m个yi中只有一个能取0值，所以只有一个约束条件能起作用。. z9 U; D, ?. v- Z* L, \
如运送两种货物，其数量分别为 x1和x2，车运时货物体积不得超过b1，船运时货物重量不得超过b2，即, G" r7 t/ @, o' h
a11x1＋a12x2≤b1 （车运），
& e  n; ~4 J6 H$ ua21x1＋a22x2≤b2 （船运）。
+ Y) j- L% H2 F- ~; b+ b若只能采用一种运送方式，这两个约束条件是互相排斥的。为了统一在一个问题中，引用0-1变量yi，设8 G# j9 p+ I/ ^& e% p
   0 ^; p0 l5 t* @7 H2 {( t- q8 r, E% J
   6 `4 E. h# O5 W8 X
把上述约束条件改造成为下面一组约束条件：
  q; M$ ]% o; l  ^a11x1＋a12x2≤b1＋y1M
) O- P( b, _5 Ta21x1＋a22x2≤b2＋y2M
6 n* t2 g0 A; j8 C+ [+ [y1＋y2＝2-1
: {  Q" L! O4 n& h" v8 [式中M是足够大的数，采用车运时y1＝0，由第1式即得到车运约束条件，采用船运时y2＝0，由第2式即得到船运约束条件。因此上述互相排斥的约束条件被一组联立约束条件所代替。1 c2 r' E8 T8 Y9 b. h1 _
固定费用问题" y" R0 o7 C3 Z7 N4 K3 a
采用一般线性规划不能解决固定费用问题，需要用0-1规划。设有n种生产方式可供选择，xi为采用第i种方式时的产量,ci为采用第i种方式时每件产品的变动成本，ki为采用第 i种方式时的固定成本，采用各种生产方式的总成本分别为
, ?' F% `! g, I. P; v   
* n1 A* [* w9 F. [& ]) s; N" g(i＝1,2,…,n) ( n) Z: c4 ]' ]  r
在构成目标函数时，为了统一在一个问题中讨论，引入0-1变量yi，即( J. h' h* g. u. c- {8 @$ Y
则此0-1规划的数学模型为
3 P$ g1 c4 n! ~- V   
7 f. U" A( A: m2 L   0 Z, g6 y1 ^- v0 b
式中min表示求极小值，M是充分大的常数。 - P7 X+ `! r: N( ~5 L( ?; q
分派问题
+ L5 q$ F# f* X0 d7 `( s+ j由几个人去完成几项任务，但由于任务性质和各人专长不同，应分派哪个人去完成哪项任务，以使总效率最高或耗费的总时间最小，这类问题称为分派问题，又称指派问题。
7 @" j7 U( A. z2 E8 j- r分派问题必须给出系数矩阵（又称效率矩阵），矩阵的元素 cij(>0)(i，j＝1，2，…，n)表示派第i人去完成第j项任务时的效率（或时间、成本等）。引用0-1变量xij，设
# L7 F* A) E  X. }9 e   ' g# l2 R; v+ q+ v( z
分派问题的数学模型为 2 s) [+ R& ^7 E6 h3 U& c: p
   
. X/ \- ^7 c2 z6 a# m; l   
' g0 {0 g- |# }; N! C! {3 p第1个约束条件说明第j项任务只能由1人去完成，第2个约束条件说明第i人只能完成1项任务。分派问题的解可写成矩阵形式(xij)，其各行各列的元素之和都是1。 6 M  K0 O! f1 `' }2 _
隐枚举法
4 H, `$ k! d7 v$ y+ X0-1规划问题一般有三种解法,即变换法、穷举法和隐枚举法。上述方法即为变换法，用于解特殊的0-1规划问题。穷举法就是检查变量取值为0或 1的每一种组合，比较目标函数值来求最优解，这就需要检查变量取值的2n个组合。对于n>10的情况，这几乎是办不到的。因此常设计一些方法，只检查变量取值组合的一部分，就能得到问题的最优解。这样的方法称为隐枚举法。0 G+ S- u, J' ^# l/ j5 t
采用隐枚举法解 0-1规划问题时要根据目标函数的性质增加一个相应的不等式作为附加约束条件，称为过滤条件，以减少运算次数。一般还要按目标函数中xi的系数递增的顺序，重新排列目标函数和约束条件中xi的次序，以简化计算。
- T6 {+ M5 u5 y* ]
% {( Q* }; f/ A- f( V' P; T+ v- c
作者: china19901015    时间: 2011-8-20 21:24
hehe~~



欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5