拉格朗日对偶性

最新推荐文章于 2026-03-27 00:05:45 发布

原创最新推荐文章于 2026-03-27 00:05:45 发布 · 778 阅读

1 ·

本内容遵循CC 4.0 BY-SA版权协议

标签

#拉格朗日 #对偶问题 #最优化 #机器学习

最优化专栏收录该内容

2 篇文章

订阅专栏

本文介绍了拉格朗日对偶性在机器学习中的作用，通过拉格朗日乘数法将约束最优化问题转化为对偶问题。原始问题与对偶问题在满足一定条件下最优值相等，这种方法常用于解决如SVM和最大熵模型等问题。文中还提及了解决这类问题的KKT条件。

拉格朗日对偶性

在机器学习中，我们经常会遇到给定某些约束条件求解某个函数最大值或最小值的情况，称之为约束最优化，通常的做法是利用拉格朗日对偶性将原始问题转化为对偶问题，通过解对偶问题进而得到原始问题的解. 在机器学习的很多方法中都有用到此方法，如最大熵模型和SVM.

原始问题

我们假设 $f(x),c_i(x),h_(x)$ 是定义在 $R^n$ 上的连续可微函数，考虑如下约束最优化问题：

对于最优化问题我们通常转化为求min
$\begin{aligned} \min_{x\in R^n}\ \ \ \ &f(x)\\ s.t.\ \ \ \ &c_i(x)\leq 0,\ \ \ i=1,2,\dots,k\\ &h_j(x) = 0,\ \ j=1,2,\dots, l \end{aligned}$
我们称这个约束最优化问题为原始问题.

根据高等数学的相关知识可知，对于约束最优化的最常用解法是采用拉格朗日乘数法，将其转化为无约束的函数进而求其最值.

因此我们引入广义拉格朗日函数(generalized Lagrange function)：
$\alpha, \beta) = f(x) + \sum_{i=1}^k\alpha_ic_i(x) + \sum_{j=1}^l \beta_jh_j(x)$

其中， $αi,βj\alpha_i,\beta_j$ 是拉格朗日乘子， $αi≥0\alpha_i \geq 0$ ，我们有如下关于 $x$ 的函数：
$L(x,α,β)\theta_P(x) = \max_{\alpha,\beta:\alpha_i\geq 0}\ L(x, \alpha, \beta)\tag{1.1}$
下标 $P$ 表示原始问题.

假设给定某个 $x$ ，若 $x$ 违反原始问题的约束条件，即存在某个 $i$ 使得 $c_i(w)>0$ 或者存在某个 $j$ 使得 $hj(x)≠0h_j(x)\neq 0$ ，那么有

$\theta_P(x) = \max_{\alpha,\beta:\alpha_i\geq 0} \Big[f(x) + \sum_{i=1}^k\alpha_ic_i(x) + \sum_{j=1}^l \beta_jh_j(x)\Big] = + \infty$

若某个 $i$ 使得约束 $c_i(x)>0$ ，则令 $αi→+∞\alpha_i\rightarrow + \infty$ ，若存在某个 $h_j(x)=0$ ，则令 $βjh(x)→+∞\beta_jh_(x)\rightarrow + \infty$ .

我们可以这样理解，拉格朗日函数相当于构造了一个含参函数，在满足约束条件的情况下，这个函数的值总是小于等于目标函数 $f (x)$ . 而我们此时选取合适的参数 $α、β\alpha、\beta$ 令该函数最大可使等号成立，即令 $L(x,α,β)=f(x)L(x,\alpha,\beta) = f(x)$ ；若不满足约束条件，则总存在 $α、β\alpha、\beta$ 使得该函数趋向于 $+∞+\infty$ .

这里的 $max⁡\max$ 就是选取参数 $α、β\alpha、\beta$ 的过程.

即
$\theta_P(x) = \begin{cases} f(x),&x满足原始问题约束\\ +\infty, &其他 \end{cases}$

至此，我们用一个无约束的函数替代了原来的约束项，接下来我们进一步考虑求解目标函数 $f (x)$ 的最小化.

根据之前的理解，我们很容易得出，求解 $f (x)$ 的最小化等价于求解 $θP(x)\theta_P(x)$ 最小化：
$\min_x \theta_P(x) = \min_x \max_{\alpha,\beta:\alpha_i\geq 0}L(x,\alpha,\beta)\tag{1.2}$

我们将
$(1.3)min⁡xmax⁡α,β:αi≥0L(x,α,β)\min_x \max_{\alpha,\beta:\alpha_i\geq 0}L(x,\alpha,\beta)\tag{1.3}$
称为广义拉格朗日函数的极小极大问题.
我们定义原始问题的最优值
$(1.4)p∗=min⁡xθP(x)p^* = \min_x\theta_P(x)\tag{1.4}$
称为原始问题的值.

对偶问题

