单纯形法是在线性规划可行域的顶点中搜索最优解的算法,可以被分为三个步骤:
- 找到顶点
- 搜索顶点
- 判断在某顶点处是否最优
如何找到可行域的顶点?
- 存在由线性等式和不等式构成的多面体 P = { X ∈ R n ∣ ∑ j = 1 n P j x j = b , X ≥ 0 } P = \{X \in R^n | \sum_{j=1}^n P_jx_j = \boldsymbol b, X\geq \boldsymbol 0 \} P={ X∈Rn∣∑j=1nPjxj=b,X≥0} ,若X是一个基本解且满足所有约束条件,则称X是一个基本可行解.
- 线性规划的基可行解对应可行域的顶点
也就是说,顶点需要满足所有等式约束,即 X ∈ { R n ∣ ∑ j = 1 n P j x j = b , X ≥ 0 } X \in \{ R^n | \sum_{j=1}^n P_jx_j = \boldsymbol b, X\geq \boldsymbol 0 \} X∈{ Rn∣∑j=1nPjxj=b,X≥0},其中由于 ∑ j = 1 n P j x j = b \sum_{j=1}^n P_jx_j = \boldsymbol b ∑j=1nPjx