logmip1a.gms : LogMIP User's Manual Example 1a - Job Scheduling
Three jobs (A,B,C) must be executed sequentially in three steps, but
not all jobs require all the stages. The objective is to obtain the
sequence of tasks which minimizes the completion time. Once a job has
started it cannot be interrupted. The objective is to obtain the
sequence of task, which minimizes the completion time.
Ref: Raman & Grossmann, Comp. & Chem. Eng., 18, 7, p.563-578, 1994.
Aldo Vecchietti, LogMIP User's Manual, http://www.logmip.ceride.gov.ar/
References:
- Vecchietti, A, LogMIP User's Manual, 2007. http://www.logmip.ceride.gov.ar/eng/documentation/logmip_manual.pdf
- Raman, R, and Grossmann, I E, Modeling and Computational Techniques for Logic Based Integer Programming. Computers and Chemical Engineering 18, 7 (1994), 563-578.
Small Model of Type: EMP
<![CDATA[
$Title LogMIP User's Manual Example 1a - Job Scheduling (LOGMIP1A,SEQ=332)
$ontext
Three jobs (A,B,C) must be executed sequentially in three steps, but
not all jobs require all the stages. The objective is to obtain the
sequence of tasks which minimizes the completion time. Once a job has
started it cannot be interrupted. The objective is to obtain the
sequence of task, which minimizes the completion time.
Ref: Raman & Grossmann, Comp. & Chem. Eng., 18, 7, p.563-578, 1994.
Aldo Vecchietti, LogMIP User's Manual, http://www.logmip.ceride.gov.ar/
$offtext
SET I /1*6/,
J /A,B,C/;
POSITIVE VARIABLES X(J),T;
VARIABLE Z;
EQUATIONS equat1, equat2, equat3, equat4, equat5, equat6,
equat7, equat8, equat9, OBJECTIVE;
equat1.. T =G= X('A') + 8;
equat2.. T =G= X('B') + 5;
equat3.. T =G= X('C') + 6;
equat4.. X('A')-X('C') =L= -5;
equat5.. X('C')-X('A') =L= -2;
equat6.. X('B')-X('C') =L= -1;
equat7.. X('C')-X('B') =L= -6;
equat8.. X('A')-X('B') =L= -5;
equat9.. X('B')-X('A') =L= 0;
OBJECTIVE.. Z =E= T;
MODEL PEQUE1 /ALL/;
X.UP(J)=20.;
$ONECHO > "%LM.INFO%"
disjunction bigm 25 * equat4 else equat5
disjunction bigm 26 * equat6 else equat7
disjunction bigm 25 * equat8 else equat9
* optional, if not set LOGMIP will find the modeltype suitable
modeltype mip
$OFFECHO
OPTION EMP=LOGMIP;
SOLVE PEQUE1 USING EMP MINIMIZING Z;
]]></plaintext></body></div>