JuMP中set_optimal_start_values报错：不支持ConstraintPrimalStart属性

算力阿峰

2026-7-30

问题解决：JuMP set_optimal_start_values 报错 UnsupportedAttribute{ConstraintPrimalStart}

核心原因

这个报错的本质是你当前使用的优化求解器不支持ConstraintPrimalStart或对偶相关的热启动属性。set_optimal_start_values函数会尝试同时设置原始变量、对偶变量以及约束的初始值，但并非所有求解器都支持全部热启动属性（比如部分开源求解器仅支持原始变量的热启动）。

解决步骤

检查求解器的属性支持情况
先确认你的求解器是否支持相关热启动属性，在Julia中可以通过以下代码验证：
```
using JuMP, MathOptInterface
const MOI = MathOptInterface

# 假设你的模型是model
println("支持ConstraintPrimalStart: ", supports(model, MOI.ConstraintPrimalStart()))
println("支持DualStart: ", supports(model, MOI.DualStart()))
```
如果输出为false，说明求解器不支持对应属性，无法使用set_optimal_start_values的完整功能。
手动设置原始变量起点（替代方案）
如果求解器不支持对偶/约束起点，可以跳过这部分，仅手动设置原始变量的上一次求解结果作为起点：
```
# 获取上一次求解的变量值，设置为新模型的起点
vars = all_variables(model)
set_start_value.(vars, value.(vars))
```
这种方式不会触发不支持的属性报错，同样能实现原始变量的热启动。
确认warm_start_init_point参数的正确设置
该参数仅针对部分求解器（如Ipopt）生效，且需要在求解器实例上设置，而非JuMP模型本身：
```
# 正确示例（以Ipopt为例）
model = Model(Ipopt.Optimizer)
set_optimizer_attribute(model, "warm_start_init_point", "yes")
```
注意：Gurobi、CPLEX等求解器默认支持热启动，无需额外设置该参数。