抱歉,您的浏览器无法访问本站
本页面需要浏览器支持(启用)JavaScript
了解详情 >

简略记录了例题以及解法,没事,李老师会预判你的预判,自求多福

Chapter1

利润最大化问题(没考)

步骤如下:

  1. 将最大化问题与条件转换为矩阵形式,如:

max 40x1+50x2 s.t. x1+2x240max \space 40x_1+50x_2 \space s.t. \space x_1 + 2x_2 \le 40

变成

x=[x1x2],a=[4050],b=[12]令x=\begin{bmatrix} x_1 \\ x_2\end{bmatrix}, a=\begin{bmatrix} 40 \\ 50\end{bmatrix}, b=\begin{bmatrix} 1 \\ 2 \end{bmatrix}

max aTx s.t. bTx40max \space a^T x \space s.t. \space b^Tx \le 40

  1. 使用线性规划法求解问题,画出坐标图

  2. 最大化y=aTxy=a^Tx即最大化该直线的截距,找到直线经过的最高点并计算出此时的最优解。

Chapter2

判断是否为线性函数(没考)

两条性质:

  • 齐次性(homogeneity):f(kx)=kf(x)f(kx)=kf(x)

  • 叠加性(Additivity):f(x+y)=f(x)+f(y)f(x+y)=f(x)+f(y)

验证或找到反例即可

反例可先判断其不为仿射函数(一个线性函数加上常数):

f(αx+βy)=αf(x)+βf(y), α+β=1,α,βR,x,yRnf(\alpha x + \beta y)=\alpha f(x) + \beta f(y), \space \alpha + \beta =1,\alpha, \beta \in \mathbb{R},x,y \in \mathbb{R} ^n

求一阶泰勒近似(考了)

代公式就好

f^(x)=f(z)+f(z)T(xz)f(z)=[fx1(z)fxn(z)]\hat{f}(x)=f(z)+\nabla f(z)^T(x-z) \\ \nabla f(z)=\begin{bmatrix} \frac{\partial f}{\partial x_1}(z) \\ \vdots \\ \frac{\partial f}{\partial x_n}(z) \end{bmatrix}

Chapter3

写出各种范数(考了,送分)

1\ell_1-范数(曼哈顿范数)

x1=x1+x2++xn,x,yRn,αR||x||_1=|x_1|+|x_2|+ \cdots +|x_n|,x,y \in \bold{R}^n,\alpha \in \bold{R}

2\ell_2-范数(欧几里得范数,一般的||\cdot||也是)

x2=(x12+x22++xn2)=xTx=(x,x)12||x||_2=\sqrt{(x_1^2+x_2^2+ \cdots +x_n^2)}=\sqrt{x^Tx}=(\langle x,x \rangle )^\frac{1}{2}

p\ell_p-范数

xp=(x1p+x2p++xnp)1p,xRn||x||_p=(|x_1|^p+|x_2|^p+\cdots+|x_n|^p)^\frac{1}{p},x \in \mathbb{R}^n

\ell_\infin-范数

x=max1inxi,xRn||x||_\infin = \max_{1 \le i \le n} |x_i|,x \in \bold{R}^n

0\ell_0-范数 (非0元素的个数)

x0=nnz(x)||x||_0=nnz(x)

柯西-施瓦茨不等式

可用于证明2\ell_2-范数的三角不等性

x,y2x,xy,y=x22y22|\langle x,y \rangle |^2 \le \langle x,x \rangle \langle y,y \rangle = ||x||_2^2 ||y||_2^2

Minkowshi不等式

可用于证明p\ell_p-范数的三角不等性

(i=1nxi+yip)1p(i=1nxip)1p+(i=1nyip)1p,p1,x,yRn(\sum_{i=1}^n |x_i+y_i|^p)^\frac{1}{p} \le (\sum_{i=1}^n|x_i|^p)^\frac{1}{p} + (\sum_{i=1}^n|y_i|^p)^\frac{1}{p},p \ge 1, x,y \in \bold{R}^n

Hölder不等式

