对 cplex/gurobi MPS/LP文件格式的理解

优化求解器如 cplex 或 gurobi，都支持直接读取线性规划建模文件 MPS 格式或 LP 格式，因此，有必要研究一下，这样就可以编写一个 mps 或 lp 文件，用不同的求解器直接算了。对于下面的线性规划模型：
max⁡x1+2x2+3x3+x4s.t.{−x1+x2+x3+10x4≤20x1−3x2+x3≤30x2−3.5x4=00≤x1≤40,x2≥0,x3≥0,x4是整数 \begin{aligned} &\max\quad &&x_1 + 2x_2 + 3x_3 + x_4\\ &\text{s.t.}&& \begin{cases} -x_1 + x_2 + x_3 + 10x_4 \leq 20\\ x_1 - 3x_2 + x_3 \leq 30\\ x_2 - 3.5x_4 = 0\\ 0 \leq x_1\leq 40, x_2\geq 0, x_3\geq 0, x_4 是整数 \end{cases} \end{aligned} ​maxs.t.​​x1​+2x2​+3