单纯形法(simplex algorithm)在数学优化领域中常用于线性规划问题的数值求解,由乔治·伯纳德·丹齐格发明。
下山单纯形法(Nelder-Mead method)与单纯形法名称相似,但二者关联不大。该方法由Nelder和Mead于1965年发明,是用于优化多维无约束问题的一种数值方法,属于更普遍的搜索算法的类别。这两种方法都使用了单纯形的概念。单纯形是
维中的
个顶点的凸包,是一个多胞体:直线上的一个线段,平面上的一个三角形,三维空间中的一个四面体等等,都是单纯形。
假设有n个变量和m个约束。线性规划的标准形式如下:
![{\displaystyle {\begin{aligned}&&\max \sum \limits _{1\leq k\leq n}{{{c}_{k}}{{x}_{k}}}\\&s.t.&\sum \limits _{1\leq k\leq n}{{{A}_{1,k}}{{x}_{k}}}\leq {{b}_{1}},\\&&\sum \limits _{1\leq k\leq n}{{{A}_{2,k}}{{x}_{k}}\leq {{b}_{2}},}\\&...\\&&\sum \limits _{1\leq k\leq n}{{{A}_{m,k}}{{x}_{k}}}\leq {{b}_{m}}\\&&{{x}_{1}},{{x}_{2,}}...,{{x}_{n}}\geq 0\end{aligned}}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/ca65920b2e9394973fabde53ea3c530b65068e24)
所有其他形式的线性规划方程组都可以按照下列方式转化成标准形式:
- 目标函数并非最大化:将所有
取负。
- 约束条件中存在大于或等于约束:将约束两边取负。
- 约束条件中存在等式:将其拆分为两个不等式(一个大于等于,一个小于等于)
- 有的变量没有非负约束:加入新变量
并用
替换原来的变量![{\displaystyle x}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
可以将标准形式的线性规划转化为松弛形式,以方便运算。
在原来n个变量,m个约束的线性规划中,加入m个新的变量,将原来的不等式化为等式:
当然,此时
依然成立。
我们将
这些变量称为非基变量,它们构成的集合记为N。将
这些变量称为基变量,它们构成的集合记为B。简单地理解,非基变量能够由基变量唯一确定。
在这样的定义下,线性规划的松弛形式可以写为如下形式:
因此,线性规划的松弛形式可以由
唯一确定,
是长度为n的向量,
是长度为m的向量,
是m*(n+m)的矩阵。
是整数集合,分别表示非基变量集合以及基变量集合。
转轴操作是单纯形法中的核心操作,其作用是将一个基变量与一个非基变量进行互换。可以将转轴操作理解为从单纯形上的一个顶点走向另一个顶点。
设变量
属于B(基变量),变量
属于N(非基变量),执行转轴操作pivot(d,e)之后,
将变为非基变量,相应地
将变为基变量。
具体地说,一开始我们有
移项,得
如果
,我们有
将此式代入其他的约束等式以及目标函数,我们就实现了
与
在基变量和非基变量上的互换。
单纯形法的一般解题步骤可归纳如下:
- 把线性规划问题的约束方程组表达成典范型方程组,找出基本可行解作为初始基本可行解。
- 若基本可行解不存在,即约束条件有矛盾,则问题无解。
- 若基本可行解存在,从初始基本可行解作为起点,根据最优性条件和可行性条件,引入非基变量取代某一基变量,找出目标函数值更优的另一基本可行解。
- 按步骤3进行迭代,直到对应检验数满足最优性条件(这时目标函数值不能再改善),即得到问题的最优解。
- 若迭代过程中发现问题的目标函数值无界,则终止迭代。
如果b向量所有元素非负,则显然我们只需要令所有的变量等于0,就可以得到一个可行解。在这种情况下,通过下述最优化过程,我们可以得到该线性规划的最优解,或者指出该线性规划的最优解为无穷大(不存在)。
- 任取一个非基变量
,使得
。
- 选取一个基变量
,使得
,且最小化![{\displaystyle {{b}_{d}}/{{A}_{d,e}}\;}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/1ceb9f4ee36c383362cc83132179dea9ccdb0e98)
- 执行转轴操作pivot(d, e),并转到第一步继续算法。
根据
的最小性不难证明pivot(d, e)不会破坏b的非负性。因此将所有变量取0值仍然是可行解。同时,根据
,我们发现v一定是不降的。这就达到了更新解的目的。
不难发现,算法终止有两种情况:
- 对于所有的非基变量,c均非正。
- 对于某一个e,所有的
均非正。
可以证明,对于第一种情况,我们已经得到了该线性规划的最优解。当前的v即为答案。严格证明比较复杂,但是直观上是很容易理解的。因为所有的非基变量都是非负的,而所有的c都是非正的,因此只要某个非基变量不为0,就会使得目标函数更小。
对于第二种情况来说,很容易证明此时线性规划的最优解是无穷大。只要让其他所有变量均为0,变量
为正无穷。由于所有的
都非正,因此非基变量的非负性得到保证。同时由于
,目标函数值为正无穷。
例:解最优化问题:
列单纯形表(即矩阵):
|
![{\displaystyle x_{1}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/a8788bf85d532fa88d1fb25eff6ae382a601c308) |
![{\displaystyle x_{2}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/d7af1b928f06e4c7e3e8ebfd60704656719bd766) |
![{\displaystyle x_{3}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/766d09a498699be10e276ad49145c921f8cbe335) |
![{\displaystyle x_{4}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/fb828766e82e496666b179ff70d8e2fd24a79e5f) |
b
|
![{\displaystyle x_{3}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/766d09a498699be10e276ad49145c921f8cbe335) |
2 |
1 |
1 |
0 |
12
|
![{\displaystyle x_{4}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/fb828766e82e496666b179ff70d8e2fd24a79e5f) |
1 |
2 |
0 |
1 |
9
|
c |
1 |
1 |
0 |
0 |
0
|
从c所在行的正数中最大的一个所对应的变量作为基变量,因为这里两者相等,不妨选为
。
用
所在列的正系数除b所在列的数并比较大小,有
,故取
离开基变量。
然后对该矩阵进行转轴操作,使
所在列变为单位向量:
|
![{\displaystyle x_{1}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/a8788bf85d532fa88d1fb25eff6ae382a601c308) |
![{\displaystyle x_{2}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/d7af1b928f06e4c7e3e8ebfd60704656719bd766) |
![{\displaystyle x_{3}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/766d09a498699be10e276ad49145c921f8cbe335) |
![{\displaystyle x_{4}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/fb828766e82e496666b179ff70d8e2fd24a79e5f) |
b
|
![{\displaystyle x_{1}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/a8788bf85d532fa88d1fb25eff6ae382a601c308) |
1 |
1/2 |
1/2 |
0 |
6
|
![{\displaystyle x_{4}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/fb828766e82e496666b179ff70d8e2fd24a79e5f) |
0 |
3/2 |
-1/2 |
1 |
3
|
c |
0 |
1/2 |
-1/2 |
0 |
-6
|
令c所在行其余最大的正数所在列的变量
进入基变量,并且根据
,令
离开基变量。
继续进行行变换,得到
|
![{\displaystyle x_{1}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/a8788bf85d532fa88d1fb25eff6ae382a601c308) |
![{\displaystyle x_{2}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/d7af1b928f06e4c7e3e8ebfd60704656719bd766) |
![{\displaystyle x_{3}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/766d09a498699be10e276ad49145c921f8cbe335) |
![{\displaystyle x_{4}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/fb828766e82e496666b179ff70d8e2fd24a79e5f) |
b
|
![{\displaystyle x_{1}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/a8788bf85d532fa88d1fb25eff6ae382a601c308) |
1 |
0 |
2/3 |
-1/3 |
5
|
![{\displaystyle x_{2}}](https://backend.710302.xyz/https/wikimedia.org/api/rest_v1/media/math/render/svg/d7af1b928f06e4c7e3e8ebfd60704656719bd766) |
0 |
1 |
-1/3 |
2/3 |
2
|
c |
0 |
0 |
-1/3 |
-1/3 |
-7
|
由于c所在行的所有数均非正,问题结束。最优解为
,最优值为
。
如果b向量并不全为非负,则我们需要通过初始化过程来找到一个可行解,然后才可以使用最优化过程进行优化。当然,此时原线性规划不一定存在可行解。
具体的方法是,加入一个新的非基变量
,并在原线性规划的基础上构造一个新的辅助的线性规划。
注意这里N集合并不包含
。
然后,选择一个基变量
使得
最小,执行转轴操作pivot(d, 0)。不难证明该操作过后所有的b值全部非负。然后,使用前文中所述的最优化过程求解该辅助线性规划。
由于
非负,因此该线性规划的答案非正。如果答案为负数,则说明原线性规划不可能让所有的基变量都非负,因此原线性规划无可行解。否则,只要令所有变量为0,并去掉
变量,就可以得到可行解。
在从辅助线性规划转化到原来的线性规划的过程中,如果
已经是非基变量,则可以将其从约束条件和目标函数中直接去掉。否则,需要任取一个非基变量
执行pivot(0, e),将
变为非基变量。由于此时
是基变量且
,故
一定成立,因此这个转轴操作不会破坏b向量的非负性。
在采用Bland's法则选择用于转轴操作的d和e(相同值的情况下取字典序最小)之后,可以证明单纯形法一定能够在有限步之后终止,但是最坏情况算法的时间复杂度为指数函数级别的,而且可以构造出让单纯形法的时间复杂度达到指数级别的具体实例。不过实践证明在绝大多数情况下单纯形法的效率非常令人满意。
单纯形法的最坏时间复杂度为指数级别,并不意味着线性规划不存在多项式级别的算法。椭球算法和内点算法均为解决线性规划的多项式时间算法。