i=1nxiyi(i=1nxip)1p(i=1nyip)1p,1p+1q=1,1\sum_{i=1}^n |x_iy_i| \le (\sum_{i=1}^n|x_i|^p)^\frac{1}{p} (\sum_{i=1}^n|y_i|^p)^\frac{1}{p},\frac{1}{p}+\frac{1}{q}=1,1

判断是否为范数

  • 非负性:x0,xRnx=0x=0||x|| \ge 0,x\in \mathbb{R}^n 且 ||x||=0 \Leftrightarrow x=0

  • 齐次性:αx=αx,αRxRn||\alpha x||=|\alpha|||x||,\alpha \in \mathbb{R}且x \in \mathbb{R}^n

  • 三角不等性:x+yx+y,x,yRn||x+y|| \le ||x||+||y||,x,y \in \mathbb{R}^n

特殊范数的三角不等性

  • 2\ell_2-范数需要使用柯西-施瓦茨不等式

x+y22=x+y,x+y=x,x+x,y+y,x+y,y=x22+2x,y+y22x22+2x2y2+y22=(x2+y2)2\begin{aligned}||x+y||_2^2 &=\langle x+y,x+y \rangle \\ &= \langle x,x \rangle + \langle x,y \rangle + \langle y,x \rangle + \langle y,y \rangle \\ &= ||x||_2^2 + 2 \red {\langle x,y \rangle} + ||y||_2^2 \\ & \le ||x||_2^2 + 2\red{||x||_2||y||_2}+ ||y||_2^2 \\ &= (||x||_2+||y||_2)^2\end{aligned}

  • x+y2x2+y2||x+y||_2 \le ||x||_2+||y||_2得证

  • p\ell_p-范数使用Minkowshi不等式可直接证明

(i=1nxi+yip)1p(i=1nxip)1p+(i=1nyip)1p,p1,x,yRn(\sum_{i=1}^n |x_i+y_i|^p)^\frac{1}{p} \le (\sum_{i=1}^n|x_i|^p)^\frac{1}{p} + (\sum_{i=1}^n|y_i|^p)^\frac{1}{p},p \ge 1, x,y \in \bold{R}^n

Chapter4

证明一个函数是凸函数(考了复合函数,做不出来)

证明:

f(αx+(1α)y)αf(x)+(1α)f(y),x,yΩ,αR,0α1f(\alpha x + (1-\alpha )y) \le \alpha f(x) + (1-\alpha) f(y), \\ \forall x,y \in \Omega,\alpha \in \bold R, 0\le\alpha\le 1

证明引理(好像是附加题,反正做不到)

可微函数ff是凸函数的充要条件:

f(y)f(x)+f(x),yx,x,yf(y) \ge f(x) + \langle \nabla f(x), y-x \rangle , \forall x,y

n=1(一维情况)

可微函数ff是凸函数是式子的充分条件:

根据函数ff是凸函数可得:

f(x+t(yx))=f((1t)x+ty)(1t)f(x)+tf(y)f(x+t(y-x))=f((1-t)x+ty) \le (1-t)f(x)+tf(y)

上式两端同除tt可得:

f(y)f(x)+f(x+t(yx))f(x)tf(y) \ge f(x) + \frac{f(x+t(y-x))-f(x)}{t}

t0t\to 0,得证(得到式子)


可微函数ff是凸函数是式子的必要条件:

z=αx+(1α)x,0α1z=\alpha x + (1-\alpha)x,0\le \alpha \le 1,根据式子可得:

f(x)f(z)+f(z)(xz), f(y)f(z)+f(z)(yz)f(x) \ge f(z)+f'(z)(x-z), \ f(y) \ge f(z)+f'(z)(y-z)

将第一个不等式乘以α\alpha,第二个不等式乘以1α1-\alpha,并将两者相加即可得:

αf(x)+(1α)f(y)f(z)\alpha f(x) + (1-\alpha)f(y) \ge f(z)

即可得到函数ff是凸的

n>1(一般情况)

