如何在 Julia JuMP 软件中进行严格约束?
How can I make strict constraint in the Julia JuMP software?
如何在 Julia JuMP 中进行严格约束?(https://github.com/JuliaOpt/JuMP.jl)。
例如:
2x-3y>15
似乎 none 的求解者接受严格的约束,因为他们解决问题的方式和避免一些问题!
Gurobi 是这样说的:
Gurobi 支持一组有限的比较器。具体来说,您可以将表达式限制为 less-than-or-equal、greater-than-or-equal 或等于另一个。我们不支持严格 less-than、严格 greater-than 或 not-equal 比较器。虽然这些其他比较器可能看起来适合数学规划,但我们将它们排除在外以避免与数值公差相关的潜在混淆。考虑一对连续变量的严格不等式约束的简单示例:$x > y$。 $x-y$ 需要多大才能满足约束条件?我们没有尝试将处理此类约束的微妙且可能令人困惑的策略嵌入到求解器中,而是选择不支持它们。
http://www.gurobi.com/documentation/7.5/refman/constraints.html
真正需要的解决方案
尝试实施 non-strict 约束并放置松弛变量来管理此问题
例子:
2x-3y>15 转为2x-3y+slackvar >=15
如何在 Julia JuMP 中进行严格约束?(https://github.com/JuliaOpt/JuMP.jl)。
例如:
2x-3y>15
似乎 none 的求解者接受严格的约束,因为他们解决问题的方式和避免一些问题!
Gurobi 是这样说的: Gurobi 支持一组有限的比较器。具体来说,您可以将表达式限制为 less-than-or-equal、greater-than-or-equal 或等于另一个。我们不支持严格 less-than、严格 greater-than 或 not-equal 比较器。虽然这些其他比较器可能看起来适合数学规划,但我们将它们排除在外以避免与数值公差相关的潜在混淆。考虑一对连续变量的严格不等式约束的简单示例:$x > y$。 $x-y$ 需要多大才能满足约束条件?我们没有尝试将处理此类约束的微妙且可能令人困惑的策略嵌入到求解器中,而是选择不支持它们。
http://www.gurobi.com/documentation/7.5/refman/constraints.html
真正需要的解决方案 尝试实施 non-strict 约束并放置松弛变量来管理此问题 例子: 2x-3y>15 转为2x-3y+slackvar >=15