是否可以放松MILP并获得与原始MILP相同的解决方案？

Question

我的问题是MILP问题，我放松了二进制变量之一，并使用了Bender分解来解决放松的问题。程序成功运行并给出结果。但是，结果无效，这意味着某些原始约束未得到满足。

我原来的MILP问题始终可以给出正确的结果。这是否意味着我最初的约束不足以确保对于宽松的MILP模型获得有效的结果？

谢谢。