g(t)=f(ty+(1t)x),g(t)=f(ty+(1t)x)T(yx)g(t)=f(ty+(1-t)x), \\ g'(t)=\nabla f(ty+(1-t)x)^T(y-x)

可微函数ff是凸函数是式子的充分条件:

由于函数ff是凸的,所以函数gg是凸的。满足

g(1)g(0)+g(0)(10)g(1) \ge g(0) + g'(0)(1-0)

f(y)f(x)+f(x)T(yx)f(y)\ge f(x)+\nabla f(x)^T(y-x)


可微函数ff是凸函数是式子的必要条件:

ty+(1t)xdomf,tˉy+(1tˉ)xdomfty+(1-t)x \in \bold{dom} f,\bar ty+(1-\bar t)x \in \bold{dom} f,根据式子可得:

f(ty+(1t)x)f(tˉy+(1tˉ)x)+f(tˉy+(1tˉ)x)T(yx)(ttˉ)f(ty+(1-t)x)\ge f(\bar ty+(1-\bar t)x) + \nabla f(\bar ty+(1-\bar t)x)^T(y-x)(t-\bar t)

g(t)g(tˉ)+g(tˉ)(ttˉ)g(t)\ge g(\bar t) + g'(\bar t)(t-\bar t),说明函数gg是凸的

Chapter5

标准正交分解

a1,,ana_1,\cdots, a_n是n维向量的一个标准正交基,对于任意n维向量x:

x=(a1Tx)a1++(anTx)anx=(a_1^Tx)a_1+\cdots+(a_n^Tx)a_n

则称其为x在标准正交基下的标准正交分解

Gram-Schmidt(正交化)算法(考了)

反复操作直到i=ni=n

qi~=ai(q1Tai)q1(qi1Tai)qi1\tilde{q_i}=a_i-(q_1^Ta_i)q_1-\cdots-(q_{i-1}^Ta_i)q_{i-1}

qi=qi~qi~2q_i=\frac{\tilde{q_i}}{||\tilde{q_i}||_2}

Chapter6

主要是矩阵运算,注意定义与维度以及有时需要将矩阵拆成向量进行运算即可

Chapter7

是否存在左逆(考了)

若矩阵AA的列向量线性无关(先看维度),则存在左逆:

A+=(ATA)1ATA^+=(A^TA)^{-1}A^T

使得

A+A=(ATA)1ATA=(ATA)1(ATA)=IA^+A=(A^TA)^{-1}A^TA=(A^TA)^{-1}(A^TA)=I

是否存在右逆(考了)

若矩阵AA的行向量线性无关(先看维度),则存在右逆:

A=AT(AAT)1A^\dagger=A^T(AA^T)^{-1}

使得

AA=AAT(AAT)1=(AAT)1(AAT)=IAA^\dagger=AA^T(AA^T)^{-1}=(AA^T)^{-1}(AA^T)=I

是否存在逆(考了)

存在左逆(或右逆),若矩阵为方阵,则存在逆矩阵

Chapter8

判断是否为正交矩阵(算考了)

矩阵A需满足:

ATA=IA是方的}AAT=I\left. \begin{aligned} A^TA=I \\ A是方的 \end{aligned}\right \} \Rightarrow AA^T=I

Chapter9

QR分解(考了)

如果矩阵ARm×nA\in \R^{m\times n}的列向量线性无关,则可以分解为一组标准正交向量QQ与上三角矩阵RR

A=[a1a2an]=[q1q2qn][R11R12R1n0R22R2n00Rnn]=QR\begin{aligned} A&=\begin{bmatrix}a_1& a_2& \cdots & a_n\end{bmatrix} \\ &=\begin{bmatrix}q_1& q_2& \cdots & q_n \end{bmatrix} \begin{bmatrix} R_{11}& R_{12}& \cdots & R_{1n} \\ 0& R_{22} & \cdots & R_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \cdots & R_{nn} \end{bmatrix} \\ &= QR \end{aligned}

Gram-Schmidt正交化

