【发布时间】：2018-02-12 09:29:01
【问题描述】：
【问题讨论】：
-
你通过Quick Start Guide了吗？如果是这样，请显示一些您尝试过的示例代码:)
-
尊敬的 Morley 先生，我检查了快速入门指南，但在那里找不到严格约束，例如，如果我想在 OR 模型中使用严格约束。我怎样才能做到？
标签： julia julia-jump
【发布时间】：2018-02-12 09:29:01
【问题描述】：
似乎没有一个求解器接受严格的约束，因为他们解决问题的方式是为了避免一些问题！
Gurobi 是这样说的： Gurobi 支持一组有限的比较器。具体来说，您可以将表达式限制为小于或等于、大于或等于或等于另一个表达式。我们不支持严格小于、严格大于或不等于比较器。虽然这些其他比较器似乎适用于数学规划，但我们将它们排除在外以避免与数值公差相关的潜在混淆。考虑一个关于一对连续变量的严格不等式约束的简单示例：$x > y$。 $x-y$ 需要多大才能满足约束？我们没有尝试将处理此类约束的微妙且可能令人困惑的策略嵌入到求解器中，而是选择不支持它们。
http://www.gurobi.com/documentation/7.5/refman/constraints.html
真正需要的解决方案 尝试实施非严格约束并放置一个松弛变量来管理此问题 例子： 2x-3y>15 转为 2x-3y+slackvar >=15
【讨论】：