当前位置: 首页 > news >正文

NJU 凸优化导论(8) Lagrange Dual 拉格朗日对偶

目录

The Lagrange dual function 拉格朗日对偶函数(L的下界)

一、Examples

1. Least-squares solution of linear equations 线性等式 最小平方

2. Standard form LP

3. Two-way partitioning problem  二元划分 x为 1 / -1

二、Conjugate functions 共轭函数

1. Equality constrained norm minimization 等式约束的范数最小

2. Entropy Maximization 熵的最大化

3. Minimum volume covering ellipsoid 最小体积覆盖椭球

三、Making dual constraints explicit  明确对偶约束

四、Strong Duality and Slater’s Constraint Qualification强对偶以及斯拉特条件

1. QCQP 二次函数二次约束问题

2. Nonconvex Quadratic Problem 非凸二次问题


    不假设f0凸,有最优值p*

The Lagrange dual function 拉格朗日对偶函数(L的下界)

后面约束≤0  所以拉格朗日对偶函数的最小值 ≤ 原问题最小值。所以可得一个p*的下界

像这样,每个λ都对应一个<p*的对偶最小值

这个关于λ的函数 g(λ)是一个凹函数

用指示函数改写 在正确范围 指示函数 I 就是 0    范围不在定义域就 ∞

我们上面的拉格朗日对偶 在f和h前加上系数  表示我们更喜欢比较小的f   对>0的f 接受但惩罚

一、Examples

1. Least-squares solution of linear equations 线性等式 最小平方

        g都 ≤ 原问题下界

2. Standard form LP

     不等式约束就是  

  若x前系数不为0 就可以到负无穷

3. Two-way partitioning problem  二元划分 x为 1 / -1

每选一个v 都能得到一个下界

 (还有一种把范围放大的松弛方式 每个为1 松弛为和为n)

二、Conjugate functions 共轭函数

 

在凸函数那里讲到过共轭函数 可对应我之前的博客复习一下

这种 不等式&等式 约束的共轭;后面求共轭的example 把矩阵对应带入即可

 λ v二元 与 f0 最大距离

1. Equality constrained norm minimization 等式约束的范数最小

也可写作 

2. Entropy Maximization 熵的最大化

3. Minimum volume covering ellipsoid 最小体积覆盖椭球

三、Making dual constraints explicit  明确对偶约束

每个λ都可对应到一个 对偶下界 我们要最紧的那个对偶下界 即为g的最大值

2. Standard form LP  上面的标准LP可把对偶约束 如下变换

   

再看一个只有不等式约束的例子

Weak duality 弱对偶性

对偶问题最大值 ≤ 原问题最小值 

四、Strong Duality and Slater’s Constraint Qualification强对偶以及斯拉特条件

对偶最优=原问题最优  相当于可以拿对偶问题求解原问题

 一种强对偶的充分条件

对于凸规划 如果能找到 D的相对内部点x 使得这些约束可以都严格成立  

还有个弱化版:仿射不等式约束 可不严格成立 并且f0定义域为开集

1. Least-squares solution of linear equations 线性等式 最小平方

 这个问题无不等式约束 可以找到内部点 x=0  故是强对偶的

同理对于 Standard form LP 只要原问题或者对偶问题存在可行点 就是强对偶的

 原问题和对偶问题分别为

如果存在相对内部点x 满足     即为强对偶

对偶问题对v求导   代入得

3. Minimum volume covering ellipsoid 最小体积覆盖椭球

若存在相对内部点x 满足   即为强对偶

1. QCQP 二次函数二次约束问题

2. Nonconvex Quadratic Problem 非凸二次问题

由半正定 最小特征值 ≥0

转化为特征值λ 特征向量q 可把对偶问题写作

进而推广到更一般的结论:对于任何具有二次目标函数和一个二次不等式约束的优化问题

只要斯莱特条件(Slater’s condition )成立,就有强对偶性

http://www.dtcms.com/a/285876.html

相关文章:

  • Kotlin集合分组
  • 解决selenium元素定位不到疑难杂症
  • TCL 电视安装 APK 文件主要有 U 盘安装——仙盟创梦IDE
  • nastools继任者?极空间部署影视自动化订阅系统『MediaMaster』
  • echarts dataZoom 文本显示不完整
  • 响应式编程入门教程第六节:进阶?Combine、Merge、SelectMany 与错误处理
  • 【怜渠客】简单实现手机云控Windows电脑锁屏
  • MySQL中的锁有哪些
  • 【软件重构】如何避免意外冗余
  • 一文入门深度学习(以医学图像分割为例)
  • 【机器学习深度学习】LoRA 与 QLoRA:大模型高效微调的进阶指南
  • 【华为机试】70. 爬楼梯
  • 快速安装GitLab指南
  • mix-blend-mode的了解使用
  • git 介绍与使用教程
  • LP-MSPM0G3507学习--05管脚中断
  • 如何 ASP.NET Core 中使用 WebSocket
  • HTTP性能优化实战技术文章大纲
  • final 使用
  • 实现库存显示和状态按钮的Question
  • 数据统计模块后端架构解析:从Controller到SQL的ECharts数据对接实践
  • Spring介绍以及IOC和AOP的实现
  • 某邮生活旋转验证码逆向
  • Ansible + Shell 服务器巡检脚本
  • 如何使用Python将HTML格式的文本转换为Markdown格式?
  • UDP 协议下一发一收通信程序的实现与解析
  • Python - 数据分析三剑客之Pandas
  • docker--容器自启动
  • Vue导出Html为Word中包含图片在Microsoft Word显示异常问题
  • Python MP3 归一化器和长度分割器实用工具开发指南