那么某一个顶点其实就是某组超平面的交点,这一组超平面对应的约束就是在某一个顶点取到“=”号的约束(也就是基)。顶点对应到代数意义就是一组方程(取到等号的约束)的解
线性规划里面的约束(等式或不等式可以看作是超平面Hyperplane或者半空间Half space)。可行域可以看作是被这组约束,或者超平面和半空间定义(围起来)的区域。
那么某一个顶点其实就是某组超平面的交点,这一组超平面对应的约束就是在某一个顶点取到“=”号的约束(也就是基)。顶点对应到代数意义就是一组方程(取到等号的约束)的解。
用矩阵去理解运筹学
线性规划(Linear Programming)-- 最简单和基础的优化问题,如上图,目标函数(max)和约束条件(s.t.)都是线性的,自变量x是实数变量,P问题(多项式时间可解);或许有些读者没有学过线性代数,更简单的例子: min x1+x2 s.t. 3x1-4x2> 5, x1,x2>=0。
标准形式
特点:
(1) 目标函数求最大值(有时求最小值)
(2) 约束条件都为等式方程,且右端常数项bi都大于或等于零.
约束条件都为等式方程,需要解除松弛变量和剩余 变量
(3) 决策变量xj为非负。
对于无约束的变量,如(X3 无约束)可以用类似 X3=X4-X5替换,且 X4>=0,X5>=0
对偶问题
即每一个线性规划问题(称为原始问题)有一个与它对应的对偶线性规划问题
对偶问题与原始问题之间存在着下列关系:
①目标函数对原始问题是极大化,对对偶问题则是极小化。
②原始问题目标函数中的收益系数是对偶问题约束不等式中的右端常数,而原始问题约束不等式中的右端常数则是对偶问题中目标函数的收益系数。
③原始问题和对偶问题的约束不等式的符号方向相反。
④原始问题约束不等式系数矩阵转置后即为对偶问题的约束不等式的系数矩阵。
⑤原始问题的约束方程数对应于对偶问题的变量数,而原始问题的变量数对应于对偶问题的约束方程数。
⑥对偶问题的对偶问题是原始问题,这一性质被称为原始和对偶问题的对称性。
对偶性质
1 若原问题及其对偶问题都具有可行解,则两者都具有最优解。且他们的最优解的目标函数值相等
2对于线性规划的原问题和对偶问题,若其中有一个有最优解,则另一个也一定有最优解
3如果一个线性规划问题有两个不同的最优解,则它有无穷多个最优解
线性规划中的唯一最优解是指最优表中非基检验数全部为0
对称形式
其变量均具有非负约束,其约束条件当目标函数求极大值时均取《号,当目标函数求极小值时均取>=号