我正在构建一个 MILP 约束系统。以下是我需要构建的约束。
floor(a-b) <= 2c - 1
这里，a和b是实值。 c 是整型变量。我需要下限函数才能为变量分配适当的值。如何在 Gurobi 中添加此约束？任何帮助表示赞赏。
最佳答案
假设 a 以常数 MaxA 为界，同样令 b <= MaxB。 然后，使用不等式
(1): a < b + c*MaxA
(2): b <= a + (1-c)*MaxB。
设 a>=b，因此 (1) 意味着 c=1，并且 (2) 基本满足，与 c 无关。否则， 假设 a 小于 b ，现在 (2) 意味着 c=0 并且 (1) 变得微不足道。 (如果您只是想确保 a>=b 意味着 c=1，并且不关心 c，则应该跳过 (2)。)
关于mathematical-optimization - Gurobi 中带有下限函数的线性约束，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/16376576/