【运筹学】对偶理论 : 互补松弛性 ( 原问题与对偶问题标准形式 | 互补松弛定理 | 互补松弛定理示例说明 )
文章目录
- 一、原问题与对偶问题标准形式
- 二、互补松弛定理
- 三、互补松弛定理示例说明
一、原问题与对偶问题标准形式
原问题 P\rm PP : maxZ=CXs.t{AX≤bX≥0\begin{array}{lcl} \rm maxZ = C X \\\\ \rm s.t\begin{cases} \rm AX \leq b \\\\ \rm X \geq 0 \end{cases}\end{array}maxZ=CXs.t⎩⎪⎨⎪⎧AX≤bX≥0 ; \ \ \ \ \ \ \ \ \ \ \, 对偶问题 D\rm DD : minW=bTYs.t{ATY≥CTY≥0\begin{array}{lcl} \rm minW = b^T Y \\\\ \rm s.t\begin{cases} \rm A^TY \geq C^T \\\\ \rm Y \geq 0 \end{cases}\end{array}minW=bTYs.t⎩⎪⎨⎪⎧ATY≥CTY≥0
等价方法 :
- 生产 : 目标函数追求 利润最大化 , 约束方程设备的使用时长受约束 , 小于等于 某个时间值 ;
- 出租设备 : 目标函数追求 租金最小化 , 约束方程设备产生的利润要 大于等于 生产的利润 , 不能亏钱 ;
二、互补松弛定理
X0\rm X^0X0 和 Y0\rm Y^0Y0 分别是 原问题 P\rm PP 问题 和 对偶问题 D\rm DD 的 可行解 ,
这两个解各自都是对应 线性规划问题 的 最优解
的 充要条件是 : {Y0Xs=0YsX0=0\begin{cases} \rm Y^0 X_s = 0 \\\\ \rm Y_sX^0 = 0 \end{cases}⎩⎪⎨⎪⎧Y0Xs=0YsX0=0
其中 Xs,Ys\rm X_s , Y_sXs,Ys 是 松弛变量 或 剩余变量 ;
三、互补松弛定理示例说明
原问题与对偶问题的对应关系 :
生产问题 ( 原问题 ) :
maxZ=2x1+3x2s.t{2x1+2x2≤12x1+2x2≤84x1≤164x2≤12x1,x2≥0\begin{array}{lcl} \rm maxZ = 2x_1 + 3x_2 \\\\ \rm s.t\begin{cases} \rm 2 x_1 + 2x_2 \leq 12 \\\\ \rm x_1 + 2x_2 \leq 8 \\\\ \rm 4 x_1 \leq 16 \\\\ \rm 4x_2 \leq 12 \\\\ \rm x_1, x_2 \geq 0 \end{cases}\end{array}maxZ=2x1+3x2s.t⎩⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎧2x1+2x2≤12x1+2x2≤84x1≤164x2≤12x1,x2≥0
上述线性规划的最优解是 : (42)\begin{pmatrix} \quad \rm 4 \quad 2 \quad \\ \end{pmatrix}(42) ;
甲产品生产 444 个单位 , 乙产品生产 222 个单位 ;
设备出租问题 ( 对偶问题 ) :
minW=12y1+8y2+16y3+12y4s.t{2y1+y2+4y3+0y4≥22y1+2y2+0y3+4y4≥3y1,y2,y3,y4≥0\begin{array}{lcl} \rm minW = 12y_1 + 8y_2 + 16y_3 + 12y_4 \\\\ \rm s.t\begin{cases} \rm 2 y_1 + y_2 + 4y_3 + 0y_4 \geq 2 \\\\ \rm 2 y_1 + 2y_2 + 0y_3 + 4y_4 \geq 3 \\\\ \rm y_1, y_2 , y_3 , y _4 \geq 0 \end{cases}\end{array}minW=12y1+8y2+16y3+12y4s.t⎩⎪⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎪⎧2y1+y2+4y3+0y4≥22y1+2y2+0y3+4y4≥3y1,y2,y3,y4≥0
上述线性规划最优解是 : (12100)\begin{pmatrix} \quad \rm \cfrac{1}{2} \quad 1 \quad 0 \quad 0 \quad \\ \end{pmatrix}(21100) , 或 (023180)\begin{pmatrix} \quad \rm 0 \quad \cfrac{2}{3} \quad \cfrac{1}{8} \quad 0 \quad \\ \end{pmatrix}(032810)
将上面两个线性规划的最优解代入目标函数 , 得到的值都是 141414 ;
互补松弛定理 :
" X0\rm X^0X0 和 Y0\rm Y^0Y0 分别是 原问题 P\rm PP 问题 和 对偶问题 D\rm DD 的 最优解 " ⇔\Leftrightarrow⇔ {Y0Xs=0YsX0=0\begin{cases} \rm Y^0 X_s = 0 \\\\ \rm Y_sX^0 = 0 \end{cases}⎩⎪⎨⎪⎧Y0Xs=0YsX0=0
其中 Xs,Ys\rm X_s , Y_sXs,Ys 是 松弛变量 或 剩余变量 ;
(42)\begin{pmatrix} \quad \rm 4 \quad 2 \quad \\ \end{pmatrix}(42) 是原问题 P\rm PP 的最优解 , 是 X0\rm X^0X0 ,
Ys\rm Y_sYs 是对偶问题 D\rm DD 的剩余变量 , {2y1+y2+4y3+0y4−y5=22y1+2y2+0y3+4y4−y6=3\begin{cases} \rm 2 y_1 + y_2 + 4y_3 + 0y_4 - y_5 = 2 \\\\ \rm 2 y_1 + 2y_2 + 0y_3 + 4y_4 - y_6 = 3 \end{cases}⎩⎪⎨⎪⎧2y1+y2+4y3+0y4−y5=22y1+2y2+0y3+4y4−y6=3 , 两个剩余变量是 (y5y6)\begin{pmatrix} \quad \rm y_5 \quad \\ \quad \rm y_6 \quad \\ \end{pmatrix}(y5y6) , 是 Ys\rm Y_sYs ,
根据互补松弛定理 , YsX0=0\rm Y_sX^0 = 0YsX0=0 , 将真实值代入 :
YsX0=(42)×(y5y6)=4y5+2y6=0\rm Y_sX^0 = \begin{pmatrix} \quad \rm 4 \quad 2 \quad \\ \end{pmatrix} \times \begin{pmatrix} \quad \rm y_5 \quad \\ \quad \rm y_6 \quad \\ \end{pmatrix} =4 y_5 + 2y_6 = 0YsX0=(42)×(y5y6)=4y5+2y6=0
y5,y6\rm y_5 , y_6y5,y6 都是大于等于 000 的 , 如果要满足 4y5+2y6=0\rm 4 y_5 + 2y_6 = 04y5+2y6=0 , 则得到 y5=0,y6=0\rm y_5 = 0, y_6 = 0y5=0,y6=0 结论 ;
【运筹学】对偶理论 : 互补松弛性 ( 原问题与对偶问题标准形式 | 互补松弛定理 | 互补松弛定理示例说明 )相关推荐
- 【运筹学】对偶理论 : 互补松弛定理应用 ( 原问题与对偶问题标准形式 | 已知原问题最优解求对偶问题最优解 | 使用单纯形法求解 | 使用互补松弛定理公式一求解 | 互补松弛定理公式二无效 ) ★★
文章目录 一.原问题与对偶问题标准形式 二.互补松弛定理 三.已知原问题最优解求对偶问题最优解 四.使用单纯形法求解 五.使用互补松弛定理公式一求解 六.使用互补松弛定理公式二求解 ( 无效方法 ) ...
- 【运筹学】对偶理论 : 互补松弛性 ( 定理内容 | 定理证明 )
文章目录 一.互补松弛性 二.证明 互补松弛性 一.互补松弛性 X0\rm X^0X0 和 Y0\rm Y^0Y0 分别是 原问题 P\rm PP 问题 和 对偶问题 D\rm DD 的 可行解 , ...
- 【运筹学】对偶理论 : 总结 ( 对偶理论 | 原问题与对偶问题对应关系 | 对偶理论的相关结论 ) ★★★
文章目录 一.对偶理论 1.对称性定理 2.弱对偶定理 3.最优性定理 4.强对偶性 5.互补松弛定理 二.原问题与对偶问题对应关系 二.对偶理论的相关结论 1.对偶问题存在 2.对偶问题转化 3.对 ...
- 支持向量机(SVM)优化算法原理超详细证明过程,几何的角度证明互补松弛条件
本文将初学者在硬间隔优化这一部分会遇到的问题基本都进行了说明和推导,包括为什么要取max以及互补松弛条件到底是什么,支持向量到底体现在哪里. 但是本文并没有引入说明支持向量的优化问题是怎么引出的.这里 ...
- 约束优化问题的一阶条件(KKT条件)、互补松弛条件、拉格朗日对偶问题、SVM
简要概述 考虑约束优化问题时,可将等式拆解转化为不等式,方便求解,一阶时为KKT条件 KKT条件应用在SVM中 详细 ------ 链接: https://zhuanlan.zhihu.com/p/5 ...
- 由KKT互补松弛条件,支持向量的系数不一定为0,非支持向量的系数一定为0
从互补松弛条件的条件来看一共分成三种情况: 不等式约束等号成立,则拉格朗日乘子不为0, 不等式约束等号成立,则拉格朗日乘子为0. 不等式约束等号不成立,拉格朗日乘子为0. 不等式约束等号成立,则是支持 ...
- 【数学思维】运筹学-线性规划之标准形式与Hidden LP
[数学思维]运筹学-线性规划之标准形式与Hidden LP 一.线性规划的标准形式 二.LP规约为标准形式的常见情况 三.Hidden LP 本篇博文内容来自于我学习的研究生课程,由祁琦老师主讲的&l ...
- 最优化导论(part1)--求解原问题的对偶问题
学习笔记,仅供参考,有错必纠 文章目录 最优化导论 原问题与对偶问题 对称形式的对偶 非对称形式的对偶 例题 最优化导论 原问题与对偶问题 每个线性规划问题都有一个与之对应的对偶问题,对偶问题是以原问 ...
- 线性规划原问题与对偶问题
文章目录 1. 对偶问题 2. 原问题和对偶问题的对应关系 3. 举例 参考 1. 对偶问题 任一线性规划问题都存在另一与之伴随的线性规划问题,它们组成一对互为对偶的线性规划问题. 线性规划的对偶问题 ...
最新文章
- 如何区别一幅图像是否是黑白图像
- 为什么导师不喜欢推荐老实人?这是我听过最醍醐灌顶的回答
- 半折预售:新书-R语言数据可视化之美|ggplot2作者推荐
- 物联网概念升级,万物互联来袭
- VS2019配置opencv环境时找不到Microsoft.Cpp.x64.user.props
- Reactjs相比较原生方案是绝对的快吗?哪些情况下React有优势
- c语言中有bool型变量吗?
- 二叉树的遍历实现-1(三级)
- iOS中 openGL常用函数记录(部分)
- faststart可以卸载吗_电脑上的许多Microsoft Visual c++组件,可以卸载吗?
- 2021年中国云无线接入网(C-RAN)市场趋势报告、技术动态创新及2027年市场预测
- html form-inline,如何將HTML
- windows ***的搭建
- 翻译记忆软件-塔多思TRADOS经典教程_1
- 将多个Bip动作合成一个
- OPC通讯测试、OPC测试常见问题解决方案
- 邮件作为证据如何提交_【欣法官在线】收到起诉状副本,我该如何向法院提交证据?...
- 拉文大学计算机科学,美国研究生语言双录取,这些大学有你中意的吗?
- 如何在电脑上安装一个Android虚拟机
- 这一天,我给自己写了一封信