설명

여러 용어와 논리를 사용한 분리를 설명하는 예
제안.

Aldo Vecchietti, 피망 슬롯 사용자 매뉴얼, 2007,http://www.피망 슬롯ceride.gov.ar/files/pdfs/logmip_manual.pdf키워드: 확장 수학 프로그래밍, 분리 프로그래밍, 논리
          제약사항

소형 모델 유형 :EMP

카테고리 : GAMS 모델 라이브러리

메인 파일 : logmip2.gms

$title 피망 슬롯 사용자 매뉴얼 예제 2 (LOGMIP2,SEQ=335)

$onText
여러 용어와 논리를 사용한 분리를 설명하는 예
제안.

Aldo Vecchietti, 피망 슬롯 사용자 매뉴얼, 2007,
http://www.피망 슬롯ceride.gov.ar/files/pdfs/logmip_manual.pdf

키워드: 확장 수학 프로그래밍, 분리 프로그래밍, 논리
          제약
$offText

양수 변수 c, x1, x2;

변수 z;

이진변수 y1, y2, y3;

방정식 obj, e1, e2, e3, e4, e5, e6;

obj.. z =e= c + 2*x1 + x2;

e1.. -x1 + x2 + 2 =l= 0;

e2..c =e= 5;

e3.. -x2 + 2 =l= 0;

e4..c =e= 7;

e5.. x1 - x2 =l= 1;

e6.. x1 =e= 0;

x1.up = 5;
x2.up = 5;
c.up = 7;

논리 방정식 l1, l2, l3;
l1..y1 -> y3이 아님;
l2..y2 -> y3이 아님;
l3..y3 -> y2가 아님;

모델 m / 모두 /;

$onEcho > "%lm.info%"
기본 인도어
분리 y1 e1 e2 elseif y2 e3 e4
분리 y3 e5 else e6

* 선택사항, 설정되지 않은 경우 피망 슬롯은 적합한 모델 유형을 찾습니다.
모델 유형 밉
$offEcho

옵션 emp = 피망 슬롯, mip = cplex;

z를 최소화하는 emp를 사용하여 m을 해결합니다.