1
,
μ
j
≥
0
}
。
1.标准型的表示
通常将
多面体
P = {x ∈ Rn | Ax = b, x ≥ 0} 称为
多面体
的标准型,即
多面体
中所有约束都为等式。其中 A 为 m×n 的矩阵(通常认为m ≤ n)。
现在不妨通过标准型再来回顾一下基解。基解必然包含 n 个严格约束,而对于一个标准型来说,除了 n 个非负约束之外,其余的 m 个约束皆为等式约束,若想找到一个基解,需另寻找 n - m 个严格约束,即令 n - m 个非负约束成为严格约束,即存在 n - m 个变量的值为0,我们称这样的变量为非基变量,而其余的 m 个
一、
多面体
(
Polyhedron
)
P={x∣ajTx≤bj j=1,⋯ ,m,cjTx=dj j=1,⋯ ,r}P=\{x|a_j^Tx\le b_j\;j=1,\cdots,m,c_j^Tx=d_j\;j=1,\cdots,r\}P={x∣ajTx≤bjj=1,⋯,m,cjTx=djj=1,⋯,r}
有界
多面体
二、单纯形(Simplex)
一种特殊的
多面体
。
Rn\R^nRn空间中选择v0,⋯ ,vkv_0,\cdots,v
在学习列生成
和
分解算法的时候,会频繁用到线性规划
和
对偶的知识,可以说LP
和
DP是基础。因此理解线性规划
和
对偶的本质是很重要的。
单纯形法是纯代数运算,从一个顶点跳到另一个顶点;且我们知道最优解一定在顶点取得,可是为什么在顶点一定会取得最优解?为什么从一个顶点跳到另一顶点,通过进基出基就可以实现,它俩为什么是一一对应的?除此以外,在分解算法中的极点
和
极射线
和
LP的解是什么样的对应关系?
这些问题,应该说必须了解了线性规划
和
对偶的本质才能够深刻理解,而不至于陷入机械无脑的计算。大概看了慕课的课程,感觉山东大
如图,对于此非空闭
凸
集
,红色点均为极点()。从图中可以发现极点不能被任意两不同点的严格
凸
组合得到。
如果C为非空闭
凸
集
,C中至少含有一个极点,当且仅当C中不存在直线。
C为中的闭
凸
集
,,如果对于,都有,则称为C的方向。
为C的方向,如果对于,都有,则称与方向不同。
为C的方向,若,其中,则称为C的极方向。
凸
集
C存在极方向,当且仅当C无界。
(标准线性规划问题的其可行域)为非空
多面体
,则其极点
集
非空,且存在有限个极点