AMPL - принудительно установить одну переменную, если конкретная переменная активна (несколько условий?)

Question

Нужно связать две заданные переменные в AMPL, где, если, например, выбрана команда 10, должна быть выбрана и команда 12, и наоборот. Один из них не может быть выбран без выбора другого.

Кроме того, как называется этот термин? Несколько критериев? Условный? Дополнительно?

Редактировать: работа с двоичными файлами, если это имеет значение.

Спасибо!

Answer 1

subject to c1: x[10] = x[12];

, где x - ваша переменная "выделение" (адаптируйте при необходимости). Это просто «ограничение».