qi~=a(q1Tai)q1(qi1Tai)qi1\tilde{q_i}=a_-(q_1^Ta_i)q_1-\cdots-(q_{i-1}^Ta_i)q_{i-1}

Rji=(qjTai)R_{ji}=(q_j^Ta_i)

一般要求Rii>0R_{ii}>0使得QQRR是唯一的

使用QR分解求逆(考了)

具有线性无关列向量的矩阵AA的伪逆为

A+=(ATA)1ATA^+=(A^TA)^{-1}A^T

AA的伪逆表示为QR因子:

A+=((QR)T(QR))1(QR)T=(RTQTQR)1RTQT=(RTR)1RTQT=R1RTRTQT=R1QT\begin{aligned} A^+&= \left( (QR)^T(QR) \right)^{-1}(QR)^T \\ &= (R^TQ^TQR)^{-1}R^TQ^T \\ &= (R^TR)^{-1}R^TQ^T \\ &= R^{-1}R^{-T}R^TQ^T \\ &= R^{-1}Q^T \end{aligned}

对于方阵非奇异矩阵AA,其逆为:

A1=(QR)1=R1QTA^{-1}=(QR)^{-1}=R^{-1}Q^T

矩阵RR为上三角矩阵,设x=R1x=R^{-1},使用前向回代法求解xR=IxR=I或使用后向回代法求解Rx=IRx=I

Chapter10

LU分解(可能考了,但我没用)

LL为上三角矩阵且对角线元素全为1,UU为上三角矩阵

A=LUA=LU

  1. 矩阵UU的第一行元素:

u1j=a1j,j=1,,nu_{1j}=a_{1j},j=1,\cdots,n

  1. 矩阵LL的第一列元素:

li1=ai1u11,i=2,3,,nl_{i1}=\frac{a_{i1}}{u_{11}},i=2,3,\cdots,n

r=2r=2开始直到r=nr=n

  1. 矩阵UU第r行主对角线以右元素urju_{rj}

urj=arjk=1r1lrkukj,j=r,,nu_{rj}=a_{rj}-\sum_{k=1}^{r-1}l_{rk}u_{kj},j=r,\cdots,n

  1. 矩阵LL第r列主对角线以下元素lirl_{ir}

lir=(airk=1r1likukr)/urr,i=r+1,,nl_{ir}=\left(a_{ir}- \sum_{k=1}^{r-1} l_{ik}u_{kr} \right)/u_{rr},i=r+1,\cdots,n

LU分解求解方程组

例:

(210033412131234414913)(x1x2x3x4)=(10527)\begin{pmatrix} 2 & 10 &0 & -3 \\ -3 & -4 & -12 & 13 \\ 1 & 2 &3 & -4 \\ 4 & 14 & 9 &-13 \end{pmatrix} \begin{pmatrix} x_1 \\ x_2 \\ x_3 \\ x_4 \end{pmatrix}=\begin{pmatrix} 10 \\ 5 \\ -2 \\ 7 \end{pmatrix}

解:

对矩阵AA进行LULU分解:

A=(210033412131234414913)A=\begin{pmatrix} 2 & 10 &0 & -3 \\ -3 & -4 & -12 & 13 \\ 1 & 2 &3 & -4 \\ 4 & 14 & 9 &-13 \end{pmatrix}

L=(1000321001231110261191), U=(2100301112172003112110004)L=\begin{pmatrix} 1 & 0 & 0 & 0 \\ -\frac 3 2 & 1 & 0 & 0 \\ \frac 1 2 & -\frac 3 {11}& 1 & 0 \\ 2 &-\frac 6 {11} & -9 & 1 \end{pmatrix}, \ U = \begin{pmatrix} 2 & 10 & 0 & -3 \\ 0 & 11 & -12 & \frac {17} 2 \\ 0 & 0 & -\frac 3 {11} & -\frac 2 {11} \\ 0 & 0 & 0 & -4 \end{pmatrix}

前向回代法求解yy

