|
|
제 목 |
생성된 LP 파일 및 결과 파일입니다. |
|
작성자 |
소경철 |
작성일 |
2008-02-27 |
조회수 |
1362 회 |
|
| 첨부파일 |
Disjunctive.zip(12096 Byte)
|
|
첨부 파일에 제약 이름을 부여한 다음 생성된 LP 파일에서 가져온 제약입니다.
ct31_0,0,3: id2496 + id2498 >= 1
i5: id2496 = 1 <-> - m2t(0)(1) + ut(3)(0) >= 6 --- (1)
i6: id2498 = 1 <-> - m2t(3)(1) + ut(0)(0) >= 6 --- (2)
문의하신 제약과 동일한 의미죠...
이렇게 실행한 결과 중에서 위 제약에 포함된 변수의 값만 가져오면 다음과 같습니다.
(생성된 결과 파일에서 가져왔습니다.)
var mark row col start dur
m2[0][1] m2 0 1 613.000000 6
m2[3][1] m2 3 1 230.000000 6
ut[0][0] U 0 0 518.000000 11
ut[3][0] U 3 0 86.000000 11
이 값을 (1), (2) 제약에 대입시켜 보면 다음과 같습니다.
-613 + 86 >= 6 --- (3) => 위반
-230 + 518 >= 6 --- (4) => 만족
(3)번은 위반했고, (4)번은 만족했네요..
이 결과로 보면 아무런 문제없이 정상 실행하는 것으로 보이는데요...^^
수정한 소스 파일, 생성된 LP 파일, 그리고 결과 파일을 첨부하겠습니다.. |
|
|
|
