|
|
제 목 |
Disjunctive Constraint의 LP파일에서의 표현 방식. |
|
작성자 |
이준호 |
작성일 |
2008-02-27 |
조회수 |
1374 회 |
|
| 첨부파일 |
첨부된 파일없음.
|
|
먼저 문의하신 Disjunctive 제약의 표현 및 작용에 대한 수식적인 이해가 정확하게 선행되면 좋을 것 같습니다.
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)
위에서 나온 포맷 대로, "<->" Operator를 통해서 Disjunctive Constraint가 표현이 됩니다. 또한 이렇게 표현된 제약의 경우 둘 중 하나만 만족시키면 되는 것이죠.
만약 i5, i6 각각이 LP파일에서 단순히
i5:- m2t(0)(1) + ut(3)(0) >= 6
i6:- m2t(3)(1) + ut(0)(0) >= 6
...위와 같이 표현되었다면, 둘 모두 당연히 만족해야 하며, 그렇지 않을 경우 Infeasible이 됩니다. 그러나 Disjunctive 제약은 둘 중 하나만 만족하면 되는 것입니다.
|
|
|
|
