单纯形法（The Simplex Tableau） (二)

为了努力变强选择在数学建模村打怪这件事

已于 2023-03-25 22:02:42 修改

阅读量200

点赞数 1

文章标签：算法学习

于 2023-03-25 22:00:42 首次发布

本文链接：https://blog.csdn.net/weixin_64860536/article/details/129768259

版权

阶段一（Simplex Phase I）

我们的目标是找到可行的起始LP(表格M为可行规范形式）

我们举个例子

$\\max Z=x_{1}+x_{2}+x_{3}\\ x_{1}-x_{2}+3x_{3}\leqslant 1\\ 2x_{1}-x_{2}+x_{3}\leqslant -4\\ x_{1}+2x_{2}-2x_{3}\leqslant 5\\ x_{1},x_{2},x_{3}\geqslant 0$

这个线性规划是标准的，但是不可行的形式，因为右式为负数（第二行-3是小于0的）

*针对Ax=b，不可行的充要条件是b是非负的

为了解决这种情况，我们先加入松弛变量，以上式为例

$\\ x_{4}=1-x_{1}+x_{2}-3x_{3}\\ x_{5}=-4-2x_{1}+x_{2}-x_{3}\\ x_{6}=5-x_{1}-2x_{2}+2x_{3}\\ z =0+x_{1}+x_{2}+x_{3}$

此时仍是不可行的，我们需要加入辅助线性规划，这需要添加一个 $x_{0}$

$\\ x_{1}-x_{2}+3x_{3}-x_{0}\leqslant 1\\ 2x_{1}-x_{2}+x_{3}-x_{0}\leqslant -4\\ x_{1}+2x_{2}-2x_{3}-x_{0}\leqslant 5\\ x_{0},x_{1},x_{2},x_{3}\geqslant 0$

无论我们加入多少松弛变量都是不可行形式，但我们可以通过找到可行性的特殊支点（pivot）来化成可行的LP

$\\ x_{4}=1-x_{1}+x_{2}-3x_{3}+x_{0}\\ x_{5}=-4-2x_{1}+x_{2}-x_{3}+x_{0}\\ x_{6}=5-x_{1}-2x_{2}+2x_{3}+x_{0}\\ \omega =-x_{0}$

我们先将上式右端常系数为负数的第二行的 $x_{5}$ 作为支点（将 $x_{5}$ 放到式子右边），得到下面式子

$\\x_{0}=4+2x_{1}-x_{2}+x_{3}+x_{5}\\ x_{4}=5+x_{1}-2x_{3}+x_{5}\\ x_{6}=9+x_{1}-3x_{2}+3x_{3}+x_{5}\\ \omega =-4-2x_{1}+x_{2}-x_{3}-x_{5}$

上式已经是一个可行的式子了，但是 $x_{0}$ 并非等于0而是-3（ $\omega =-x_{0}$ )，这不是我们想要的，我们需要进行一些变化，来使 $x_{0}=0$ (通过将 $x_{0}$ 作为退出变量来实现）

针对上式，我们将 $x_{0}$ 作为退出变量（ Leaving Variable），将 $x_{2}$ 作为进入变量（ Entering Variable）变化式子

$\\x_{2}=4+2x_{1}+x_{3} +x_{5}-x_{0}\\x_{4}=5+x_{1}-2x_{3}+x_{5}\\ x_{6}=1-5x_{1}-3x_{5}+3x_{0}\\ \omega =-x_{0}$

这样就是得到了可行的形式，这样我们就可以使用单纯形法

$\\x_{2}=4+2x_{1}+x_{3} +x_{5}\\x_{4}=5+x_{1}-2x_{3}+x_{5}\\ x_{6}=1-5x_{1}-3x_{5}\\$

对于求最大值 $Z=x_{1}+x_{2}+x_{3}$ ，只需进行代换即可

$Z=x_{1}+(4+2x_{1}+x_{3}+x_{5})+x_{3}=4+3x_{1}+2x_{3}+x_{5}$

为了努力变强选择在数学建模村打怪这件事

关注

1
点赞
踩
0

收藏

觉得还不错? 一键收藏
打赏
1
评论
单纯形法（The Simplex Tableau） (二)

无论我们加入多少松弛变量都是不可行形式，但我们可以通过找到可行性的特殊支点（pivot）来化成可行的LP。这个线性规划是标准的，但是不可行的形式，因为右式为负数（第二行-3是小于0的）此时仍是不可行的，我们需要加入辅助线性规划，这需要添加一个。我们的目标是找到可行的起始LP(表格M为可行规范形式）这样就是得到了可行的形式，这样我们就可以使用单纯形法。为了解决这种情况，我们先加入松弛变量，以上式为例。)，这不是我们想要的，我们需要进行一些变化，来使。上式已经是一个可行的式子了，但是。作为退出变量来实现）
复制链接

扫一扫