PreSOS1Encoding
编码用于SOS1再形成
| 类型: | int | |
|---|---|---|
| 默认值: | 1 | |
| 最小值: | 1 | |
| 最大值: | 3 |
控制的自动再形成SOS1约束。这样的约束可以直接由MIP branch-and-cut处理算法,但它们通常由调整更有效地处理他们使用二进制或整数变量。有几种不同的方式来执行这个再形成;他们有不同的大小和力量。小向模型中添加更少的变量和约束的。更强的新处方减少branch-and-cut节点需要解决由此产生的模型。
选择0和1的参数编码一个SOS1约束使用配方,其大小是线性的SOS数量的成员。选择0使用所谓的多项选择模型。它通常产生LP放松,更容易解决。选项1使用增量模型。它经常给强表示,减少所需的分支来解决困难问题。
选项2和3的这个参数编码SOS1使用对数大小的公式。他们都仅适用于所有SOS1中的变量非负。选项3另外要求SOS1中的变量之和等于1。对数公式往往有利SOS1约束时,有大量的成员。选项2关注配方的LP放松更容易解决,而选择3具有更好的分支行为。
1的默认值自动选择每个SOS1再形成约束。
注意,再形成SOS1约束也受到了影响PreSOS1BigM参数。关闭再形成完全应该,参数设置为0。
的例子如何查询或修改参数值不同的api,请参考我们的参数的例子。
请参考本节更多信息在SOS约束。