LUx=Ly=b=(10527)y=(1020171116)LUx=Ly=b=\begin{pmatrix} 10 \\ 5 \\ -2 \\ 7 \end{pmatrix} \Rightarrow y=\begin{pmatrix} 10 \\ 20 \\ -\frac{17}{11} \\ -16\end{pmatrix}

后向回代法求解xx

Ux=yx=(1234)Ux=y \Rightarrow x= \begin{pmatrix} 1 \\ 2 \\ 3 \\ 4 \end{pmatrix}

Chapter11

最小二乘法的性质(考了,跟投影一起考)

要求:

x^=arg minxAxb22\hat x = \argmin_x ||Ax-b||_2^2

当矩阵AA列线性无关时,有

ATAx^=ATbA^TA\hat x=A^Tb

不能直接得出x^=A1b\hat x = A^{-1}bAA很多时候不可右逆(因为可能是高矩阵):

x^=A+b=(ATA)1ATb\hat x = A^+ b = (A^TA)^{-1}A^Tb

QR分解求解正规方程(考了)

若矩阵AA列向量线性无关,则最小二乘法问题的解:

x^=(ATA)1ATb=(RTQTQR)1RTQTb=(RTR)1RTQTb=R1QTb\begin{aligned} \hat x &= (A^TA)^{-1}A^Tb \\ &= (R^TQ^TQR)^{-1} R^TQ^Tb \\ &= (R^TR)^{-1}R^TQ^Tb \\ &= R^{-1}Q^Tb \end{aligned}

可能会用式子x^=R1QTb\hat x = R^{-1} Q^Tb进行计算

流程:

  • 对矩阵AA进行QR分解

  • 计算矩阵向量乘积d=QTbd=Q^Tb

  • 通过回代法求解Rx=dRx=d

Chapter13

KKT条件(利润最大化)(考了等式约束)

如果是max的话,式子化为g(x)0g(x)\le0的形式,min的话式子化为g(x)0g(x)\ge0,拉格朗日函数用减号:-

maxx1,x2{40x1+50x2}s.t.x1+2x240,4x1+3x2120,x10,x20\max_{x_1,x_2}\left \{40x_1+50x_2 \right \}\\ s.t. \quad x_1+2x_2 \le 40,4x_1+3x_2\le120,x_1\ge0,x_2\ge0

构造f(x)f(x)g(x)g(x)(注意g(x)0g(x)\le0)

x=[x1x2],maxx{f(x)=40x1+50x2}s.t.g1(x)=x1+2x2400,g2(x)=4x1+3x21200,g3(x)=x10,g4(x)=x20x=\begin{bmatrix} x_1 \\ x_2 \end{bmatrix} , \max_x \left \{ f(x) = 40x_1+50x_2 \right \} \\ \begin{aligned} s.t.\quad &g_1(x)=x_1+2x_2-40\le 0, g_2(x)=4x_1+3x_2-120 \le 0, \\ & g_3(x)=-x_1 \le 0,g_4(x)=-x_2 \le 0 \end{aligned}

引入拉格朗日函数:

L(x,u)=f(x)u1g1(x)u2g2(x)u3g3(x)u4g4(x)L(x,u)=f(x)-u_1g_1(x)-u_2g_2(x)-u_3g_3(x)-u_4g_4(x)

对拉格朗日函数求偏导:

xL(x,u)=xf(x)u1xg1(x)u2xg2(x)u3xg3(x)u4xg4(x)=0,uj0xf(x)=[4050],xg1(x)=[12],xg2(x)=[43],xg3(x)=[10],xg4(x)=[01]\begin{aligned} &\nabla_xL(x,u)=\nabla_xf(x)-u_1\nabla_xg_1(x)-u_2\nabla_xg_2(x)-u_3\nabla_xg_3(x)-u_4\nabla_xg_4(x)=0,u_j\ge0 \\ &\nabla_xf(x)=\begin{bmatrix} 40 \\ 50 \end{bmatrix}, \nabla_xg_1(x)=\begin{bmatrix}1 \\ 2 \end{bmatrix}, \nabla_xg_2(x)=\begin{bmatrix}4 \\ 3 \end{bmatrix}, \nabla_xg_3(x)=\begin{bmatrix}-1 \\ 0 \end{bmatrix}, \nabla_xg_4(x)=\begin{bmatrix}0 \\ -1 \end{bmatrix} \end{aligned}

