" c# b& P N6 F: G! A. F# m! y二次规划问题通常可以表示为: : J I! N% U! W) \* A" w0 v3 A) c% N
\[7 i, K& ~1 ^; V% g
\text{Minimize } f(x) = \frac{1}{2} x^T Q x + c^T x $ b/ B2 S: d; P q7 X( t4 g+ h\]3 L7 a" O1 X/ F1 x7 V
- Z9 ?0 I& n3 j" b! v6 f e约束条件为:4 N2 T V4 J: z8 K/ S5 U
- ]0 B7 `# m6 [$ B
\[ % B5 f1 u4 i% { q5 VAx \leq b % a6 b3 {/ {# W6 q7 r\] , G$ c$ U& _" a Q 5 F4 j) @1 [, m9 a$ X4 A\[ " C- j1 a4 h/ L) Z6 Vx \geq 0/ ? k! J- w2 l( ^$ D. T5 i; t
\] ' x6 ~4 E0 \1 g9 E; o% W : O) u" R6 ? ]2 z- Q5 T+ N其中,\(Q\) 是一个对称正定矩阵,\(c\) 是一个向量,\(A\) 是约束条件的系数矩阵,\(b\) 是约束条件的右侧向量。 % T. ]; }! p$ |$ C; r" \6 X5 N! n! j/ p+ f
### 起作用集法的步骤 1 o. v' F$ r8 M% @! q$ W \. U& o 5 J- C0 w7 F9 ?8 h4 Q1. **初始化**: / @( [8 ~% D" M' b) M, e& X0 n - 选择一个初始可行解 \(x_0\)。 & s1 [+ x4 v( r' T: n5 { - 确定初始的起作用集(即当前活动的约束条件)。$ } Y) b/ m( @( S
2 ?$ F2 c, s. C. c2. **构造拉格朗日函数**: 8 c: C7 [9 [! ^ - 对于当前的起作用集,构造拉格朗日函数:8 T L- q* |/ P
1 [" F v: |# L' |3 f6 \
\[ $ }+ R0 u" F' X$ O4 b. b9 b L(x, \lambda) = \frac{1}{2} x^T Q x + c^T x + \lambda^T (b - Ax): L n6 n9 @/ J: m, n5 T6 G
\]" K z. w$ \5 o: }( v
+ k' c7 `" r8 R: P8 y3. **求解一阶条件**: j- D! s! K U. C. @! p
- 对 \(L\) 关于 \(x\) 和 \(\lambda\) 分别求偏导数,并令其等于零,得到一个方程组。 ! ^ [8 i- g% o" |1 K- a/ C9 D+ M' B7 Q7 r3 p+ _# K9 E: P
4. **更新解**:, A6 v3 A; c$ r) A; j% V
- 通过求解上述方程组,得到新的解 \(x\)。 3 Y2 d" _0 ]: w& \1 y* K - 检查新的解是否满足所有约束条件。# Y) b. }; N; }+ g4 i
( Q1 F; n% G7 B, L- |1 T1 p. |5. **更新起作用集**:* C3 m8 U3 p: b2 J4 l* u
- 如果新的解违反了某些约束条件,则将这些约束条件加入起作用集。/ K# y) f- {1 a3 |: k; p
- 如果新的解满足所有约束条件,则检查是否可以退出当前的起作用集。 ) @3 ~4 ~) w( p6 f % y$ r8 Z2 {& x; P6. **迭代**: 3 s4 e3 R! Q7 |7 h8 d9 N6 ] - 重复步骤 2 到 5,直到满足收敛条件(例如,目标函数值的变化小于某个阈值)。) m- g1 G% `1 O6 N! g. ?8 H6 H5 Q$ M! Z
! }1 A( K& j$ T
7. **确定最优解**:5 M: E: H1 J [/ a/ T9 e
- 当达到收敛条件时,当前解即为最优解。 9 G! G' N W6 l; E6 {) ^ _4 Z/ J* p
### 示例 : @$ ^ j( I3 m ' {) T# a" a0 ~! j- [7 L+ W假设我们有一个简单的二次规划问题: 3 t! G. O5 i) @, t . [' N% ^* i, [) U3 ?) \$ g\[- g( D( b' m7 d t4 T1 r
\text{Minimize } f(x) = x_1^2 + x_2^2 0 `" e& l9 {- a6 U; ?: l q+ ~- s( L3 p3 n\] & g5 ]& j, ^8 U% O 2 ]7 t g9 z2 q, v约束条件为: & ~/ \8 q! H1 L! v T, U0 W& E, _% D3 D+ y2 {. j% |) V
\[ # ?/ i9 Z8 s& e9 j4 P7 Ex_1 + x_2 \leq 11 u- p8 z* l1 J H
\] ; L6 `1 Z( U( K. S( t- E5 R8 _5 Z3 u0 [9 M) a) Y
\[ 9 [8 N3 J7 {" v2 `x_1, x_2 \geq 0 # R( p; v5 p: z+ G1 L& H4 L* k\]6 P& \' h! a# p. H- g