python - 如何在 DocPlex 中实现“最小或无连续”变量？

Question

我的问题中有 5-20 个变量，通常对于 3-6 个，允许的解空间要么连续下降到最小值，要么恰好为零。例如，在一个问题中，第一个变量 (x0) 可以在 250-1000 之间，也可以为 0。

最小化是在复杂的分段线性/非线性函数 f(x0,...,xn) 上。

这可以在单个 Docplex 模型/最小化调用中完成吗？如果是这样，Docplex 在解决方案空间中的这些漏洞是否表现良好？

Answer 1

这个概念被称为“半连续”或“半整数”变量。查看文档，您会在类中找到函数semicontinuous_var, semicontinuous_var_dict, ...。Model这些函数将使用您要求的属性创建变量：

x0 = model.semicontinuous_var(250, 1000, "x0")

请注意，使用半连续变量会隐式地将您的模型转换为 MIP。