如何在CPLEX OPL中编写含平方根与逆函数的目标函数？浮点变量报错求助

你的问题核心在于CP求解器（Constraint Programming）专为离散/整数优化设计，对连续变量的非线性表达式支持有限，换成CPLEX求解器（支持连续非线性优化）即可解决。以下是修改后的代码及关键说明：

修改后的代码 #

using CPLEX;
dvar float+ y;
dvar float+ z;
minimize z;
subject to{
  z == 4 / sqrt(2 + y);
  y >= 1;
  y <= 4;
}

关键修改点 #

• 替换using CP;为using CPLEX;：CPLEX求解器原生支持连续变量和非线性目标/约束，能处理平方根、除法这类非线性运算。
• 变量类型改为float+：确保变量为正连续值，符合原问题需求。

额外优化建议 #

如果直接运行仍有数值稳定性问题，可以将非线性等式转化为等价形式（利用变量均为正的特性），避免除法和平方根的直接计算，减少求解器数值误差：

using CPLEX;
dvar float+ y;
dvar float+ z;
minimize z;
subject to{
  z * z * (2 + y) == 16; // 等价于z=4/sqrt(2+y)
  y >= 1;
  y <= 4;
}

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