两个决策变量对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

此评论使问题很明确：

  

我想做的是将decision_variable_1与decision_variable_2连接起来。因此，如果decision_variable_1 == decision_variable_1_min那么   decision_variable_2 == decision_variable_2_min

这可以使用logical constraints来完成，在这种情况下，该隐含约束由=>运算符表示：

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