Julia中通过JuMP为KNITRO配置honorbnds=2选项及边界设置方法

核心逻辑前置说明 #

KNITRO的honorbnds=2参数的原生设计规则为：所有传入求解器的变量上下界，仅用于校验用户提供的初始迭代点的合法性，求解全迭代过程中不会对任何候选解强制施加边界截断。
你之前观察到的“JuMP接口设置的边界会全程约束所有候选解”，是该参数取默认值（通常为1，即全程强制边界）时的表现，开启honorbnds=2后这一行为会被求解器主动覆盖。

分步配置流程 #

• 正常通过JuMP原生接口为所有变量设置目标上下界，直接调用set_lower_bound()/set_upper_bound()即可，无需做特殊封装或改写。这些边界值是求解器校验初始点合法性的唯一依据，不能省略。
• 在求解器属性配置段显式传入参数honorbnds = 2，参考代码示例：

using JuMP, KNITRO

# 初始化绑定KNITRO的模型
model = Model(KNITRO.Optimizer)

# 设置求解器参数
set_optimizer_attribute(model, "honorbnds", 2)

# 后续正常建模、设置变量边界
@variable(model, x)
set_lower_bound(x, -10)
set_upper_bound(x, 10)

# 必须：为变量设置落在边界范围内的初始点
set_start_value(x, 0.0)

• 必须为所有变量提供落在已设置的上下界范围内的初始值：如果初始点超出边界范围，求解器会直接在初始校验环节抛出错误，不会进入迭代求解阶段。

常见误区提醒 #

• 不要为了适配honorbnds=2刻意删除JuMP中设置的变量边界：删除边界后求解器无参考值完成初始点校验，该参数规则无法正常触发。
• 不要通过@constraint宏添加独立的边界约束项（比如写@constraint(model, x >= -10)）：这类独立约束属于求解全程生效的硬约束，不受honorbnds参数控制，会在全迭代过程中强制生效，完全不符合“边界仅初始点生效”的需求。

内容的提问来源于stack exchange，提问作者M. Shang