AMPL最小化成本优化模型约束边界反转结果异常求助

嘿，刚入门优化遇到这种困惑太正常啦，我来帮你把这个问题掰扯清楚～

先看正常约束的合理结果 #

你写的正常约束逻辑完全没问题：

var u1 >=0;
var u2 >=0;
minimize costofunits: 10*u1 +13*u2;
subject to unit1: 0 <= u1 <= 100;
subject to unit2: 0 <= u2 <= 50;

咱们的目标是最小化总成本，而u1和u2的单位成本都是正数——那肯定生产得越少成本越低啊！最优解自然就是把两个变量都设为0，完全符合逻辑，所以CPLEX给出目标值0是完全正确的。

反转约束后出问题的核心原因 #

当你把约束写成100 <= u1 <= 0和50 <= u2 <= 0时，本质上是要求u1同时满足「大于等于100」和「小于等于0」，u2同时满足「大于等于50」和「小于等于0」——这在数学上是完全矛盾的，根本不存在这样的数！所以CPLEX直接抛出inconsistent bounds（边界不一致）的提示，说明这个问题是不可行的，不存在满足所有约束的解。

那为什么还会输出u1=50、u2=25这组值呢？其实这不是真正的可行解，而是求解器在预处理阶段发现问题不可行后，给出的一个用于诊断不可行性的参考值，完全不满足你写的反转约束。输出里的unit1=10、unit2=13是约束的对偶值，用来告诉你哪些约束是导致不可行的关键，而不是变量满足约束的数值。那个目标值825也没有实际意义，因为根本不存在符合约束的解。

给优化新手的小提醒 #

• 写变量约束时一定要注意上下界的顺序：必须是下界 <= 变量 <= 上界，下界一定要小于等于上界，否则就会出现逻辑矛盾。
• 对于最小化带正系数的线性目标，最优解通常会取变量的最小可行值（这里就是0）；如果是最大化目标，才会倾向于取变量的最大可行值。

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