带最大值函数的AMPL - Express求和

Question

我需要在我的.mod中声明这个图像为“服从”，但我不知道如何去做。有人能给我解释一下吗？我的主要问题是最大{0，t-4}。

​

​

我试过：

    set ANY_INICI:=1..10;
    subject to constr{t in 1 .. 10}:
        sum {j in max(0,t-4)+1 .. ANY_INICI, i in t-j+1 .. 4} decisio[i,j]>=restriccio[t];

Answer 1

正确的表格是：

T迭代ANY_INICI和1.10等于ANY_INICI参数

subject to constr{t in ANY_INICI }:
        sum {j in max(0,t-4)+1..t, i in t-j+1..4} decisio[i,j] >= restriccio[t];