问题描述
我想要一个有上限和下限的约束,使用格式 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[]
&&
出发时间[
我是否因为结果与预期不符而正确执行此操作?
解决方法
你应该尝试两个不等式,而不是双重不等式:
dvar int x;
dvar int y;
dvar int z;
subject to
{
//x<=y<=z; // Not allowed
x<=y;
y<=z;
}