在SVM的推导中，在得到了原问题的拉格朗日函数表达之后，是一个最小最大问题，通常会将其转化为原问题的对偶问题即是最大最小问题进行求解，我们这里简单介绍下最优化问题的对偶问题。本人无专业的数学学习背景，只能在直观的角度上解释这个问题。

前言

在SVM的推导中，在得到了原问题的拉格朗日函数表达之后，是一个最小最大问题，通常会将其转化为原问题的对偶问题即是最大最小问题进行求解，我们这里简单介绍下最优化问题的对偶问题。本人无专业的数学学习背景，只能在直观的角度上解释这个问题，如果有数学专业的朋友，还望不吝赐教。注意，本文应用多限于SVM，因此会比较狭隘。 如有谬误，请联系指正。转载请注明出处。

联系方式：

e-mail: FesianXu@gmail.com

github: https://github.com/FesianXu

知乎专栏: 计算机视觉/计算机图形理论与应用

微信公众号：机器学习杂货铺3号店

最优化问题

最优化问题研究的是当函数（目标函数）在给定了一系列的约束条件下的最大值或最小值的问题，一般来说，一个最优化问题具有以下形式：

最优化问题可以根据目标函数和约束条件的类型进行分类:

如果目标函数和约束条件都为变量的线性函数, 称该最优化问题为线性规划;
如果目标函数为变量的二次函数, 约束条件为变量的仿射函数, 称该最优化问题为二次规划;
如果目标函数或者约束条件为变量的非线性函数, 称该最优化问题为非线性规划.

对偶问题

最优化问题存在对偶问题，所谓对偶问题，源于这个思想：

原始问题比较难以求解，通过构建其对偶问题，期望解决这个对偶问题得到其原问题的下界（在弱对偶情况下，对于最小化问题来说），或者得到原问题的解（强对偶情况下）。

在SVM中，因为其属于凸优化问题，因此是强对偶问题，可以通过构建对偶问题解决得到原问题的解。我们举一个线性规划中一个经典问题，描述如下：

某工厂有两种原料A、B，而且能用其生产两种产品：
生产第一种产品需要2个A和4个B，能够获利6；
生产第二种产品需要3个A和2个B，能够获利4；此时共有100个A和120个B，问该工厂最多获利多少？

可以简单得到其问题的数学表达式为：当然，得到这个式子的根据就是最大化其卖出去的产品的利润。但是，如果只问收益的话，明显地，还可以考虑卖出原材料A和B的手段，前提就是卖出原材料的盈利会比生产商品盈利高，假设产品A和产品B的单价为和，从这个角度看，只要最小化购买原材料的价格，我们就可以得出另一个数学表达式：

其实，我们可以发现这其实是极大极小问题和其对偶问题，极小极大问题。

一些定义

原始问题

我们要讨论原问题和对偶问题，就需要一些定义，我们给出原始问题的非拉格朗日函数表达形式如式子所示，引进其广义拉格朗日函数（详见文章《拉格朗日乘数法和KKT条件的直观解释》）：其中，而和是拉格朗日乘子，其中由KKT条件有，考虑关于x的函数：这里下标用以表示这个是原始问题。联想到我们在文章《SVM的拉格朗日函数表示以及其对偶问题》中一些关于对偶问题的讨论，我们知道其实中的其实就表示了中的原问题的目标函数和其约束条件，这里再探讨一下： 假设我们存在一个x，使得x违反原始问题的约束条件，从而有或者，那么我们可以推论出： 为什么呢？因为若存在某个i使得，那么就可以令使得)取得无穷大这个“最大值”；同样的，若存在一个j使得，那么就总是可以使得让，而其他各个和均取为0（满足约束条件的拉格朗日乘子取为0）。这样，只有对于满足约束条件的i和j，才会有成立。于是我们有这个分段表达式： $满足原始问题约束其他$ 所以，如果是最小化问题，我们有极小极大问题: 其与式子是完全等价的，有着同样的解。这样一来，我们就把原始的最优化问题转换为了广义拉格朗日函数的极小极大问题，为了后续讨论方便，我们记：其中为问题的解。

极小极大问题的对偶，极大极小问题

我们定义：在考虑极大化有：式子称为广义拉格朗日函数的极大极小问题，将其变成约束形式，为：式子被称为原问题的对偶问题，定义其最优解为：实际上，通过这种方法我们可以将式子转化为式子，也就是将原问题转化为对偶问题，有兴趣的朋友可以自行尝试。

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

正如前面所谈到的，原始问题的解和对偶问题的解存在一定的关系，对于任意的，我们有：等价于：注意，式子对于所有的都成立，因为原始问题和对偶问题均有最优解，所以有：容易得到：由此我们得到了在最小化问题中的结论，这个称为弱对偶。弱对偶指出，解决最小化问题的对偶问题可以得到原问题的解的下界。

既然有弱对偶就会存在强对偶。强对偶指的是的情况，在某些情况下，原始问题和对偶问题的解相同，这时可以用解决对偶问题来代替原始问题，下面以定理的方式给出强对偶成立的重要条件而不予以证明：

考虑原始问题和对偶问题，假设和都是凸函数，是仿射函数，并且不等式约束是严格可行的，既存在，对所有有，则存在，使得是原始问题的解，是对偶问题的解（满足这个条件的充分必要条件就是满足KKT条件¹），并且：

引用

见《拉格朗日乘数法和KKT条件的直观解释》↩︎

前言