|
|
제 목 |
disjunctive constraint은 정상동작합니다. |
|
작성자 |
소경철 |
작성일 |
2008-02-26 |
조회수 |
1252 회 |
|
| 첨부파일 |
첨부된 파일없음.
|
|
id1626과 id1628의 두 제약은 서로 disjunctive 관계에 있는 제약입니다.
따라서 두 제약중에 하나는 만족하고 다른 하나는 만족하면 안되는거죠..
id1624의 값이 1로 결정됐다고 하겠습니다.
그러면
-389 + 181 + Big_K(1-id1624) >= 6 -- (1)
304 - 303 + Big_K (id1624) >= 6 -- (2)
위의 두 식 중에서 (1)번은 만족하지 않고, (2)번은 만족하게 되죠..
반대로 id1624의 값이 0으로 결정되었다고 하면 반대의 결과가 나오게 됩니다. (즉 (1)번은 만족하고, (2)번은 만족하지 않게 되겠죠..)
즉, 이 문제에서 disjuctive constraint는 정상 동작하고 있다고 보입니다.. |
|
|
|
