关于SCIP自动处理除零及MINLP模型中整数变量比较表达式的技术问询

1. SCIP是否会自动处理除零运算？ #

SCIP 不会自动处理除零运算。因为除零在数学上属于未定义操作，在优化模型中出现这种场景会直接引发数值计算不稳定，甚至导致求解器报错或异常终止。你必须在建模阶段手动规避所有可能出现除零的情况，确保任何除法表达式的分母在所有可行解中都不会取到0值。

2. 整数变量比较表达式的安全性与替代方案 #

首先明确：编写形如(varA - varB)/(varA - varB)的SCIP表达式完全不安全。当varA和varB相等时，分母为0，会触发上述的除零问题，导致求解器无法正常处理。

在SCIP中，并没有直接返回0/1的内置比较表达式，但你可以通过引入二进制变量结合线性约束的方式，安全实现“两整数变量相等时输出0，不等时输出1”的逻辑：

假设varA和varB是整数变量，引入一个二进制变量z（取值0或1），我们希望：

• 当varA == varB时，z = 0
• 当varA != varB时，z = 1

可以添加以下4个线性约束来实现这个逻辑（其中M是一个足够大的常数，建议取varA和varB上下界之差的最大值，确保约束有效）：

• varA - varB <= M * (1 - z)
• varB - varA <= M * (1 - z)
• varA - varB >= 1 - M * z
• varB - varA >= 1 - M * z

如果你使用SCIP的C++接口，也可以借助其表达式框架简化建模，比如通过创建相等性表达式再与二进制变量关联，但本质上还是基于上述约束逻辑的封装。

内容的提问来源于stack exchange，提问作者ZYberTanC