约束值在上下界内，为何CheckSatisfiedAtInitialGuess返回False？

执行代码 #

for cons in prog.GetAllConstraints():
    if not prog.CheckSatisfiedAtInitialGuess(cons):
        print("ln470 constraint failed")
        print(prog.CheckSatisfiedAtInitialGuess(cons))
        print(cons.evaluator().get_description())
        print(cons.evaluator().Eval(prog.initial_guess()))
        print(cons.evaluator().upper_bound())
        print(cons.evaluator().lower_bound())

输出结果 #

ln470 constraint failed
False
abs value geq constraint
[52.4021 50.1494 22.4349]
[inf inf inf]
[3.3518 0.     0.    ]

问题 #

该约束的计算值处于upper_bound和lower_bound范围内，但CheckSatisfiedAtInitialGuess却返回False，请问这一情况的原因是什么？

原因分析 #

从输出里的约束描述abs value geq constraint（绝对值大于等于约束）可以明确，这类约束的判断逻辑和普通的区间约束（lower_bound ≤ 计算值 ≤ upper_bound）完全不同：它要求计算值的绝对值大于等于对应维度的阈值。

结合你的输出数据来看，三个维度的计算值绝对值都满足大于等于对应下界的要求，但检查函数返回False，可能的原因有以下几点：

• 约束逻辑定义反向：虽然描述标注是“geq（大于等于）”，但实际约束被错误定义为“绝对值小于等于阈值”，导致检查逻辑和预期相反
• 框架约束检查的参数映射错误：对于绝对值大于等于约束，框架可能需要将阈值传入upper_bound而非lower_bound，但当前约束的阈值被放在了lower_bound，导致检查函数读取错误的参数进行判断
• 浮点数精度容差问题：部分优化框架会设置极小的约束满足容差（比如1e-6），如果计算值和阈值的差值在容差范围内，可能因浮点数精度误差被判定为不满足；不过从你的数值来看，这种可能性极低

最核心的问题是你混淆了普通区间约束和绝对值约束的判断逻辑，绝对值约束不会检查计算值是否落在[lower, upper]区间内，而是单独判断绝对值与阈值的关系，建议查看该优化框架中abs value geq constraint的具体实现规则。

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