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

【最优化理论】线性规划

文章目录

  • 什么是线性规划(Linear Programming,LP)?
  • 线性规划的标准形式
  • 非标准形LP模型转化为标准形LP模型
  • 基本概念
    • 基本解&基矩阵&基变量&非基变量
    • 基本可行解&可行基矩阵&非退化的基本可行解&退化的基本可行解
    • 基本可行解存在性
    • 求基本可行解
      • 示例:求基本可行解
    • 求最优解
      • 方法一(暴力枚举):求出所有基本可行解找最小
      • 方法二(迭代):从一个基本可行解跳转到一个目标函数值更小的基本可行解
  • 多面体
  • 多面体分解定理
  • 单纯形法
    • 基本思想
    • 原理
    • 方法
    • 1 确定出基变量和出基向量的下标
    • 2 确定进基变量和进基向量的下标
    • 3 确定进基变量的值
      • 终止条件
  • 单纯形法计算步骤
  • 单纯形法表格形式

什么是线性规划(Linear Programming,LP)?

目标函数为决策变量的线性函数,同时约束条件为线性等式或线性不等式约束。

线性规划的标准形式

在这里插入图片描述
在这里插入图片描述

非标准形LP模型转化为标准形LP模型

在这里插入图片描述

基本概念

在这里插入图片描述

基本解&基矩阵&基变量&非基变量

基本可行解&可行基矩阵&非退化的基本可行解&退化的基本可行解

在这里插入图片描述

基本可行解存在性

在这里插入图片描述

求基本可行解

求基本可行解<=>求极点<=>求可行基矩阵<=>Am∗nA_{m*n}Amn矩阵m个线性无关列
在这里插入图片描述

示例:求基本可行解

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

求最优解

方法一(暴力枚举):求出所有基本可行解找最小

求出所有基本可行解(即求极点)。
代入目标函数找出最小极点(该最小极点即为最优解,因为最优解一定在极点取得)。

方法二(迭代):从一个基本可行解跳转到一个目标函数值更小的基本可行解

在这里插入图片描述

多面体

在这里插入图片描述

多面体基本性质

在这里插入图片描述

多面体的极点

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

x若是极点,正分量对应的A的列一定线性无关。

示例:求极点

在这里插入图片描述

多面体S有多少个极点?- 有限个 & 最多CnmC_n^mCnm

最多有CnmC_n^mCnm个极点,一般都少于CnmC_n^mCnm,有两个原因。
原因1:从n个列中选出m列不一定线性无关。
原因2:即使这m列线性无关,其组成的B也不一定满足B−1b≥0B^{-1}b\ge 0B1b0

多面体的方向

在这里插入图片描述

多面体的极方向

在这里插入图片描述
在这里插入图片描述

多面体的极方向有多少个?- 有限个

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

示例:求极方向

在这里插入图片描述
d≥0

多面体分解定理

在这里插入图片描述

多面体分解定理有什么作用?

在这里插入图片描述

在这里插入图片描述

重新表示可行集

在这里插入图片描述

重新定义线性规划问题

在这里插入图片描述
在这里插入图片描述

为什么min⁡∑λiCTxi\min \sum \lambda_i C^Tx_iminλiCTxi等价于min⁡CTxi,i=1,...,k\min C^Tx_i,i=1,...,kminCTxi,i=1,...,k

min⁡CTxi,i=1,...,k\min C^Tx_i,i=1,...,kminCTxii=1,...,k,找到最小xrx_rxr就是最优值点,令min⁡∑λiCTxi\min \sum \lambda_i C^Tx_iminλiCTxiλr=1\lambda_r=1λr=1其他的λ都为0,CTxrC^Tx_rCTxr就是最优值。

何时有最优解?

CTdj≥0C^Td_j \ge 0CTdj0时,存在最优解。

CTdj<0C^Td_j \lt 0CTdj<0时,无解。

最优解是什么?

最优解一定在极点上取到。

min⁡CTxi,i=1,...,k\min C^Tx_i,i=1,...,kminCTxii=1,...,k,找到最小xrx_rxr就是最优值点,CTxrC^Tx_rCTxr就是最优值。

单纯形法

在这里插入图片描述

基本思想

在这里插入图片描述

原理

实现基本可行基的转化

方法

在这里插入图片描述

从初始基本可行解出发,求一个改进的基本可行解。

1 确定出基变量和出基向量的下标

2 确定进基变量和进基向量的下标

3 确定进基变量的值

目标函数值只与非基变量有关。
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

终止条件

在这里插入图片描述

单纯形法计算步骤

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

单纯形法表格形式

http://www.lryc.cn/news/6163.html

相关文章:

  • 数据库测试的认知和分类
  • MQ中间件概念一览
  • 爱尔兰公司注册要求及条件
  • Java中如何打印对象内存地址?
  • CF1707E Replace
  • 【Hello Linux】Linux工具介绍 (make/makefile git)
  • 享元模式flyweight
  • Pulsar
  • 项目介绍 + 定长内存池设计及实现
  • Linux--线程安全的单例模式--自旋锁--0211
  • 图文解说S参数(进阶篇)
  • Sentinel源码阅读
  • 2023年浙江食品安全管理员考试真题题库及答案
  • Webstorm 代码没有提示,uniapp 标签报错
  • MySQL-Innodb引擎事务原理
  • Linux操作系统学习(了解环境变量)
  • 数据分析思维(六)|循环/闭环思维
  • C++:类和对象(下)
  • ASP.NET Core MVC 项目 AOP之IResultFilter和IAsyncResultFilter
  • jstack排查cpu占用高[复习]
  • 网络安全-Pyhton环境搭建
  • SpringBoot Mybatis 分页实战
  • 计算机断层扫描结肠镜和全自动骨密度仪在一次检查中的可行性
  • Java多级缓存是为了解决什么的?
  • MongoDB--》索引的了解及具体操作
  • Python open()函数详解:打开指定文件
  • CentOS Stream 9尝鲜安装教程
  • Ambire AdEx 2023 年路线图
  • 两种特征提取方法与深度学习方法对比的小型金属物体分类分析研究
  • 传奇私服搭建网站的几种方法