ConstrVio


ConstrVio

类型:
修改: 没有

由于对线性不等式约束的松弛处理,报告单形求解器的约束违反实际上比它看起来更复杂。手机万博登录单纯形求解器在算法中引入手机万博登录了显式的非负松弛变量。因此,例如,< span > < / span >美元^ Tx \ b < span > < / span >美元就变成了<span>$< span>a^Tx + s = b<span>$< span>.在这个公式中,约束误差可以出现在两个地方:(i)作为计算松弛变量值的有界违反,(ii)作为之间的差异< span > < / span >美元^ Tx + s < span > < / span >美元< span > < / span > b < span >美元< / span >.我们报告前者为ConstrVio后者则为ConstrResidual

对于MIP模型,最大违反约束,包括线性、二次、SOS和一般约束,在ConstrVio

可用于所有模型类型。

有关如何查询或修改属性的示例,请参阅我们的属性的例子