如何在Python docplex中高效将连续变量字典转为二进制变量？

问题描述 #

用户通过以下代码定义了一个取值范围在[0,1]的连续变量字典：

# Define sets
X = [(i, j) for i in range(1, a + 1) for j in range(1, b + 1)]

# Define variables
x = m.continuous_var_dict(X, name="x", lb=0, ub=1)

询问是否可以将其转换为二进制变量，且采用计算效率最高的方式。

解答 #

当然可以直接转换为二进制变量，最直接高效的方式就是替换continuous_var_dict为binary_var_dict。这类建模库（比如Gurobi、CPLEX的Python接口）的二进制变量是原生实现的，针对0/1取值做过专门优化，不需要额外约束限制范围，计算效率是最高的：

# 直接替换为二进制变量字典
x = m.binary_var_dict(X, name="x")

如果你的场景中原本的连续变量是用来表示"是否选中"这类0/1逻辑含义的，这种替换完全适配。二进制变量在求解器中会使用专门的分支定界策略，比给连续变量加0/1约束的方式高效得多——后者会让求解器把变量当成连续变量处理，额外约束还会增加计算负担。

如果是因为特殊需求要强制把原本有中间值的连续变量转为0/1，同样推荐直接用原生二进制变量，不要手动给连续变量加x[i,j] == 0 or x[i,j] == 1这类约束，求解器对原生二进制变量的优化支持远好于自定义约束的连续变量。

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