Question

lingo建模时有一约束条件(分段函数)： Y=X X>=0 Y=X+100 X<0 请问在lingo下如何表示为“线性"表达式。

不要告诉我用IF函数，如
Y=IF(X#GE#0,X,X+100)
同理，再问下Y=MAX(X,Z)，这样的表达式如何表示为线性表达式。

Answer 1

不是什么东西都能表达成线性的 如果什么都是线性的那么数学就简单了

追问

能否增加O,1变量来使分段函数变为线性约束,我记得在哪看过忘了。
我的模型很大,就这么一个非线性约束,如果转换为线性约束,就变为线性规划了,求解会快些。

能否增加O,1变量来使分段函数变为线性约束,我记得在哪看过忘了。
我的模型很大,就这么一个非线性约束,如果转换为线性约束,就变为线性规划了,求解会快些。

追答

至少我想不到 恐怕是你看错了 而且即使能表达成线性的 求解是不是加快也不好说

追问

谢谢你的回答！
lingo在求解INLP时，碰到大规模问题由于计算时间长几乎无解。
如何是ILP，应该可以求解。
关键是在我的模型里就这么一个非线性约束条件，而且这个分段函数每段都是线性的，难道真的不能将其转换为线性？或许是我记错了。

追答

基本上不能 这种问题规模大的时候lingo几乎解不出来 就算是线性整数规划也很困难

追问

采纳你的答案了，谢谢！
再请问：大规模INLP问题采用何种方法为好，启发式智能求解算法（遗传、蚁群、粒子群、模拟退火等）？CPLEX/GORUBI号称能解百万级变量的规划问题，这可以吗？

追答

大规模的话算精确解一般是很难算出来的 建议你选择合适的启发式算法 至于是什么算法需要具体的看 不一定哪个就好

Answer 2

y=max(x,z)用y=@if(x#GE#z,x,z);来实现吧。

追问

能否增加O,1变量来使分段函数变为线性约束,我记得在哪看过忘了。
我的模型很大,就这么一个非线性约束,如果转换为线性约束,就变为线性规划了,求解会快些。

追答

我觉得你是在学规划当中看到的0，1变量吧，我觉得在matlab中用0,1更多一些。