懒惰的

类型: int
修改: 是的

决定是否视为一个线性约束懒惰的约束或者一个用户减少

初MIP解决方案的过程中,任何的约束懒惰的属性设置为1、2、或3(默认值是0)被视为一个懒散的约束;从模型中删除,放置在懒惰的约束池。懒惰的约束仍不活跃,直到找到可行解,此时解决方案是针对懒惰的约束检查池。如果解决方案违反任何延迟约束,解决方案是丢弃和一个或更多的违反了懒惰的约束是拉到活跃的模型。

更大的该属性的值导致约束拉到模型更积极。值为1,约束可以用来切断一个可行的解决方案,但它不一定会把如果另一个懒惰的约束也切断了解决方案。值为2,所有延迟约束违反的一个可行的解决方案将被拉到模型中。值为3,懒惰的约束,切断了放松在根节点也拉的解决方案。

任何约束的懒惰的属性设置为1时被视为用户减少;从模型中删除,放置在用户减少池。削减用户可以添加到模型中的任何节点branch-and-cut搜索树切断放松的解决方案。

用户削减和懒惰约束之间的主要区别在于,前者是不允许切断integer-feasible解决方案。换句话说,他们是多余的MIP模型,解算器可以自由决定是否要使用它们来切断放松的解决方案。手机万博登录希望增加他们加速整个解决方案的过程。懒惰的约束却没有这样的限制。他们基本模型,解算器被迫时应用解决方案无法满足他们的需要。手机万博登录

注意,删除从您的模型约束将导致这个属性被丢弃。如果你想让它持续下去,你的程序需要重新填充后删除约束,使后续的模型更新的电话。

注意,没有相应的属性是用于其他约束类型(二次、SOS或通用约束)。这个属性只会影响MIP模型。

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