基于Pyomo调用SCIP时如何设置分支变量优先级

要在Pyomo中给SCIP指定变量分支优先级，核心是利用Pyomo的SCIP接口支持传递SCIP专属变量属性的特性，具体步骤如下：

1. 理解SCIP的分支优先级规则 #

SCIP中变量的分支优先级由priority属性控制：

• 数值越大，变量越先被选中进行分支
• 默认优先级为0
• 负数优先级会让变量比默认情况更晚被分支

2. 给Pyomo变量设置SCIP分支优先级 #

在创建Pyomo变量后，直接为变量添加scip_var_properties属性，以字典形式传入priority参数即可。

单个变量示例 #

from pyomo.environ import ConcreteModel, Var, Objective, Constraint, SolverFactory

# 创建模型
model = ConcreteModel()
model.x = Var(within=Binary)
model.y = Var(within=Binary)
model.obj = Objective(expr= -model.x - 2*model.y)
model.con = Constraint(expr= model.x + model.y <= 1)

# 为变量设置分支优先级：y优先级更高（20），x次之（10）
model.y.scip_var_properties = {'priority': 20}
model.x.scip_var_properties = {'priority': 10}

# 调用SCIP求解
solver = SolverFactory('scip')
result = solver.solve(model)

批量索引变量示例 #

如果是带索引的变量集合，可以通过循环为特定变量设置优先级：

model.z = Var([1,2,3], within=Binary)
for idx in model.z:
    if idx == 2:
        # 给索引为2的变量设置最高优先级
        model.z[idx].scip_var_properties = {'priority': 30}
    else:
        model.z[idx].scip_var_properties = {'priority': 5}

3. 验证优先级生效 #

可以通过查看SCIP的求解日志确认分支顺序：

• 启用SCIP的详细日志（在调用求解器时添加tee=True：solver.solve(model, tee=True)）
• 日志中会显示分支时选择的变量，优先级高的变量会更早出现在分支步骤中

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