前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >通俗易懂 | SVM之拉格朗日乘子法

通俗易懂 | SVM之拉格朗日乘子法

作者头像
机器学习炼丹术
发布2020-07-23 15:40:42
8190
发布2020-07-23 15:40:42
举报

在SVM中,将约束问题转化成非约束问题采用到了拉格朗日乘子法。这个文章就讲一下拉格朗日乘子法与KKT约束是怎么回事。本人不是数学科班出身,但是也只能硬着头皮讲一讲了。

从零理解

现在我们要解决这样一个问题:

x^2y=3

这个函数距离原点最近的距离是多少。

先画出函数图像:

然后想求出最短距离:

这里的思路就是,做一个以原点为中心的圆形:

不断扩大圆形的半径,直到圆与蓝色的曲线相切:

现在。第一次与

x^2y=3

相交的点就是距离原点最近的那个点:

这个,圆形与曲线相切,且切线既是圆形的切线,也是曲线的相切。

这时候,这个切线的垂线其实也就是我们所说的梯度,也叫做等高线的法线,看下面两个图可能会好理解一些:

那么这个梯度怎么计算呢?先看圆形

f(x,y)=x^2+y^2

的梯度:

再看曲线的梯度计算

g(x,y)=x^2y

的梯度:

在相切的时候,两者的梯度方向都在同一条直线上,可以称之为,成比例,这里用比例系数

\lambda

来表示:

所以我们汇总一下所有的已知信息,得到下面的方程组:

可以求解得到:

这个就是拉格朗日乘子法的直观理解。

抽象成数学的形式

我们要解决的问题:

\min {x^2+y^2}
s.t. x^2y=3

我们会将约束问题通过拉格朗日乘子法转换成非约束问题:

\min F(x,y)={x^2+y^2+\lambda(x^2y-3)}

【为什么可以这样呢?】如果求极值,偏导数为0。先对上面的公式进行求偏导数:

\frac{\partial F(x,y)}{\partial x}=2x+\lambda 2xy=0
\frac{\partial F(x,y)}{\partial y}=2y+\lambda x^2=0

这两个等式与这个等价,唯一的不同就是

\lambda

一个是正数一个是负数:

当然,对于

x^2y-3=0

这个条件,我们也可以写成

\frac{\partial F(x,y,\lambda)}{\partial \lambda}

,所以,可以得到这样的一个方程组:

KKT条件

  • KKT的英文全称:Karush-Kuhn-Tucker

之前的拉格朗日的约束条件是等值的,现在可以通过KKT条件推广到不等式。因为限制条件往往是不大于,小于这样的不等式,所以KKT才是拉格朗日化约束问题为非约束问题的关键。

对于不等式问题,就是有两种情况:

  • 可行解在g(x)<0;
  • 可行解在g(x)=0。

可行解在g(x)<0,就表示这个约束条件并没有起到约束效果,有跟没有是一个效果(下图中的左图);可行解g(x)=0,就表示这个约束条件起到作用了,这就表示g(x)与f(x)相切,也就是下图中右边的图。

【g(x)<0的情况】这种情况下,就是没有限制条件下的情况,其实就是没有约束条件的限制,也就是

\lambda=0

的情况,所以我们的等式就是直接求解:

\Delta f(x)=0

【g(x)=0的情况】如果是g(x)=0的情况,那也就是约束条件起到作用了,也就意味着

\lambda>0

。在这种情况下,存在着:

\Delta f(x) = -\lambda \Delta g(x)

并且两个函数的扩张的方向相反,所以表明两个g(x)和f(x)的梯度一个是正数,一个是负数。所以这个表示

\lambda>0

所以综上所述,在这种情况下,我们所有的条件综合起来可以得到,其中

x^*

就是最优解:

\lambda >=0
\lambda g(x^*)=0
g(x^*) <= 0

这三个就是KKT条件。

本文参与 腾讯云自媒体分享计划,分享自微信公众号。
原始发表:2020-07-20,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 机器学习炼丹术 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体分享计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 从零理解
  • 抽象成数学的形式
  • KKT条件
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档