文章目录1、推导前期理论,获得Fai2,基于fai,存在三大定理(这些定理是简表法的理论依据)定理1——最优解定理2——当……LP问题的无界定理——当……最优解
1、前期理论推导,Fai获取
现在有z和xb的新公式和fai。 现在准备三大定理的证明。
以下定理的证明结合简表法进行说明:
请注意我写的这个fai是印刷品的这个
(希腊文字总是胡说八道…)。
2、根据fai,证明三大定理(这些定理是简表法的理论依据)定理1——的最优解
简言之,该定理1证明了简单表法中的最后判断目前有时是最优解。 第一行的要素都不正时,现在的x是最佳解。 图:
定理2——当…LP问题无界
先说一下定理2证明的想法:
首先,设定一些东西。 请不要问我为什么。 我证明后,会逆向思考是谁这么天才地想设定这些东西。 新设置的,表示新的x; 然后,把这个x带到目标函数z中,看看新z和旧z的区别; 诶,我发现新z总是更小。 (越小越好。 minZ的目标函数是为了求出最小值。 )但是,中间涉及变量theta。 这个theta发现任意数量引起了你的z。 另外,任意取,没有下限,所以无法取最小值min。 证明结束!
然后,操作此Ax和x。 然后,将得到的信息带入目标函数z。
简言之,该定理表明,当lqdmg采用简单表法时,如果所取列中的分量都是负数或0,则该LP问题没有解决,或者是无界的。 这个问题做了! 不! 糟了! 如图所示:
定理3——当…存在最佳解
说白了,这个定理3说如果你选择取这个排,里面有非负的分量。 这说明你的x还不是最佳解。 图: