所谓单纯形法,通俗来讲就是从一个有效点出发,不断找邻近点,看它是不是更优的,如果是,就从它出发继续寻找,直到找不到更优的点。
对于单纯形法M
可表示为
假设M中有m个约束条件,n个变量,此时M的大小为,其中m+1代表列数,n+2代表行数。至于为什么是m+1,因为要包含一行目标函数化成的式子。为什么是n+2,因为有两列是z(方程左式常系数),b(方程右式常数)。我们看下面的例子就能很好理解。
将该线性规划写成表格形式(,这个指的是下面表格绿色的0)
单纯形表将所有数据放在一个地方,这让我们可以很好管理内存,这也意味着我们可以使用单一操作,使代码更简单。
接下来我们来谈论规范形式(Canonical form)
通俗理解,只要M中前m列的每一行都有单位1,我们就称M是规范形式的。
我们举正反两个例子
上面就是一个规范形式,因为每一行都有单位1
而这个就不是一个规范形式,因为第二行就没有单位1
接下来会继续探讨二段法( Simplex Phase II)