线性规划 - 知道变量是否为偶数
Linear programming - Know if a variable is even
我如何使用线性规划来做到这一点？我已经考虑了一段时间，但我无法理解：/也无法在此处找到解决方案。
我有两个变量，X（整数）和 Y（二进制）。
如果 X 为偶数，我想在 Y 中存储 1，否则为 0。
谢谢！
约束条件
y = 1 iff X is even
可以使用额外的整数变量 z 建模：
x = 2 z + (1-y)
z integer
我如何使用线性规划来做到这一点？我已经考虑了一段时间，但我无法理解：/也无法在此处找到解决方案。
我有两个变量，X（整数）和 Y（二进制）。
如果 X 为偶数，我想在 Y 中存储 1，否则为 0。
谢谢！
约束条件
y = 1 iff X is even
可以使用额外的整数变量 z 建模：
x = 2 z + (1-y)
z integer