两个决策变量对 Cplex 的依赖性

Question

我在 OPL CPLEX 12.9.0 中的问题如下。
我有两个决策变量，每个决策变量都有一个下限和一个上限。

decision_variable_1 >= decision_variable_1_min;
decision_variable_1 <= decision_variable_1_max;
decision_variable_2 >= decision_variable_2_min;
decision_variable_2 <= decision_variable_2_max;

---

我要决定：

如果decision_variable_1选择decision_variable_1_min;
同样，如果 decision_variable_2 那么 decision_variable_2_min 也应该被选择。

decision_variable_1_min、decision_variable_1_max、decision_variable_2_min 和 decision_variable_2_max 是浮点数。

---

解释起来并不容易，但我希望有人能理解我的问题。

Answer 1

这条评论把问题说清楚了：

what I try to do is to connect decision_variable_1 with decision_variable_2. So if decision_variable_1 == decision_variable_1_min then decision_variable_2 == decision_variable_2_min

这可以使用 logical constraints 来完成，在本例中，"implies" 约束由 => 运算符表示：

(decision_variable_1 == decision_variable_1_min) => (decision_variable_2 == decision_variable_2_min);