整数编程：需要帮助来制定约束

问题描述

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

如果A = 1且B = 1，则C

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

到目前为止，我能够提出以下等式：

M（A-1）-（B-1）+ C

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

解决方法

您可以分两步进行操作，首先引入代表逻辑和的变量X和A和B。

X >= A + B - 1

X <= A

X <= B

然后使用X表示不等式：

C - M(1-X) <= D