|
|
제 목 |
[247]질문 또 드립니다. |
|
작성자 |
Hyun Jung Lee |
작성일 |
2004-04-13 |
조회수 |
818 회 |
|
| 첨부파일 |
첨부된 파일없음.
|
|
1.
X = [5..20], Y = [0..10] Z = [0..20]; 이런 integer 변수가 있다고,
제약1: X < Y,
제약2: X + Z = 10;이 있다면
X의 domain은 제약 1에 의해 [5..9]까지만 남게 되고, X 변수가 포함된 제약2에 영향의 미쳐, Z의 domain도 줄어드는 현상이 벌어집니다.
-->
결국 각 변수들간의 도메인의 변화는 있지만, 변수 X, Y, Z은 제약관계에 의해 Constraints 만족여부를 살펴봐야 되는 건지요?
2.
최적해를 찾는 경우는 먼저 초기해를 찾고, 초기해가 Low Bound가 되어 초기해를 갱신하면서 최적해를 찾습니다. 이과정에서 불필요한 node는 Propagation의 의해 저절로 탐색을 하지 않습니다.
--> 이과정에서 불필요한 node는 Propagation의 의해 저절로 탐색을 하지 않습니다.의 의미에 대해 여쭤 보고 싶습니다.
그런면 변수 A=[a1,a2,a3]이고, B=[b1,b2,b3], C=[c1,c2,c3]에서 A와 B, B와 C간에는 제약관계가 있을 때, A의 값의 변경으로 B의 값의 변경이 없다면 이 경우 C의 값의 변경이 필요한지 iLog에서 Check하는지요. 일단 직관적으로 기본 도메인은 A, B, C의 Checking이 필요한 상황인 것 같은데, 단지 변수값의 변경만 있었고, 그것이 Constraint에 영향을 미치지 못했기 때문에 사람이 Propagation하는 경우 B에서 Stop할 것 같은데,ILOG는 B까지 Propagation하는지 아니면 C도 도메인에 포함되므로 C까지 Propagation을 하시는지 궁금합니다.
Domain Reduction의 의미가 해당 도메인에서 변수의 값의 변경에 따른 서치 공간의 감소까지 포함하는지 궁금합니다.
감사합니다.
이현정 드림 |
|
|
|
