二次规划问题 - 走看看

zoukankan html css js c++ java

二次规划问题

解决最优化问题： $min_{(w,b)}<w,w>$

                                                         $s.t. y_i(<w,x_i>+b) \geq 1$

稍微对它做一下改动，如下：

                                        $min{ limits_{(w,b)}}frac{1}{2}||w||^2$

                                        $s.t.$    $y_i(<w,x_i>+b) \geq 1$    $(i=1,2,...n)$

这是一个约束优化问题，更进一步说是一个二次规划问题，复习一下约束优化问题：

     定义1：约束非线性问题是，







其中和都是定义在上的实值连续函数，且至少有一个是非线性的(反之为线性约束优化问题)，m是一个正整数，叫做目标函数，叫做约束函数，如果目标函数是二次函数则叫做二次规划问题，由同时满足所有约束方程的点组成的集合叫做可行域，这些点叫可行点。

      定义2:Farkas引理，对于给定的n维向量 $a_i$ $(i=1,2,...m)$ 与b，对于任意满足 $a_i^TP \geq 0$    $i=1,2...m$ 的向量P，必有 $P^Tb \geq 0$ 的充要条件是：b在向量 $a_i$ $(i=1,2,...m)$ 所形成的凸锥内，即成立： $b=sumlimits_{i=1}^m{lambda_ia_i}$ ， $\lambda \geq 0$    $(i=1,2,...m)$ 。

怎么理解“某个向量在若干其它向量形成的凸锥内”这个描述呢？可以看下图，

利用平行四边形法则，可以看到向量b处于由 $a_i$ 形成的凸多边形内，发挥一下想象力，在空间中这不就像是一个凸的锥状体嘛。

       定义3：对于约束问题，如果有一个可行点 $x^*$ ，存在且满足

                                                  $_8_M`_`A)`B(12%{$%`W32A$

                                                 这里 $c_i(x)$ 都是有效约束。

则 $x^*$ 叫做K-T点。

      K-T点的几何意义可以从下图看出：

      显然x1是K-T点而x2则不是。在一般非线性规划中，K-T条件是最优解的必要条件但不是它的充分条件，此时K-T点不一定是最优点，但对于凸规划问题，K-T条件是最优解的充要条件；顺便说下，凸规划是个好同志，它的局部最优解就是全局最优解，所以它的K-T点就是全局最优点。

      定理1:设 $x^*$ 是约束问题的局部极小点， $x^*$ 点处的线性化可行方向的集合等于其序列可行化方向的集合，则必存在 $\lambda^*_i$ $(i=1,2,...n)$ 使得：



                             这里 $c_i(x)$ 都是有效约束。

