我正在尝试以松弛形式的 MIP 模型最大化二进制变量与 0.5 的绝对距离，以尽可能将解决方案推向整数值。为此，我使用传统的变量更改技术将绝对表达式 (|0.5-y|) 线性化。为了避免非线性约束 (x_plus * x_minus=0) 我打算使用 SOS 集。但是由于某种原因，add_sos1 方法的运行速度非常慢。这是正常现象还是我可能犯的错误或常见错误？
我查看了是否有其他方法可以将 SOS 集添加到模型中，但一无所获。