如何在CPLEX的LP格式文件中正确编写含幂运算的贴现现金流方程？

基础语法限制：CPLEX原生LP格式仅支持解析纯线性表达式（即由常数项、带常数系数的变量、变量加减组合构成的式子），没有内置幂运算的解析逻辑。很多用户尝试直接把DiscCflow = Cashflow / ((1+y)^year)这类带^符号的方程写进LP文件，都会直接触发文件解析报错。

分场景的合规编写方式 #

• 当贴现期限year、贴现率y均为提前已知的固定常量时
  无需在LP文件中搭建带运算的方程，提前离线计算好对应贴现现金流的数值（即Cashflow / ((1+y)^year)的计算结果），将计算得到的固定值作为常数项直接写入目标函数或约束条件即可。
• 当year为固定已知常数，但y是待求解的决策变量时
  注意：1/(1+y)^year是关于y的非线性表达式，本身不属于线性规划的求解范畴，无法通过纯LP格式直接求解，可采用两种合规方案适配：
  1. 对非线性的贴现系数项做分段线性近似，将近似得到的纯线性表达式写入LP文件，保证整体式子满足线性要求，可被CPLEX的LP求解引擎正常读取。
  2. 弃用纯LP文本格式，改用CPLEX的非线性求解接口编写模型，通过接口支持的幂运算语法写入原方程。
• 当year为整数型决策变量时
  原方程包含双变量的幂次交互项，完全超出线性规划的求解边界，需要配合整数变量做全链路的分段线性化改造后，才可写入LP格式求解。

常见踩坑提醒 #

• 不要尝试通过连续相乘的方式模拟幂运算（比如将(1+y)^3展开写为(1+y)*(1+y)*(1+y)），这类写法最终会引入高次变量项，仍然属于非线性表达式，会被CPLEX的线性校验模块拦截。
• 所有写入LP文件的表达式，必须保证不存在两个决策变量的交叉乘积项、不存在变量的高次项，否则无论采用何种符号标记运算逻辑，都无法通过LP格式的语法校验。

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