如何线性化暗示？答案

【问题标题】：How to linearize an implication?如何线性化暗示？
【发布时间】：2021-11-09 22:21:55
【问题描述】：

有人可以帮我线性化这个含义吗？

为x和y整数变量，含义如下

x >= 1 --> y = 0
y >= 1 --> x = 0

非常感谢您的帮助。

【问题讨论】：

欢迎来到本站。这似乎是一个纯数学或 cs 问题，两者都有各自的 StackExchange 站点。你可能会在那里找到更好的帮助。 StackOverflow 用于编程问题。
@Calculuswhiz 用 MIP 求解器建模一个问题来解决它似乎是一个合法的 SO 主题，不是吗？
or.stackexchange.com 也有专门的运筹学 SE，非常适合这个问题。
@ChristopherHamkins 如果是编程和代码，绝对可以。但是这些细节必须由 OP 编辑。在那之前，我认为最好在其他 SE 网站上发布这个问题。

【解决方案1】：

这行得通吗？

引入一个参数t。

y = Max(1 - t, 0)
x = Min(t, 0)

【讨论】：

【解决方案2】：

有没有办法使两者都为零？因为这似乎是用于电池优化或电源系统优化的常用互补约束和常用方法，因为x 和y 是binary Vars：

x + y <= 1

或等式约束：

x + y == 1

【讨论】：