使用线性规划在求和中减去两个不同的单元格

我正在尝试减去属于特定区域 (z) 的两个不同单元格 (i,j)。我希望区域内的两个值相减等于 r(z)。如果位于 i,j 的单元格的编号为 n，则我使用响应变量 x(i,j,n) 为 1。我正在使用以下两种替代代码，但都不起作用。谢谢你的帮助。

选项 1：

forall(z in Z| o(z)=2 and d(z)=1)
        sum(n in N,i in I,j in J,m in N | j<6)((n*p(i,z)*x(i,n))-(m*p(i,j+1,n)))=r(z)-2*r(z)*y(z)

选项 2：

    forall(z in Z| o(z)=2)
        sum(n in N,m in N,h in I,t in J|i+j<>h+t)((n*p(i,n))-(m*p(h,t,z)*x(h,m)))=r(z)-2*r(z)*y(z)