整数规划：需要帮助来制定约束

Question

我正在尝试为我的数学模型制定一个约束条件。约束目标是：

如果 A = 1 且 B = 1 则 C

A 和 B 是二进制变量。 C 和 D 是整数。

到目前为止，我能够提出这个等式：

M(A - 1) - (B - 1) + C

当 A = 1 和 B = 0 时，此公式不成立

Answer 1

您可以分两步执行此操作，首先引入一个变量X，表示A 和B 的逻辑与。

X >= A + B - 1

X <= A

X <= B

然后用X表示不等式：

C - M(1-X) <= D