Как я могу установить строгие ограничения в программном обеспечении Julia JuMP?

Question

Как я могу сделать строгое ограничение в Julia JuMP? ( https://github.com/JuliaOpt/JuMP.jl).

Например:

2x-3y>15

Answer 1

Кажется, что ни один из решателей не принимает строгие ограничения из-за того, как они решают проблему и избегают некоторых проблем!

Вот что говорит Гуроби: Гуроби поддерживает ограниченный набор компараторов. В частности, вы можете ограничить выражение, чтобы оно было меньше или равно, больше или равно или равно другому. Мы не поддерживаем строгих сравнений "меньше", "больше" или "не равно". Хотя эти другие компараторы могут показаться подходящими для математического программирования, мы исключаем их, чтобы избежать возможной путаницы, связанной с числовыми допусками. Рассмотрим простой пример строгого ограничения неравенства на пару непрерывных переменных: $x > y$. Насколько большим должен быть $ xy $, чтобы выполнить ограничение? Вместо того, чтобы пытаться внедрить в решатель тонкую и потенциально запутанную стратегию обработки таких ограничений, мы решили не поддерживать их.

http://www.gurobi.com/documentation/7.5/refman/constraints.html

Решение, если вам действительно нужно. Попытайтесь реализовать нестрогое ограничение и установите переменную slack для решения этой проблемы. Пример: 2x-3y>15 Обращается к 2x-3y+slackvar >=15