OPL ILOG CPLEX优化

Question

三个决策变量M，O和Z，

forall (k in 1..Cells, i in 1..nbMachines, j in 1..nbComps)
{(U[k][i][j] == 1) && ( A[k][i] <= -1 +((D[k][j]*S[k][j])*52*5))
=> M[k][i][j]==1 ;  } 

forall (k in 1..Cells, i in 1..nbMachines, j in 1..nbComps)
{(V[k][i][j] == 1) && (A[k][i] >=  -1 + ((D[k][j]*S[k][j])*52*5)) 
=> Z[k][i][j]==1 ;} 

forall (k in 1..Cells, i in 1..nbMachines, j in 1..nbComps)
{(V[k][i][j] == 1) && ( A[k][i]  >= -1 + ((D[k][j]*S[k][j])*52*5)) 
=> O[k][i][j]==1;} 

• 如果U为1时，A小于或等于D*S*52*5，则M为1。
• 如果V为1时，A大于D*S*52*5，则Z大于1。
• 如果V为1时，A大于D*S*52*5，则O大于1。

在运行过程中，M、Z和O得到相同的值。M和Z以及M和O等于U和V。(U=V)请帮我写出正确的表达式求出M，O，Z，U和V。A、D和S是输入数据。

Answer 1

请提供决定的表达式，以减少我的粗野猜测。我假设这三行都在一个subject to {}块中。由于约束2和3实际上是相同的(除了一个遗漏的空格和一个不同的字母O/Z)，我想Cplex通过为所有决策变量分配相同的值而得到了最简单的解决方案。