“ $x^*$ 点处的线性化可行方向的集合等于其序列可行化方向的集合”这个条件怎么满足呢？只要所有有效约束都是线性函数即可，此时 $x^*$ 必是一个K-T点。

      定理2:一阶最优性条件：对于可行点 $x^*$ ，如果目标函数和所有有效约束在 $x^*$ 处可微，且任意、非零的，在 $x^*$ 处的序列可行化方向向量d满足： $3F]U}OD)V8RK1AA4]_[{AKL$ ，则 $x^*$ 为严格局部极小点。这意味着，当向某一点处的任意方向移动都将导致目标函数值上升，那么这个点不就是一个局部极小点嘛。

      定理3:二阶最优性条件：设 $x^*$ 为K-T点， $\lambda^*$ 是相应的拉格朗日乘子，如果，其中d为非零的、 $x^*$ 处的线性化零约束方向，则 $x^*$ 为严格的局部极小点。

      推论1：设 $x^*$ 为K-T点， $\lambda^*$ 是相应的拉格朗日乘子，如果对一切满足的非零向量d都有，则 $x^*$ 为严格的局部极小点。

      对于前面的约束非线性规划问题，如果 $f(x)$ 是二次函数且所有约束是线性函数的时候就变成了二次规划问题，这一写成以下形式：







       定理4：如果 $x^*$ 是二次规划问题的可行点，则 $x^*$ 是局部极小点的充要条件是：当且仅当存在拉格朗日乘子 $\lambda^*$ ，使得：

                               $g+Hx^*=sumlimits_{i=1}^{m}{lambda_i^*a_i}$

                              $\lambda^*_i[a_i^Tx^*-b_i]=0,$     $i=m_e+1,...m$

                              $\lambda^*_i \geq 0$ ， $i=m_e+1,...m$

成立，（即 $x^*$ 是K-T点）且对于一切满足





                           （其中E为等式的有效约束，I( $x^*$ )为不等式的有效约束）

的向量d都有： $d^THd>0$ 。

        定理5:设H为半正定矩阵(所有特征值大于等于0)，则 $x^*$ 二次规划问题的全局极小点当且仅当它是一个局部极小点或者K-T点。

      当H为半正定矩阵，目标函数为凸函数时，该二次规划被叫做凸二次规划，它的任何K-T点都是极小点。回想我们开篇要解决的那个问题，目标函数显然是一个凸函数，所以它是一个凸二次规划问题，所以一定存在全局极小点(真好！)。

      到此，我们就可以开始解决开篇的那个问题：

                                        $min{ limits_{(w,b)}}frac{1}{2}||w||^2$

                                                $s.t.$    $y_i(<w,x_i>+b) \geq 1$

已经确定它是一个凸二次规划问题了，那么可以利用其拉格朗日函数： $L(w,b,alph)=frac{1}{2}||w||^2-sumlimits_{i=1}^nalph_i(y_i(<w,x_i>+b)-1)$

通过对 $w$ 和 $b$ 求偏导数后得到：

                                            $w=sumlimits_{i=1}^{n}{alph_iy_ix_i}$

                                            $sumlimits_{i=1}^{n}{alph_iy_i}=0$

带入原始拉格朗日函数，转化为对偶问题：

                              $L(w,b,alph)=frac{1}{2}||w||^2-sumlimits_{i=1}^nalph_i(y_i(<w,x_i>+b)-1)$

                                            $=frac{1}{2}(sumlimits_{i,j=1}^n{y_iy_jalph_ialph_j<x_i,x_j>})-(sumlimits_{i,j=1}^n{y_iy_jalph_ialph_j<x_i,x_j>})+(sumlimits_{i=1}^n{alph_i})$

                                            $=sumlimits_{i=1}^n{alph_i}-frac{1}{2}(sumlimits_{i,j=1}^n{y_iy_jalph_ialph_j<x_i,x_j>})$

这样就把带不等式约束的优化问题通过其对偶形式转化为只带等式约束的优化问题，即下面的最优化问题W：？？？？

                             $max quadquadquadquad W(alph)=sumlimits_{i=1}^{n}{alph_i}-frac{1}{2}sumlimits_{i,j=1}^{n}{y_iy_jalph_ialph_j<x_i,x_j>}$

                              $s.t.quadquadquadquad sumlimits_{i=1}^{n}{alph_iy_i}=0$

                                     $\alph_i \geq 0 \quad\quad\quad\quad i=1...n$

求得 $\alph_i$ 后就得到了 $w^*=sumlimits_{i=1}^{n}alph_i^*y_ix_i$ ，它使得几何间隔 $gamma=frac{1}{||w||}$ 取最大值，从而得到最优分类超平面。

      K-T点要满足的条件还有一个是： $\alph^*_i(y_i(<w^*_i,x_i>+b^*)-1) =0$ ，这个式子说明了什么问题呢？

      1、显然，函数间隔不等于1的那些输入点的拉格朗日系数必为0(这些点是非积极因素)，而函数间隔恰好为1的输入点的拉格朗日系数则不为0(这些点是积极因素)，这说明确定最终分类超平面的就是这些函数间隔为1的边界点，所以这些输入点就是支持向量(Support Vector)。从这里也能看出支持向量机的抗干扰能力比较强，对非积极因素的扰动对于最优化解没有影响；

      2、 $y_i(<w^*,x_i>+b^*)-1=0$ ，其中i为支持向量，因为： $y(<w^*,x_i>+b^*)=y(sumlimits_{i in support quad vector}y_ialph_i^*<x_i,x>+b^*)=1$

，我们的目标函数 $<w^*,w^*>=sumlimits_{i,j in support quad vector}{y_iy_jalph_i^*alph_j^*<x_i,x_j>$

                                      $=sumlimits_{j in support quad vector}{alph_j^*y_j}sumlimits_{i in support quad vector}{y_ialph_i^*<x_i,x_j>}$

                                      $=sumlimits_{j in support quad vector}{alph_j^*y_j}(frac {1} {y_j}-b^*)$

                                      $=sumlimits_{i in support quad vector}{alph^*_i}$ (注意这里 $b^*$ 为常数，且有约束条件 $s.t.quadquadquadquad sumlimits_{i=1}^{n}{alph_iy_i}=0$ ）

于是通过这样的对偶转化，我们得到了实现几何间隔为 $gamma=frac{1}{||w^*||}= {(sumlimits_{i in support quad vector}alph^*_i)}^{1/2}$ 的最大间隔超平面。

     通过上面的推导也可以看出将二次规划转化为其对偶问题可以简化约束条件，让我们记住最优化问题W吧，这是一个很牛逼的转化，这个式子还有个特点，就是“数据仅出现在内积中”。

     前面的讨论都是说输入样本是线性可分的时候怎么找到最大间隔超平面来划分两类数据，那么如果输入样本是线性不可分的，那可怎么办呀，前面的那些讨论不就成徒劳的了么？学习SVM后才知道它牛的地方，如果我们可以通过某种函数映射将输入样本映射到另外一个高维空间并使其线性可分的话，前面的讨论结果不就都可以用到了么，还记得“数据仅出现在内积中”吧，假设这个映射关系是： $\Phi:X->F$ ，这时候的内积 $<x_i,x_j>$ 就变成了 $<\Phi(x_i),\Phi(x_j)>$ ，如果有方法能够将内积 $<\Phi(x_i),\Phi(x_j)>$ 直接算出，就将把输入样本“从低维空间向高维空间映射”和“求映射后的内积”这两步合并成了一步，这样直接计算的方法就是核函数方法，下篇学习核函数吧，SVM的理论部分还是很数学的啊！

查看全文

相关阅读:
生日小助手源码运行的步骤
 关于生日小助手跨平台兼容性的临时解决方案
 生日小助手V3.0——跨平台的农历生日提醒软件
 生日小助手V3.1——跨平台多语言的农历生日提醒软件
 有关生日小助手的内容，请浏览生日小助手官方网站……
生日小助手的详细规划——本博文随时更新，持续有效
 生日小助手V2.0发布了——可以正式投入使用！
前端开发入门的几本推荐书籍
 多想一想，JS中函数声明和函数表达式的区别
 table固定宽度大小

原文地址：https://www.cnblogs.com/awishfullyway/p/6031408.html

Copyright © 2011-2022 走看看