CPLEX ILOG Optimization Studio 的有界约束

如何解决CPLEX ILOG Optimization Studio 的有界约束

我想要一个有上限和下限的约束，使用格式 lb

我要翻译的约束是：enter image description here

但是我是如何用这种格式编码的：

forall(k,i in G,j in chargeStationSet,m in numberOfEVs : i!=j && j!=k && k!=i){
充电站时间管理： workHourLimit*(x[] - 1) ] + 旅行时间[] + ((batteryCapacity[m] - 剩余电池容量[])/rechargerRate) - >departureTime[] ＆& 出发时间[] + 旅行时间[] + ((batteryCapacity[m] - 剩余电池容量[])/rechargerRate) - >departureTime[] workHourLimit*(1- x[]); }

我是否因为结果与预期不符而正确执行此操作？

解决方法

你应该尝试两个不等式，而不是双重不等式：

dvar int x;
dvar int y;
dvar int z;

subject to
{
  //x<=y<=z; // Not allowed
  x<=y;
  y<=z;
}