引入M,其中M是一个充分大的正数.由此,目标函数也改变为zM. 如此构造的线性规划问题我们记作LPM,称之为辅助线性规划问题,也即在原来的线性规划问题的基础上,改造了其等式约束条件,然后有对目标函数施加了惩罚项,Mx4,Mx5. 因为M是充分大的正数,所以即便x4,x5很小,只要x4,x5不等于0,这个惩罚项也也会很大的:一旦大M趋于正无穷,那么Mx4,Mx5一块就是正无穷了:而前面的各变量及其系数 的组合也是有限的量:根据一个有限的量加上一个无穷大量结果是无穷大量定理:那么目标函数就是趋于无穷