从拉格朗日乘数法到KKT条件

从拉格朗日乘数法到KKT条件

最近看论文遇到了Karush–Kuhn–Tucker （KKT）条件，想搞清楚这是个什么东东，因此就把这个东西认真学习一下并且分享出来，希望对大家有用。学习KKT就不得不先学习一下拉格朗日乘数法，于是不得不重新翻出被记忆尘封的高数~~

1.拉格朗日乘数法

在数学最优问题中，拉格朗日乘数法是一种寻找变量受一个或多个条件所限制的多元函数的极值的方法。这种方法将一个有n 个变量与k 个约束条件的最优化问题转换为一个有n + k个变量的方程组的极值问题，其变量不受任何约束。这种方法引入了一种新的标量未知数，即拉格朗日乘数：约束方程的梯度（gradient）的线性组合里每个向量的系数。

以二元函数为例：

设给定二元函数

$$\begin{gathered} maxz=f(x,y) \\ s.t.\phi (x,y)=0 \end{gathered}$$

为寻找z=f(x,y)在附加条件下的极值点，先做拉格朗日函数

$$F(x,y,\lambda )=f(x,y)+\lambda \phi (x,y)$$

其中$\lambda$为参数。令$F(x,y,\lambda )$对$x$和$y$和$\lambda$的一阶偏导数等于零，即

$$F_x^{\prime }={ƒ}_x^{\prime }(x,y)+\lambda {\phi }_x^{\prime }(x,y)=0$$

$$F_y^{\prime }={ƒ}_y^{\prime }(x,y)+\lambda {\phi }_y^{\prime }(x,y)=0$$

$$F_{\lambda }^{\prime }=\phi (x,y)=0$$

由上述方程组解出$x,y$及$\lambda$，如此求得的$(x,y)$，就是函数$z=ƒ(x,y)$在附加条件$\phi (x,y)=0$下的可能极值点。
若这样的点只有一个，由实际问题可直接确定此即所求的点。

下面这篇博客可以很好的帮助理解：

支持向量机（SVM）课前准备（一）–拉格朗日乘子法 - be·freedom - 博客园 (cnblogs.com)

2.KKT条件

先给出一个KKT条件的实例，我们优化的目标是：

$$\begin{gathered} minimizef(x) \\ s.t.k_i=0 \\ {g}_j\le 0,i,j=1,2,3,... \end{gathered}$$
其中，KKT条件如下：

$$\begin{gathered} \nabla f+\sum {\lambda }_i{k}_i+{\omega }_j{g}_j=0.......(1) \\ {k}_i=0......(2) \\ {g}_j=0......(3) \\ {u}_j\ge 0......(4) \\ {u}_j{g}_j=0......(5) \end{gathered}$$
公式1、2、3容易理解。

公式4、5，通过一个简单例子说明：

$$\begin{gathered} minimizef(x) \\ s.t.g_1(x)=a-x\le 0 \\ {g}_2(x)=x-b\le 0 \end{gathered}$$

$g_i$添加一个 ≥0 的松弛变量$a_1^2,b_1^2$。得到
$$\begin{gathered} g_1(x)=a-x+a_1^2 \\ {g}_2(x)=x-b+b_1^2 \end{gathered}$$

由此，我们将不等式转化为等式约束，应用拉格朗日乘子法。

拉格朗日方程如下：

$$L(x_1,a_1,b_1,u_1,u_2)=f(x)+u_1(a-x+a_1^2)+u_2(x-b+b_1^2)...(1)$$
对方程求偏导如下：

$$\{\begin{array}{l}\frac{\partial F}{\partial x}=\frac{\partial f}{\partial x}+u_1\frac{d{g}_1}{dx}+u_2\frac{d{g}_2}{dx}=\frac{\partial f}{\partial x}-u_1+u_2=0...(2)\\ \frac{\partial F}{\partial u_1}=a-x+a_1^2=g_1+a_1^2=0...(3)\\ \frac{\partial F}{\partial u_2}=x-b+a_1^2=g_2+b_1^2=0...(4)\\ \frac{\partial F}{\partial a_1}=2u_1{a}_1=0...(5)\\ \frac{\partial F}{\partial b_1}=2u_2{b}_1=0...(6),u_1\ge 0,u_2\ge 0\end{array}$$

那么现在开始解方程组

首先考虑 式5，

当$u1=0，a1\ne 0$时，即$g_1$ 对$f(x)$无约束

当$u1\ne 0，a1=0$时，即 $g_1$对$f(x)$有约束，且根据式3可知，$g_1$ 也等于0。

式6同理。注意，不等式对f(x)有约束效果时，不等式等于零。

此时，方程组简化成

$$\{\begin{array}{l}\frac{\partial f}{\partial x}+u_1\frac{d{g}_1}{dx}+u_2\frac{d{g}_2}{dx}=0\\ u_1{g}_1(x)=0,u_2{g}_2(x)=0,\\ {\mu }_1\ge 0,{\mu }_1\ge 0.\end{array}$$

推广，对于多个不等式约束，有

$$\begin{gathered} minf(x) \\ s.t.g_j(x)\le 0(j=1,2,...,m) \end{gathered}$$

我们有

$$\{\begin{array}{l}\frac{\partial f(x^{\ast })}{\partial x}+{\sum }_{j=1}^m{u}_j\frac{d{g}_j(x^{\ast })}{d{x}^{\ast }}=0\\ u_j{g}_j(x^{\ast })=0(j=1,2,...,m),\\ {\mu }_j\ge 0(j=1,2,...m).\end{array}$$

上述不等式称之为KKT条件，与本文一开始略有不同的是没有了等式的约束（不用在此纠结，我们关心的是不等式的约束问题），其中$u_j$称之为KKT乘子