Binary 积分松弛整数线性规划的剩余问题

当我将二进制整数程序（0,1）放松到LP时（0<=x不，一般来说，这不起作用。一个典型的情况是，当你可以放松并仍然得到一个最优解时，是完全单模矩阵，请参阅本主题的介绍。此外，完整性差距将取决于你用作模型的特定公式。一般来说，当你放松整数程序并得到一个分形时在这个解决方案中，您可以使用切割平面和分支切割模式，以获得具有相对较小完整性差距的可行整数解。

如果这是可能的，为什么人们要费心开发MIP解算器？