非布尔变量的线性规划中的条件约束

时间:2016-08-21 03:48:53

标签: linear-programming cplex constraint-programming gurobi

问题1:x,y是整数非负变量

我有一个条件 - 如果x> 0然后y = 0

问题2:a,b,c,d,e是整数非负变量              如果以上任何一个> 0然后其他4将为零。

如何将上述约束表示为线性方程式。我知道如何处理上面的布尔变量但不能对整数变量进行处理。我尝试在其他论坛和WEB中搜索,但无法得到解决方案。

2 个答案:

答案 0 :(得分:0)

作为一个起点尝试创建一些额外的布尔变量,每个非布尔变量一个。然后你可以使用典型的“大m”建模。一旦你有了可行的东西,你可以尝试重新加工它以获得更好的模型。

答案 1 :(得分:0)

您可以在CPLEX中使用逻辑含义(if-then)。请查看以下页面:Logical constraints for CPLEX