对x求偏导,得到KKT方程组:

{Lx1=40u14u2+u3=0Lx2=502u13u2+u4=0x1+2x24004x1+3x21200x10x20uj=1,2,3,40j=1,2,3,4ujgj(x)=0\begin{cases} \frac{\partial L}{\partial x_1} = 40 - u_1 - 4u_2 + u_3 = 0 \\ \frac{\partial L}{\partial x_2} = 50 - 2u_1 - 3u_2 + u_4 = 0 \\ x_1+2x_2-40\le 0 \\ 4x_1+3x_2-120 \le 0 \\ -x_1 \le 0 \\-x_2 \le 0 \\ u_{j=1,2,3,4} \ge 0 \\ \sum_{j=1,2,3,4} u_jg_j(x) = 0 \end{cases}

讨论可能取值(点击展开)

讨论可能的取值:

  1. u10,u2=u3=u4=0u_1\ne 0,u_2=u_3=u_4=0时,有

{Lx1=40u1=0Lx2=502u1=0\begin{cases}\frac{\partial L}{\partial x_1} = 40 - u_1 = 0 \\\frac{\partial L}{\partial x_2} = 50 - 2u_1 = 0 \end{cases}

无解,当满足其中一条式子时另外一条不满足

  1. u20,u1=u3=u4=0u_2 \ne 0,u_1=u_3=u_4=0时,有

{Lx1=404u2=0Lx2=503u2=0\begin{cases}\frac{\partial L}{\partial x_1} = 40 - 4u_2 = 0 \\\frac{\partial L}{\partial x_2} = 50 - 3u_2 = 0 \end{cases}

无解,当满足其中一条式子时另外一条不满足

  1. u30,u1=u2=u4=0u_3 \ne 0,u_1=u_2=u_4=0时,有

40+u3=040+u_3=0

无解

  1. u40,u1=u2=u3=0u_4\ne0,u_1=u_2=u_3=0时,有

50+u4=050 + u_4=0

无解

  1. u10,u20,u3=u4=0u_1\ne 0,u_2 \ne 0,u_3=u_4=0,有

{Lx1=40u14u2=0Lx2=502u13u2=0\begin{cases}\frac{\partial L}{\partial x_1} = 40 - u_1 - 4u_2 = 0 \\\frac{\partial L}{\partial x_2} = 50 - 2u_1 - 3u_2 = 0 \\\end{cases}

解得

{u1=16u2=6\begin{cases}u_1=16 \\u_2=6\end{cases}

此时g1(x)=g2(x)=0g_1(x)=g_2(x)=0,解得

{x1=24x2=8\begin{cases}x_1=24 \\x_2=8\end{cases}

将解代入KKT条件进行验证,该解可以成立

  1. u10,u30,u2=u4=0u_1\ne 0,u_3\ne 0, u_2=u_4=0,有

{Lx1=40u1+u3=0Lx2=502u1=0\begin{cases}\frac{\partial L}{\partial x_1} = 40 - u_1+ u_3 = 0 \\\frac{\partial L}{\partial x_2} = 50 - 2u_1= 0 \\\end{cases}

解得

{u1=25u3=15\begin{cases}u_1 = 25 \\ u_3=-15\end{cases}

舍去

  1. u10,u40,u2=u3=0u_1\ne0,u_4\ne0,u_2=u_3=0,有

{Lx1=40u1=0Lx2=502u1+u4=0\begin{cases}\frac{\partial L}{\partial x_1} = 40 - u_1= 0 \\\frac{\partial L}{\partial x_2} = 50 - 2u_1+ u_4 = 0 \\\end{cases}

解得

{u1=40u4=30\begin{cases}u_1=40 \\u_4=30\end{cases}

此时g1(x)=0,g4(x)=0g_1(x)=0,g_4(x)=0,解得

{x1=40x2=0\begin{cases}x_1=40 \\ x_2=0\end{cases}

将解代入KKT条件验证,不满足所有KKT条件(g2(x)=4x1+3x21200g_2(x)=4x_1 + 3x_2 -120\nleq 0),舍去

  1. u20,u30,u1=u4=0u_2 \ne 0, u_3 \ne 0, u_1=u_4=0

{Lx1=404u2+u3=0Lx2=503u2=0\begin{cases}\frac{\partial L}{\partial x_1} = 40 - 4u_2 + u_3 = 0 \\\frac{\partial L}{\partial x_2} = 50 - 3u_2= 0 \\\end{cases}

解得

{u2=503u3=803\begin{cases}u_2= \frac {50}3 \\u_3 = \frac{80} 3\end{cases}

此时g2(x)=g3(x)=0g_2(x)=g_3(x)=0,解得

{x1=0x2=40\begin{cases}x_1=0 \\x_2= 40\end{cases}

将解代入KKT条件验证,不满足所有KKT条件(g1(x)=x1+2x2400g_1(x) =x_1+2x_2 -40 \nleq 0),舍去

  1. u20,u40,u1=u3=0u_2\ne0,u_4\ne0,u_1=u_3=0

{Lx1=404u2=0Lx2=503u2+u4=0\begin{cases}\frac{\partial L}{\partial x_1} = 40 - 4u_2 = 0 \\\frac{\partial L}{\partial x_2} = 50 - 3u_2 + u_4 = 0 \\\end{cases}

解得

{u2=10u4=20\begin{cases}u_2=10 \\ u_4= -20\end{cases}

舍去

  1. u30,u40,u1=u2=0u_3\ne0,u_4\ne0,u_1=u_2=0

{Lx1=40+u3=0Lx2=50+u4=0\begin{cases}\frac{\partial L}{\partial x_1} = 40+ u_3 = 0 \\\frac{\partial L}{\partial x_2} = 50+ u_4 = 0 \\\end{cases}

显然无解

综上所述,只有一种情况满足条件

{x1=24x2=8,f(x)=40x1+50x2=1360\begin{cases}x_1=24 \\ x_2=8 \end{cases}, f(x)=40x_1+50x_2=1360 \\

\therefore最优解为x1=24,x2=8x_1=24,x_2=8,最大利润为1360

最小范数优化问题(考了)

一般为单个xx,否则用yy换元,一般系数不为12\frac 1 2,以下仅为一般形式

minx12x22s.t.Cx=d\min_x \frac 1 2||x||_2^2 \quad s.t. \quad Cx=d

矩阵CC行向量线性无关,存在右逆CC^\dagger,要求x^\hat x

引入拉格朗日函数:

L(x,λ)=12x22λT(Cxd)L(x,\lambda)=\frac 1 2||x||_2^2-\lambda^T(Cx-d)

对拉格朗日函数求偏导得到KKT条件:

{xL(x,λ)=xCTλ=0λL(x,λ)=Cxd=0\begin{cases} \nabla_xL(x,\lambda)=x-C^T\lambda=0 \\ \nabla_\lambda L(x,\lambda)=Cx-d=0 \end{cases}

由矩阵CC行向量线性无关可得:

Cx=CCTλ=d,λ=(CCT)1dCx=CC^T\lambda=d,\lambda = (CC^T)^{-1}d

则有:

x^=CTλ=CT(CCT)1d=Cd\hat x = C^T \lambda = C^T (CC^T)^{-1} d = C^\dagger d

如果要求确切值需要进行对矩阵CTC^T进行QR分解:

x^=CT(CCT)1d=QR(RTQTQR)1d=QR(RTR)1d=QRTd\begin{aligned} \hat x &= C^T(CC^T)^{-1}d \\ &= QR(R^TQ^TQR)^{-1}d \\ &= QR(R^TR)^{-1}d \\ &= QR^{-T}d \end{aligned}

回代法求解RTz=dR^Tz=d,再计算x^=Qz\hat x=Qz

评论