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

这可以使用逻辑约束来完成，在本例中，“暗示”约束由=>操作符表示：

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