割线法求解过程_求解稀疏优化问题2——临近点方法+半光滑牛顿法

这篇文章是我之前一篇文章的兄弟篇,没看过的可以看下面这个。

邓康康:求解稀疏优化问题——半光滑牛顿方法​zhuanlan.zhihu.com
39f767d2a15178cf13b674edd3f4e4d1.png

我们考虑的问题仍然是如下的一般问题:

其中

,并且
特别大;
  • 表示一个凸可微函数,例如
  • 表示一个闭真凸函数,一般为稀疏正则函数,比如 LASSO:
    ,Fused LASSO,Clustered LASSO等

通过引入变量

,我们先把(P)转化为约束问题

于是我们得到(P)的对偶问题为:

在之前的那篇文章中,我提到了怎么利用增广拉格朗日方法(ALM)去求解对偶问题(D),该方法中的子问题采用的是半光滑牛顿法。 主要idea大概分为三步:
  1. 将原问题转化为对偶问题
  2. 利用增广拉格朗日方法求解对偶问题
  3. 子问题采用半光滑牛顿法

主要代价在于半光滑牛顿法,而由于非光滑函数

的稀疏性,导致子问题中的Jacobian矩阵也是稀疏的,进而大大降低了该方法的计算量。本质上,这个方法是一个应用于对偶问题上的增广拉格朗日方法。这篇文章我们换个角度,从原始问题(P)出发去设计算法。

在我的另一篇文章中

邓康康:原始对偶角度下的几类优化方法​zhuanlan.zhihu.com

里面讲到了:

对偶问题上的临近点方法等价于原问题上的增广拉格朗日方法。

而对偶问题的对偶问题是原问题。所以我们是不是有,

原始问题上的临近点方法等价于对偶问题上的增广拉格朗日方法?

所以这篇文章我们来讲述临近点方法应用到原始问题。参考的是孙老师的两篇文章,见文章末尾的参考文献。


一、邻近算子和Moreau Envelope

首先,我给出一些需要用到的一些定义和性质。

定义

1.临近算子

2. Moreau envelope

性质
  1. 是光滑函数,并且它的梯度为:
  2. Moreau分解:
  3. Moreau envelope分解:

二、临近点方法求解原问题

首先,临近点方法有如下迭代形式:

其中

表示罚参数。现在关键在于这个子问题怎么求?这要是没有
就好了,直接一个临近算子就搞定。 既然不好求,那我们就变成对偶问题去看看。首先对(1)做变量替换,转化为约束问题:

构建拉格朗日函数:

那么其对偶问题为:

我们最终要求的就是对偶问题(D.1)。需要说明一下,这里的原始问题(P.1)和对偶问题(D.1)是针对临近点方法的子问题而言的。我们来看一下对偶问题(D.1)的目标函数

的表达式:

其中第一部分关于

的问题是一个临近算子,最后一个等式就是将
的临近算子表达式代入。显然上式看起来很复杂,接下来我们来简化上式:

第一个等式用到了定义2,第二个等式用到了性质3。

最终我们将对偶问题(D.1)转化为如下问题:

定义

为:

这个函数跟 邓康康:求解稀疏优化问题1——增广拉格朗日方法+半光滑牛顿方法

中的函数一模一样。

求到了对偶变量

之后,最终我们是要去得到
. 在式子(3)中我们知道二者的关系是:

综合一下最终的迭代过程为:

其中

问题的求解采用的是半光滑牛顿法,具体的jacbi矩阵怎么求,稀疏性怎么利用参考下面这篇文章
邓康康:求解稀疏优化问题1——增广拉格朗日方法+半光滑牛顿方法​zhuanlan.zhihu.com
39f767d2a15178cf13b674edd3f4e4d1.png

三、半光滑牛顿法求解对偶问题(D.1)

根据上面的推导,我们知道求解对偶问题(D.1)等价于求解

因为上述问题是个凸问题,我们只要找到梯度等于0的点即可:

首先根据

是个强凸函数,所以其共轭
是光滑的,再结合性质1,我们知道
是一个光滑函数,其梯度表达式为:

第一个等式用到了性质1,第二个等式用到了性质2。这里说一下为什么是半光滑牛顿法,因为

虽然函数光滑,但临近算子的存在导致这个函数的梯度不是光滑的。

有了梯度之后,我们来求解其广义Jacobian矩阵。

第一部分,

通常很简单,比如二范数的平方。因此求二阶导也不需要什么计算量。关键的地方在于计算后面这部分。当
是稀疏正则的时候,我们发现它的临近算子的导数通常是稀疏的。举例1范数正则,当
,其临近算子的导数
是一个对角矩阵,且对角元为:

