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的正確表達式。先前的步驟。 A，D和S是輸入數據。

Answer 1

請提供決策表達式，以減少我的猜測。 我假設所有三行都在subject to {}塊的subject to {}內。 由於約束2和3實際上是相同的（除了缺少空格和字母O / Z以外），我猜Cplex通過為所有Decision變量分配相同的值來提供最簡單的解決方案。