含双边界变量的线性规划标准形式转换疑问

首先得明确线性规划标准形式的核心要求：所有约束必须是等式，且所有变量非负。你提到的那个结果是不对的——因为没处理1 ≥ x3 ≥ 0里的上界约束，这个约束必须做额外处理才能符合标准形式。

具体转换步骤如下：

• 处理第一个不等式约束：原约束$x_1 + 2x_2 + 3x_3 \leq 6$是小于等于型，我们需要引入松弛变量$x_4 \geq 0$，把它转成等式：

  x1 + 2x2 + 3x3 + x4 = 6
  

• 处理$x_3$的上界约束：原约束$x_3 \leq 1$同样是小于等于型，需要再引入另一个非负松弛变量$u \geq 0$，转成等式：

  x3 + u = 1
  

• 变量非负性检查：原问题里的$x_1 \geq 0$、$x_2 \geq 0$、$x_3 \geq 0$已经满足标准形式要求，加上新增的$x_4 \geq 0$和$u \geq 0$，所有变量都符合非负要求。

最终写成$Ax = b$且$x \geq 0$的形式：

• 系数矩阵$A$为两行五列矩阵：

  A = [[1, 2, 3, 1, 0],
       [0, 0, 1, 0, 1]]
  

• 变量向量$x$为五维列向量：

  x = [x1, x2, x3, x4, u]^T
  

• 常数项向量$b$为二维列向量：

  b = [6, 1]^T
  

目标函数保持不变（新增的松弛变量在目标函数中的系数为0）：$\underset{x_1,x_2,x_3,x_4,u}{\text{maximize}} \ c_1x_1 + c_2x_2 + c_3x_3 + 0x_4 + 0u$

内容的提问来源于stack exchange，提问作者user2325601