我们可以使用Gomory切割来完全求解一个整数线性规划问题。思路是
1. 求解线性松弛
2. 根据这个线性松弛的单纯性表产生并添加Gomort切割,切割约束条件空间,
直到线性松弛的最优解为整。
针对混合整数线性规划问题,
\[\begin{array}{*{20}{l}}
{\max 3x + y + 3z}\\
{2x + 2y + z \le 30}\\
{1.5x + 2y + 3z \le 25}\\
{2x + y + z \le 20}\\
{x \ge 0,y \ge 0,z \ge 0,}
\end{array}\]
引入松弛变量s1,s2,s3也是整数
\[\begin{array}{l}
obj = 3x + y + 3z\\
s1 = 30 - 2x - 2y - z\\
s2 = 50 - 3x - 4y - 6z \le 25\\
s3 = 20 - 2x - y - z \le 20
\end{array}\]
最优解
\[\begin{array}{l}
obj = 110/3 - 4/3*x + 1/3*s2 - s3\\
s1 = 10 - y + s3\\
z = 40/9 - 5/9*y - 2/9*s2 + 1/3*s3\\
x = 70/9 - 2/9*y + 1/9*s2 - 2/3*s3
\end{array}\]
obj=110/3,x=70/9,y=0,z=40/