如何在 Julia JuMP 中进行严格约束？（https://github.com/JuliaOpt/JuMP.jl）。
例如：
2x-3y>15
问问题
791 次
1 回答
3
似乎没有一个求解器接受严格的约束，因为他们解决问题的方式是为了避免一些问题！
Gurobi 是这样说的：Gurobi 支持一组有限的比较器。具体来说，您可以将表达式限制为小于或等于、大于或等于或等于另一个表达式。我们不支持严格小于、严格大于或不等于比较器。虽然这些其他比较器似乎适用于数学规划，但我们将它们排除在外以避免与数值公差相关的潜在混淆。考虑一个关于一对连续变量的严格不等式约束的简单示例：$x > y$。$xy$ 需要多大才能满足约束？我们没有尝试将处理此类约束的微妙且可能令人困惑的策略嵌入到求解器中，而是选择不支持它们。
http://www.gurobi.com/documentation/7.5/refman/constraints.html
如果您确实需要解决方案尝试实现非严格约束并放置一个松弛变量来管理此问题示例：2x-3y>15 变为 2x-3y+slackvar >=15
于 2018-03-08T22:35:48.753 回答