JuMP 提供了一种特殊的语法来创建指标约束。那么,线性化指标约束然后编写代码或使用此功能哪个更好?
当 z 二元变量 a 为 1 时,为了约束 x + y <= 2 成立:
@variable(model, x)
@variable(model, y)
@variable(model, z, Bin)
@constraint(model, z => {x + y <= 2})
Run Code Online (Sandbox Code Playgroud)
实际上我的问题是哪个更快、更高效,线性化我们自己还是使用代码?