定义 $α、β\alpha、\beta$ 的函数：
$(2.1)θD(α,β)=min⁡xL(x,α,β)\theta_D(\alpha,\beta) = \min_xL(x, \alpha,\beta)\tag{2.1}$
再考虑极大化 $θD(α,β)\theta_D(\alpha, \beta)$ ，即
$\max_{\alpha,\beta:\alpha_i\geq 0}\theta_D(\alpha,\beta) = \max_{\alpha,\beta:\alpha_i\geq 0} \min_x L(x,\alpha,\beta)\tag{2.2}$
我们将
$\max_{\alpha,\beta:\alpha_i\geq 0} \min_x L(x,\alpha,\beta)\tag{2.4}$
称为广义拉格朗日函数的极大极小问题.

将广义拉格朗日函数的极大极小问题表示为约束最优化问题：
$\begin{aligned} &\max_{\alpha,\beta}\theta_D(\alpha,\beta) = \max_{\alpha,\beta} \min_x L(x,\alpha,\beta)\tag{2.5}\\ &s.t.\ \ \ \ \alpha_i\geq0,\ \ \ i=1,2\dots,k \end{aligned}$
称为原始问题的对偶问题.

原始问题如下：
$\min_x \theta_P(x) = \min_x \max_{\alpha,\beta:\alpha_i\geq 0}L(x,\alpha,\beta)$

定义对偶问题的最优值：
$(2.6)d∗=max⁡α,β:αi≥0θD(α,β)d^* = \max_{\alpha,\beta:\alpha_i\geq0}\theta_D(\alpha,\beta)\tag{2.6}$

原始问题与对偶问题的关系

(1)若原始问题和对偶问题都有最优值，
对于式 $(1.1) (2.1)$ ，对于任意 $α、β、x\alpha、\beta、x$ ，我们有
$\theta_D(\alpha,\beta) = \min_xL(x, \alpha,\beta)\leq L(x,\alpha,\beta)\leq \max_{\alpha,\beta:\alpha_i\geq 0}\ L(x, \alpha, \beta) =\theta_P(x)$
即
$θD(α,β)≤θP(x)\theta_D(\alpha,\beta)\leq \theta_P(x)$
且原始问题和对偶问题都有最优值，所以
$max⁡α,β:αi≥0θD(α,β)≤min⁡xθP(x)\max_{\alpha,\beta:\alpha_i\geq 0}\theta_D(\alpha,\beta)\leq \min_x\theta_P(x)$
即
$d^* = \max_{\alpha,\beta:\alpha_i\geq 0}\theta_D(\alpha,\beta)\leq \min_x\theta_P(x) = p^*$
对偶问题的最优值应当小于等于原始问题的最优值.

在某些条件下，会出现两者的最优值相等 $d^* = p^*$ ，此时我们就可以用对偶问题替代原始问题，而此时的 $x∗,α∗、β∗x^*,\alpha^*、\beta^*$ 分别是原始问题和对偶问题的最优解.

(2)我们给出如下

定理(充分条件)

对于原始问题
$\begin{aligned} \min_{x\in R^n}\ \ \ \ &f(x)\\ s.t.\ \ \ \ &c_i(x)\leq 0,\ \ \ i=1,2,\dots,k\\ &h_j(x) = 0,\ \ j=1,2,\dots, l \end{aligned}$
和对偶问题
$\begin{aligned} &\max_{\alpha,\beta}\theta_D(\alpha,\beta) = \max_{\alpha,\beta} \min_x L(x,\alpha,\beta)\\ &s.t.\ \ \ \ \alpha_i\geq0,\ \ \ i=1,2\dots,k \end{aligned}$
假设 $f(x)、c_i(x)$ 是凸函数， $h_j(x)$ 是仿射函数，并且假设不等式约束 $c_i(x)$ 是严格可行的，即存在 $x$ ，使得所有的 $c_i(x)<0$ ，

则存在 $x∗,α∗,β∗x^*,\alpha^*,\beta^*$ 使得 $x^*$ 是原始问题的解， $α∗,β∗\alpha^*,\beta^*$ 是对偶问题的解，且
$p∗=d∗=L(x∗,α∗,β∗)p^*=d^* = L(x^*,\alpha^*,\beta^*)$

KKT

如上给出的是求解的充分条件，通常情况下，我们求解问题时，只需要满足假设，即可通过该方法将原始问题转化为对偶问题求解.

对于给定假设， $x∗,α∗、β∗x^*,\alpha^*、\beta^*$ 分别是原始问题和对偶问题的解的必要条件是， $x∗,α∗,β∗x^*,\alpha^*,\beta^*$ 满足 Karush-Kuhn-Tucker(KKT) 条件:
$\Delta_xL(x^*,\alpha^*,\beta^*) = 0\\ \Delta_{\alpha}L(x^*,\alpha^*,\beta^*) = 0\\ \Delta_{\beta}L(x^*,\alpha^*,\beta^*) = 0\\ \alpha_i^*c_i(x^*) = 0, i=1,2,\dots,k\\ c_i(x^*) \leq 0, i=1,2,\dots,k\\ \alpha_i \geq 0, i=1,2,\dots,k\\ h_j(x^*) = 0, i=1,2,\dots,l\\$
其中 $αi∗ci(x∗)=0\alpha_i^*c_i(x^*) = 0$ 称为KKt的对偶互补体哦阿健，由此条件可知：若 $α∗>0\alpha^* > 0$ ，则 $c_i(x^*) = 0$ .

参考资料

李航《统计学习方法》