拉格朗日乘数法

写在前面:貌似在网上找不到一些比较容易懂的讲究,所以蒟蒻就来自己写一篇好了(应该是我太弱了,大佬们写的都看不懂)

---

极值问题有两类:一个是对变量有限制的,叫做条件极值;一个是没有限制的,叫做非条件极值

拉格朗日乘数法是用来把条件极值的变成非条件极值的,没有限制就可以乱搞求解了

设$f(x_1,\ldots,x_n)$是要去求最值的,$g(x_1,\ldots,x_n)$是限制

既然要求$f$的最值,理论上只要求出$f$在满足限制下的导数零点就可以了

设$f_{x_i}$表示$\frac{\partial f}{\partial x_i}$也就是$f$对$x_i$求偏导数

本质上其实和导数一样,就是把$x_i$当做变量,其他的当做常量求导就好了

设$p$为$x_1$关于$x_2,\ldots,x_n$的函数,这个可以从$g$里面解出来

$$\frac{\partial f}{\partial x_i}=\frac{\partial f}{\partial p}\frac{\partial p}{\partial x_i}\\ \frac{\partial g}{\partial x_i}=\frac{\partial g}{\partial p}\frac{\partial p}{\partial x_i}\\ \frac{\partial p}{\partial x_i}=\frac{\frac{\partial g}{\partial x_i}}{\frac{\partial g}{\partial x_1}}=\frac{g_{x_i}}{g_{x_1}}\\ \Rightarrow f_{x_i}=\frac{f_{x_1}}{g_{x_1}}g_{x_i}\\ \Rightarrow f_{x_i}+\lambda g_{x_i}=0,\lambda=-\frac{f_{x_1}}{g_{x_1}}$$
因为$\lambda$是一个定值,也就是说$f+\lambda g$对任意的$x_i$求偏导都为$0$

这类题目一般的做法就是先求出$\frac{\partial f+\lambda g}{\partial x_i}=u(x_i)+\lambda v(x_i)=0$

然后求出$x_i$关于$\lambda$的函数,通常这个函数是可以$O(1)$或者$O(\log n)$求出并且具有单调性的

所以就可以二分$\lambda$,然后求出$x_i$,然后通过判断所有的$x_i$是否满足$g$的限制来确定新的二分边界

几道用到拉格朗日乘数法的题目

$[Jzoj5606]Yja$

$[NOI2012]$骑行川藏