这样的话,(8)的后面这部分,我们只需要计算由非零元对应矩阵

的列构成的子矩阵相乘即可,当非零元较少的时候,这个计算量是很小的。

最后我们给出半光滑牛顿法的迭代过程:

其中

半光滑牛顿法迭代完之后,令

.这样就完成了临近点方法的第k次迭代。

再说一下:(5)是我们的外迭代,也就是临近点方法求解原问题。而(8)是用半光滑牛顿法求解(5)中的第一个子问题。Over!

二、总结

最后梳理下这篇文章的idea:

  1. 临近点方法求解原问题
  2. 将子问题转化到对偶形式
  3. 半光滑牛顿法求解对偶问题
  • 在之前那篇文章中,增广拉格朗日方法中的罚参数就对应于这里临近点方法的罚参数。二者的迭代是一样的,只不过在参数的选择和收敛性分析方面会有不同。
  • 不同角度理解问题,得到不同的方法,虽然本质上是一样的,但由此带来的延伸就不一样了,在增广拉格朗日方法和临近点方法上的改进可以完全不同。

欢迎关注我的专栏

最优化理论和一阶方法​zhuanlan.zhihu.com
08438235a9599249f8301247a88fa0b4.png

详细内容和理论证明可以看孙德锋老师主页:

知乎 - 安全中心​www.polyu.edu.hk

参考文献

[1] Zhang Y, Zhang N, Sun D, et al. A Proximal Point Dual Newton Algorithm for Solving Group Graphical Lasso Problems[J]. arXiv preprint arXiv:1906.04647, 2019.

[2] Lin M, Sun D, Toh K C, et al. A dual Newton based preconditioned proximal point algorithm for exclusive lasso models[J]. arXiv preprint arXiv:1902.00151, 2019.

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/272985.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

html 树形图可拖拽,HTML5拖拽API实现vue树形拖拽组件

因业务场景需要一个可拖拽修改节点位置的树形组件,因此动手撸了一个,乘此机会摸了一把html5原生拖拽。近期有时间将核心部分代码抽出,简单说下实现方式。1.树形结构-组件递归使用树形结构非常简单,tree组件作为父组件,…

navicat 或者workbench 无法连接127.0.0.1(61)的解决方法

1、输入mysql -uroot 进入命令行模式, 2、输入"show variables like %sock%;"查看sock文件所在位置 如: 3、配置客户端(以navicat为例) (1)打开mac 下的navicat(2)建立相应的连接&…

jmeter如何定位网络延时_JMeter用户定义变量和properties变量高级使用

