- 在线时间
- 514 小时
- 最后登录
- 2023-12-1
- 注册时间
- 2018-7-17
- 听众数
- 15
- 收听数
- 0
- 能力
- 0 分
- 体力
- 39419 点
- 威望
- 0 点
- 阅读权限
- 255
- 积分
- 12521
- 相册
- 0
- 日志
- 0
- 记录
- 0
- 帖子
- 1388
- 主题
- 1158
- 精华
- 0
- 分享
- 0
- 好友
- 15
TA的每日心情 | 开心 2023-7-31 10:17 |
---|
签到天数: 198 天 [LV.7]常住居民III
- 自我介绍
- 数学中国浅夏
|
线性规划简介
2 u- o- Q% g, }3 f4 V4 _7 N线性规划(Linear Programming, LP),是运筹学中研究较早、发展较快、应用广泛、方法较成熟的一个重要分支,它是辅助人们进行科学管理的一种数学方法。研究线性约束条件下线性目标函数的极值问题的数学理论和方法。英文缩写LP。它是运筹学的一个重要分支,广泛应用于军事作战、经济分析、经营管理和工程技术等方面。为合理地利用有限的人力、物力、财力等资源作出的最优决策,提供科学的依据。(来自百度百科)
6 p' g N4 V' f( H$ G) V
7 n; d8 l. R: } V. o. g$ B: m
3 n- a$ m. k; [/ C( u" g线性规划问题: m# o# O+ r# {) @
在一般的线性规划问题中,我们希望优化一个满足一组线性不等式约束的线性函数。一直一组实数 ,对应的一组变量。定义关于这些变量的一个线性函数:
# [* E* P4 `* F8 Y& Z# f
$ u# Y* h; J8 C- @" w
3 ^% X3 [# a/ }/ n那么等式和不等式 以及 都称为”线性约束”。并且不久之后我们即将看到,我们可以把两种不等式的约束形式统一为 这种形式,然而之后在运行解决线性规划的单纯形法时又会将它变成等价的 形式。: a7 o/ |7 w# ^: g* h
) {! x1 s3 D2 I7 N) \, M& W
b, E; c. \4 n$ s$ p% O描述线性规划问题:, E- @9 m$ D+ \9 k. t9 V6 w
线性规划问题的标准型:
* g/ S3 g1 g; t* s7 G4 @7 G( m如果我们已知n个实数与m个实数,以及n*m个实数,我们希望找到n个实数
4 E# [. i, x# |
; }* J% Q- f5 w- K" J# x3 K+ z) H; o' ^) Z% Z n, j; Y, Y
最大化 {) n: y# H( v' ~
, u3 s o5 M( C5 h
3 g* p6 T) y2 i% [/ x% x' i4 Q* A3 f满足约束4 } m) j- b4 w }8 _7 w% A
- K1 a9 k7 w9 X6 [7 K2 D% B. F( }9 W$ S
6 c! l2 |( \. r1 C
2 f+ p- u) n4 P) ^0 E ? |
% s2 J; `. h' A+ p4 T
或者将分别将和和表示成向量b, c, x,构造m行n列矩阵。那么标准型也可以写作:8 q8 _3 T* e3 f; C4 L
5 y2 G2 L0 N0 b
5 s1 u' w' U3 B5 i8 d5 } A最大化 ! k$ r1 C! W% l( L. J& w
b% h' V+ `' G# f
k) B8 p0 q' w9 v" q' T9 \满足约束$ c4 n) v/ \) X# B7 V0 t& G+ R
9 M9 A$ j# S6 O+ ^& A0 e: C
3 J+ _, m, i5 c1 o# q5 T U
; L2 d# h8 L& T
& q$ r& W3 O& d注意到,标准型里面目标函数的目标是最大化,所有变量都具有非负约束,除了非负约束外的约束都是具有 <= 符号的非严格不等式。对于不满足标准型形式的线性规划,我们可以想办法将它转化为标准型:
' \! ~7 u) J0 q( q8 m1 G
6 ^4 g7 P- w1 T% y) Y' \
9 G+ B# ^- Y" F! e& r9 ~. q问题1:目标函数的目标并非最大化,而是最小化。
. r4 G* v& h! C, e- X取负即可。也就是最小化 等价于最大化 0 u! ?, t9 _6 g( _6 F$ u
( ^1 \ H6 A( ~8 t5 m0 v$ n: v% _, w
问题2:一些变量不具有非负约束* F3 ^& }' Q4 _5 R) j: c
对于不具有非负约束的变量,把每次出现的地方都替换为适当的 Q$ E. U' [: j9 F* F% G l
" Q0 X+ K) a& f% X+ V
: s# @. q R/ g) g* o/ m问题3:大于等于约束和等式约束: g! K* \5 L" R. G' f9 c6 \1 R1 p' n; j
大于等于约束两边同时取负即可。即 等价于 O# M0 w% k1 X, }* }) i3 b& V0 n, X4 e; j
. {* ]9 I8 p' T9 L* x T9 \
* t: B# M" J* {( \( U8 T等式约束拆成两个不等式约束。对于 等价于 且 , }/ l' ]% v9 s) u
2 x9 a) i8 F y: \( `& V5 D6 b9 J' |
6 {- M& e7 W M: s描述线性规划问题的松弛型; M6 R1 v7 D; S( o0 h
为了利用单纯形算法高效地求解线性规划,我们更喜欢把其中的除非负约束外的约束转换成等式约束。
5 s# F8 m8 \/ {5 A* }" U5 Y& ?' P' V9 \& u3 m& l6 a1 x7 Q; ^
# I- Y; V, q2 n9 l4 }2 ~
对于一个约束 引入一个松弛变量s,约束即可写作:* n. b* S: p& h% W8 d
1 a0 J5 p% |$ ?* t# f' |& ?. n! V5 G: }# C5 s0 D
一般地,为了方便常会用 作为第i个约束条件的松弛变量。因此第i约束条件就可以写作:
) ?5 Q) j' |0 v7 X用一个例子来说明上述描述线性规划问题的方法: U" V$ o8 Z) d1 M* J
最小化
4 l+ y9 c& h2 a. c% u" Y满足约束条件
' `3 Y/ U1 N9 ?" v! i! E) g" o
4 S( x! j- S; \0 j 0 l4 J2 ~* [8 T; J; }1 x/ ]# E5 g8 i
最小化目标转变成最大化:/ K8 R. j: E; s1 x @+ p Z# C5 j
最大化 1 k9 I: }7 w$ j6 L0 R3 L3 j
满足约束条件/ P$ X( f' o0 _: \' _
2 T0 ?2 Y4 o3 K) t3 E
0 R# ? v8 z* S% f% E S1 V$ P
等式约束
9 d% V% V" Y+ b0 _( Z/ A2 O拆开等式约束:% ]' \2 j" u a* ~9 E7 ]. s3 I
最大化
& p! l$ d) |8 D" l7 M满足约束条件
* F' n/ m& g. N( c8 Y# h. \ n 8 G0 T5 J( y2 [' e% [5 J
$ V3 n* e9 e$ H7 i
) Y. u: s% L- e: E ~3 h, |增加非负约束 ; I0 ]4 e* O, p2 {, O
替换为,添加对的非负约束,得到
9 H% ?( U* g- ?4 N最大化 & M5 [( g- w5 T3 Q, K M
满足约束条件
/ s' Y. g" @' q
9 v4 M5 d' W6 f! v
, k1 l9 S! o: p$ V
/ ?" e/ N: G1 b' |! C" H 8 X! Q7 x& T% n s( q+ w% @# @
# O; q9 `1 c4 I6 g2 Z1 ~, G/ ^0 D, b& {
/ ]8 D' b9 x# k/ D" n
标准型到松弛型
( L: s0 a' ?; J$ U* i) V除了非负约束外,有3个约束条件,于是增加松弛变量+ B8 w. G2 h5 }
5 F2 J5 [7 c1 _; W2 q9 ]! K. ?1 s4 I, J3 v; a4 t @* I6 u+ y
最大化 ( D# @1 d1 r$ R$ }1 M o" [
- o4 X8 w$ {9 Q6 m, o
3 i/ Z& T$ U, z: M& R8 i+ M满足约束条件
5 ^; w, {9 G2 m9 V
9 t/ }5 u3 s: w& ?' e5 d
, c& |/ P K' f& ]# t
% V; I8 l) u$ \+ V- n) S" u& e1 e % v) P3 Q0 Q! u# P
* O5 a) h! v" o
2 y" `% P, E, n' h( u# m
思考:如果原先有一个等式约束,直接把它写到松弛型里面,与将它转变成标准型,再变成松弛型(这样就比前者多了一个约束条件),问题是否等价?(提示:考虑后者引入的松弛变量s1 = s2 = 0)* J1 o- Z8 X9 T- W
' g) Z7 c. `* b: _, W0 N
' r+ v9 H! y6 \9 }3 e. D5 [解决线性规划问题的单纯形法:+ x2 \8 Z6 y7 ^
单纯形算法是求解线性规划的经典算法,它再最坏情况瞎执行时间并不是多项式级别的,但是在实际的应用中,它总是相当快速。
7 P r' E( T e+ ]5 i7 N0 _; w+ _1 W* n: n
$ {/ }& M' y- _" P$ I: e4 D个人理解:
( O2 f4 j9 ?8 J0 k* b/ V
l& ~6 ?" ^% n1 q* [0 {& \- s9 k6 ^) ]; f, r) T
单纯形法接受一个松弛型的输入,每轮迭代尝试将松弛型L转变为一个等价的松弛型L’,直到转变成一种”易于求解的松弛型”,得到结果。这就类似化三角法求行列式值。
/ G- b8 M' E6 f. P
& B$ U" l: C) T# N0 k, B4 [+ a# k5 O9 ]
什么是”易于求解的松弛型”呢?如果目标函数具有
! ~1 ]& O& U9 {# j; D2 T" C2 H# U
I. ?' o" I( A! e9 ]) V, s. l2 S$ \( V' u( b, B
这样的形式,由于变量具有非负约束,因此z的最大值即为常数C。如果我们能把一般的松弛型转变为这样”易于求解的松弛型”的松弛型即可得解。
5 x: x4 B' `( f' p7 N2 U: \% h& n" \0 T1 [, @$ S3 M
4 b8 N. n0 ?) e- [+ L( X; J
具体的方法 换个便于演示的例子:7 I& x6 D) @: a8 q- W# p6 C
考虑下面这个松弛型:. h# i; ?$ Y. b8 x, R
+ F9 l5 g+ d" M2 q: ]: `" L" D! b, d
最大化 ! m- q6 F! }' t8 `: y
6 o) L$ x& D' u
- _* X6 Q1 x# i0 W0 f8 E; Z: ]) S满足约束条件 . _3 o* e' B; H) e
9 B' Q; w3 r' G+ s
) u" n' \3 A+ X! I7 T# X# N) p0 d) N' a( s* n8 O/ ?* ?
6 e% ~& n& n: {* s- B3 N
6 Z) y0 w3 I; l7 C , B& C4 r: X4 l ?& r3 N5 ^1 b
# e/ Y @6 Z/ r( ^2 l2 S9 r. ?
/ i C. l4 x6 Z1 ]9 ^. x& i: z
术语:我们把松弛型约束条件等号左边的变量称为基本变量,右边的称为非基本变量。1 y |* L: \, \) ]( r3 w# k
4 `, V) C! ~% p* ^) A
0 d. k0 s+ h+ k6 R
我们会选取目标函数里面某个系数为正的非基本变量,并尽可能增大的取值且不违反任何约束条件。由于的增大可能会导致其它变量值缩小,但是其它变量也存在非负约束,这样就约束了的取值的上界,我们选出对约束最紧的变量,令 与 互换(代入法)得到一个新的等价的松弛型。具体对于我们这个例子就是:4 W. ^& f/ i9 V# d; P# ^
0 h: Z I* a% N" }: r
; s7 k, c3 Q/ \首先看变量,对它约束最紧的是第三个约束,约束了。是约束了。于是互换 与,把放到 的位置,得到 u7 ]1 ~$ s3 V1 S( K$ g
% J% Q, G, c2 F! N
$ w# j- W% K6 }将约束条件不等式右边的所有用这个式子替换掉,即可得到 7 S# Y# Z3 x( @4 p6 I) H5 k( r/ J
1 i1 C. |4 u0 u( ^
3 c# h/ D/ @, `4 \; N( v- _* }0 a最大化
0 L4 R, j) f7 H& V c% y, ^5 N- }- K8 x; A' s. h4 b \; }9 \
8 O% o9 e: {2 ]" Z2 C/ `/ s# S
满足约束条件 ) g" Z9 p0 Y1 B7 Z( ~1 i) W
" J6 d# T' C; h! ~+ K
7 d s; h, B% B& c/ z4 l7 s" R' N2 X: ~3 w5 B& t
6 P$ y0 Z; r9 t7 @: U% j
( O% Q8 V/ `% T. n7 s8 R3 o3 x
W" @- M8 t7 D0 g7 A6 v3 T0 q t6 r/ U
) ^1 D9 n* ^8 w
这样的一次操作叫做转动(pivot)
9 H9 C; }1 r x& D- d
. {0 {# o; C' I9 F+ V) o4 x* ?3 q5 e( O8 Y6 E$ \* I J* E% I
(结合例子请思考:选择约束最紧的变量做互换的原因。提示:如果换的不是最紧的约束看看会违反什么性质)
$ n) j6 g% a( Y7 J- k' n: E) K3 T/ G# S# C& q: [4 H* W/ ?
, q0 |- x+ d# \ U
然后选择变量或者,不选是因为增大会导致目标z减小。
; L/ g5 C6 L: D8 Q) P% T4 ]& g) F3 X5 m
; Y6 P; Z- F; |; P5 a0 b如果选择 ,同样的方法,互换与可以得到新的但等价的约束系统:
0 q i0 ]' `8 i) r C3 j
, |" O; e/ l# |9 @( F; {. g( V' e/ t( x7 ?) [+ r
最大化
4 v* s6 I# p* d1 ^2 s
$ @* n5 S: O* W( N9 W5 E- X满足约束条件 * q$ ^$ e+ F( D
. l" Y) R; |$ I% K, ~4 N
2 c7 |0 i8 R& ]
* n# e8 [- u) i# q& y5 N. V
% B0 A% w& z# \" v n: \0 }- E& ~% D* G
) }. h4 G3 B' L+ j
1 D) l% s ~8 p. x
' L: T% u9 E1 v$ R0 u9 Y6 k
2 {! ~" b, [& F3 s# \0 y接下来也只剩下这个变量可选了,与互换,得到
( L( q! T8 H/ N
% }6 a- c/ _. \
0 A) `8 [4 r6 ?; n最大化 0 m6 J6 o0 e; Y
) Z8 w% t- s7 t! S
4 S: c9 G- a5 ]. f/ Z满足约束条件 " w5 W! G& q9 F' ?
; ?% e5 k! H* [. @9 P
6 X+ E) [6 O0 d( m
$ ~$ {. ?7 N$ }! x% z) r8 g5 T W) K, [ * }. J- _5 r: v( v. t8 b
+ q- R5 n& U* T( \( ?: `
2 ]0 x' G9 I: x( h( L/ A& _
3 q, V2 v, p6 ^9 R; x2 i此时目标函数右边变量系数全部为负数,且变量具有非负约束,显然这时候能得到的z的最大值为28。当且仅当。带入解得。除去附加的松弛变量,最终这个线性规划最优解为8 c, I) w% H0 O2 W( y
0 i7 u& w s0 K- W1 ]* _
* y q5 R l+ g$ e' K2 X$ p" Q+ W3 A; _
思考:每次转动操作交换的两个变量对单纯形法的运行时间有着怎样的影响?如何选择可以使单纯形法尽快结束?(提示:每次pivot尽可能让目标函数增大得多)
8 q1 M2 A* x8 k# ?* W6 w- c; h$ K& k% j2 m2 j: L5 a
) o9 Q) W0 T4 A* q& r单纯形算法代码实现
4 }* V. l% b- x3 k* X) C
4 \" q4 c" J" _0 L6 J. G
) \- V3 P6 i( v伪代码: i* L6 B+ u# j2 C) P7 t
" i$ e6 D+ J( h9 Y9 _2 y; D) Q0 f8 p/ w# W
simplex:* w: G- p2 b" _/ l- }
检查是否无解
$ P( N8 s, a- B7 k! z" F* z% O" w loop:
* {4 f7 O% j1 w1 l 找出目标函数中前面系数为正数的一个变量x
& ~. R! N6 s% t: c, U 如果找不到x* F# U4 V; a/ N# c$ U1 t
返回目标函数的常数项(已找到目标函数最大值)
, e7 m I3 r& S4 I* [ 找到对x的增长约束最紧的变量y
; Y$ }/ V& X. _; I- t 如果找不到y# }2 O+ x! `. x7 n2 i- J! r
返回Inf
7 y I1 p0 h- ^% w+ G( u! q, E7 Y 互换变量x,y(pivot(x,y),操作后问题与原来等价)' S4 K( m, Y: a2 N- T2 y/ S
- V, z8 _8 W$ r }- K" v4 \/ x7 L+ u8 ~
! G8 O. T4 z- i$ ~7 s, J! K
6 v+ Z- C! ^/ X; k7 v7 ~" w! r
* l8 x& a) Y$ H. b* a- O非标准型转换为标准型魔法码(github上给出的参考代码要求输入的是标准型)
. ~' e% i+ p" c' p2 q `; Y0 s& |- h" J
# ^7 ^: ^# `; |输出目标函数达到最大值时自变量的取值
+ R' }0 z/ N8 y" X* U: X. `8 [- [- s& u0 s
8 u7 N Z' @3 T& j. I思考:会不会存在一种情况:虽然一个线性规划问题有解,但是单纯形算法仍会无休止迭代下去。! x: Q( |" y3 c% Y' z
' ?! c' M, L" a# j
3 M2 C5 _9 }% x+ u思考:如果判断出这样一种无解的情况:
5 O6 _8 |" ]+ ?" W7 m+ o- Q; h$ Z
0 D% h4 S0 M$ u/ I, X4 w N/ _2 U0 E+ l; x+ e+ B- t3 ?
# ~ ~+ O) c' N7 ^/ b
+ V# M0 M: A" c0 k3 R% r- z& J% l( t7 k9 v2 l( [" a
3 y# g" t7 K: g2 V6 ^# J+ z7 L
- v: U- O+ o O7 G3 r! ^7 B& R3 |请关注数学中国微信公众号和数学中国网微博号 联系QQ数学中国浅夏3243710560
; k/ X. Y' l4 a+ U4 R0 t. H" O- [# }6 U8 K# k
( O( q5 V2 c: O! I" m) `; O! G% D
|
zan
|