我有这个 MIP 优化问题，有几个二进制变量；但是，当我放松其中一个二元变量时，目标的最佳解决方案不会改变。但求解时间急剧增加。这怎么可能发生？我注意到这只发生在我只放松那个特定变量时，而不是其余的。当你放松一个变量时，解决方案空间不会改变是不是这样？这背后是一些 MIP 优化逻辑或属性吗？

谢谢您的帮助。