如何在线性规划中表达模运算符约束

Question

我想在任何开源优化建模语言中陈述模运算约束。

我们如何陈述以下约束：y = x mod 3。其中x，y是整数变量。

努力制定上述内容。

Answer 1

y = x mod 3

可以建模如下：

x = 3b + y
0 <= y <= 2
x, y, b are integers

由于 y 只能取值：

0, 1 or 2

，因此

x

可以由

b

和

y

的一些唯一值确定，使得

x = 3b + y

b

和

y

分别是

x mod 3

的商和余数