Jmeter有个配置元素叫做用户自定义变量(英文名称是UserDefinedVariables)而我们提到的vars即是Variables的简写。 之前我们也说到过Jmeter的脚本中(jsr223sampler或者beanshell编写的脚本)使用varsput和varsget的操作(varsget和put的操作仅在threadgroup测试组线程中执行&#…

html5与跨平台开发,HTML5应用与跨平台应用开发

本课程将总体讲解开发HTML5应用和跨平台应用的方法,共分成三部分。第一部分为HTML5开发基础,带你分析并掌握多种移动开发技术和设计方式;第二部分为HTML5高级应用,讲解在HTML5中调用其它应用或服务的方法;第三部分为跨…

jQuery中的几个模块总结

Query插件,以备并希望在前端方面有所长进。请批评指正。 一,类型判断全解 JQuery判断类型扩展方法:$.type() 1 /*type: function( obj ) { 2 if ( obj null ) { 3 return obj ""; 4 } …

python实现连续数列相加_技术 | Python经典面试题解析实现斐波那契数列

黑马程序员微信号:heiniu526传智播客旗下互联网资讯,学习资源免费分享平台大家在面试过程中经常会考到斐波那契数列,斐波那契数列(Fibonacci)最早由印度数学家Gopala提出,而第一个真正研究斐波那契数列的是意大利数学家 Leonardo …

广西2021高考成绩位次查询,2020年广西高考一分一段表及高考位次成绩排名查询(理科+文科)...

一、2020年广西高考一分一段表查询排名方法广西招办(考试院)会公布的省市高考每一分分数的考生数额统计表就是我们所说的——高考“一分一段表”,其显示出每一分的分数值全省考生有多少名,就可以让考生估算出自己的排名位次。2020年广西高考一分一段表排…

PV公式

IP(独立IP): 即Internet Protocol,指独立IP数。00:00-24:00内相同IP地址之被计算一次。PV(访问量): 即Page View, 即页面浏览量或点击量,用户每次刷新即被计算一次。UV(独立访客):即Unique Visitor,访问您网站的一台电脑客户端为…

csv文件 内容转义_CSV文件如何同时转义逗号和双引号?

小编典典有几个库。这是两个示例:阿帕奇共享郎包括一类特殊的逃避或UNESCAPE字符串(CSV,EcmaScript的,HTML,Java和JSON,XML)org.apache.commons.lang3.StringEscapeUtils 。转义 为CSVString escaped StringEscapeUti…

台式计算机单核与双核,什么是单核cpu、双核cpu 单核cpu和双核cpu的区别是什么...

在买电脑的时候,我们经常会发愁,究竟是买单核cpu好,还是买双核cpu比较好,尤其是面对售货员把单核cpu电脑和双核cpu电脑都可以夸的天花乱坠的时候,我们更糊涂了,究竟买哪种好呢?针对这种情况,小…

当用DJANGO的migrate不成功时。。。。

URL:http://my.oschina.net/u/862582/blog/355421 因为操作SQL数据库时不规范,或是多人开发时产生了同步问题,就可能导致正规的MIGRATE时不能完成。 已其修改,不如直接生成SQL之后运行。。 记住语法即可。。。 python manage.py sqlmigrate a…

R语言seqm_R语言seq()函数用法

1、seq()用来生成一组数字的函数。Usage:## Default S3 method:seq(from 1, to 1, by ((to - from)/(length.out - 1)),length.out NULL, along.with NULL, ...)seq.int(from, to, by, length.out, along.with, ...)seq_along(along.with)seq_len(length.out)A…

美国计算机生物学要求,美国大学CS专业分支生物信息学和计算生物学专业 Bioinformatics and Computational Biology介绍...

美国留学申请美国大学计算机专业(CS)的学生非常多。美国大学CS专业的研究分支也非常 多,不同分支对学生的要求也会不同,因此,学生们要根据自己的条件选择适合自己的研究方向。下面主要为大家介绍的是美国大学CS专业分支生物信息学和计算生物学…

Spark入门实战系列--8.Spark MLlib(上)--机器学习及SparkMLlib简介

【注】该系列文章以及使用到安装包/测试数据 可以在《倾情大奉送--Spark入门实战系列》获取 1、机器学习概念 1.1 机器学习的定义 在维基百科上对机器学习提出以下几种定义: l“机器学习是一门人工智能的科学,该领域的主要研究对象是人工智能&#xff0c…

cadz轴归零命令_CAD图形Z轴坐标归零方法

AutoCAD2012 64位精简版中文免安装版软件大小:561.5M授权方式:免费软件立即下载CAD软件怎样将图形坐标Z轴归零?当我们遇到CAD图形标高一致的时候,如果想要让图形统一标高,就需要先将图形坐标Z轴归零。本次小编为您整理了CAD软件里…

net以execl做数据库_[原创]Net实现Excel导入导出到数据库(附源码)

关于数据库导出到Excel和SQLServer数据导出到Excel的例子,在博客园有很多的例子,自己根据网上搜集资料,自己做了亦歌简单的demo,现在分享出来供初学者学习交流使用。一、数据库导入导出到Excel,比较流行的有两种方式&a…

计算机基础cpu知识,CPU基础知识: DIY装机小白必看的CPU知识扫盲

CPU也就是中央处理器,全拼为Central Processing Unit,在计算机中可以比喻成人的大脑。它是一块超大规模的集成电路,是一台计算机的运算核心和控制核心。它的功能主要是解释计算机指令以及处理计算机软件中的数据。下面华强电子网的小编分享一…

const 用法

static NSString * const testString "google"; //表示testString这个指针不能被修改,如若对testString赋值则会报错:testString = "hello";编译器会报错 static NSString const *testString "google"; //表…

mvc html validator,ASP.NET MVC实现Validation验证器扩展

今天介绍在ASP.NET MVC实现Validation验证器扩展,通过使用Controller验证并不是最好的方法:验证过于分散,容易造成重复代码,不利于维护与扩展,因此本节将使用MVC默认绑定器(DefaultModelBinder)中包含了验证架构,并实现Validation验证器扩展&…

git 几种还原版本_Git恢复之前版本的两种方法reset、revert(图文详解)

一、问题描述在利用github实现多人合作程序开发的过程中,我们有时会出现错误提交的情况,此时我们希望能撤销提交操作,让程序回到提交前的样子,本文总结了两种解决方法:回退(reset)、反做(revert)。二、背景知识git的版…