boolean - 在 CPLEX 中创建布尔约束

Question

我在 CPLEX 12.9 中使用 OPL

在我的模型中，我有这两个 dvar booleanX[p][t]和Y[t]. 我想写：

(Y[t] == 1) => (X[u][t] == 0);

但也应该有可能

(Y[t] == 0) && (X[u][t] == 0);

但它不起作用。我希望有人有一个想法。

标签： booleancplexopl

Answer 1

如果你写

(Y[t] == 1) => (X[u][t] == 0);

唯一不可能的情况是

(Y[t] == 1) && (X[u][t] == 1);