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

Dependency of two decision variables on Cplex

我在 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_mindecision_variable_1_maxdecision_variable_2_mindecision_variable_2_max 是浮点数。


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

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

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);