优化理论系列1——拉格朗日对偶及强弱定理证明(一)

引言

首先要明白为什么要引入对偶问题,或者说为什么要将求解原问题转化为其求解对偶问题。

答:这是因为有些优化问题的原问题很难求解或者是原问题无法用现有的优化方法求解,但其对偶优化问题容易求解。所以在讲到SVM(Support Vector Machines),必定要提到Lagrange Dual问题,而且转化为对偶问题后能引入Kernel Fuction,也就是所谓的核函数。

对偶问题在SVM优化中的地位如此重要,而强弱对偶定理在对偶优化问题又占有重要的地位。一般的机器学习在讲到SVM部分时一般只讲如何将最大间隙问题化为其对偶问题,而对对偶问题中的强弱对偶定理一般只给出结论,比如Andrew NG的机器学习公开课讲义。笔者在最优化方法课程中恰好也学到了对偶理论,一般教科书对强对偶定理的初等证明又晦涩难懂,所以想写一下关于此定理相对通俗易懂的证明,也顺便梳理一下自己对强定理证明的理解。

1.优化原问题和其对偶问题


一般带约束优化问题如下:

findx⃗ Rnminf(x⃗ )s.tgi(x⃗ )0, i=1,...,k.hj(x⃗ )=0, j=1,...,l.

其对偶(Lagrange Dual)问题如下:
findw⃗ ,v⃗ maxθ(w⃗ ,v⃗ )s.tw⃗ 0

其中,
θ(w⃗ ,v⃗ )=inf{f(x)+i=1kwigi(x)+j=1lvihj(x)}

2.引理和推论


在进入正题之前,先证明几个重要的引理和推论。

Lamme1. 弱对偶问题(Weak Dual Theorem):

x⃗  w⃗  为原问题和对偶问题的可行解,则

θ(w⃗ ,v⃗ )f(x)

Proof:
θ(w⃗ ,v⃗ )=inf{f(x)+i=1kwigi(x)+j=1lvjhj(x)}f(x)+i=1kwigi(x)+j=1lhj(x)f(x)

其中第二个不等号是因为 x⃗  为原问题可行解,所以 gi(x⃗ )0, i=1,...,k.hj(x⃗ )=0, j=1,...,l.

Lemma2. (推论1)

sup{θ(w⃗ ,v⃗ )}inf{f(x)}

Proof :

左边对 w⃗ v⃗  取上确界 sup ,右边对可行解 x⃗  取下确界 inf .得证.

Lemma3. (推论2)

如果 f(x⃗ )θ(w⃗ ,v⃗ ) ,那么 x⃗ w⃗ ,v⃗  分别为原问题和对偶问题的最优解。

Remark: 本文只讨论原问题和其对偶问题都有界的情况。

3.对偶间隙


若原问题最优解为 fmin ,对偶问题最优解为 θmax(w⃗ ,v⃗ ) ,有

θmax(w⃗ ,v⃗ )fmin(x)

如果严格不等号成立,即
θmax(w⃗ ,v⃗ )<fmin(x)

则存在“对偶间隙”。


优化理论系列1——拉格朗日对偶及强弱定理证明(一)_第1张图片
1.

优化理论系列1——拉格朗日对偶及强弱定理证明(一)_第2张图片
2.

Andrew Ng 在机器学习note3中提到:


优化理论系列1——拉格朗日对偶及强弱定理证明(一)_第3张图片

dp 取等号就是下面要讲到的强对偶定理。

Remark:dp 还能引出所谓的鞍点条件。

Theorem 强对偶定理(Strong Dual Theorem)

讲义中对强对偶定理描述如下:


这里写图片描述

Proof

在给出强对偶定理严格证明之前,我们首先从几何直观上先来看看定理中的条件,如 1 2 。假设原优化问题可行域为非空凸集合,也就是 1 2 左上角绿色区域,先不考虑等式约束 hj(x)=0j=1...k 。不等式约束和目标函数将可行域隐射到另一个坐标上,如 1 2 。我们可以清楚的看到,如果不等式约束和目标函数都是凸函数,那么对偶间隙是不存在的。等式约束 hj(x)=0j=1...k 可以写成 hj(x)0hj(x)0j=1...k hj(x)hj(x) 为凸函数,几何直观上可以将 hj(x) 是一条直线,自然能想到 hj(x) 是一个仿射函数。这个定理的几何直观性显而易见,如果只想会用这个定理的话,这就够了。

你可能感兴趣的:(优化算法,机器学习)