|
|
제 목 |
[RE] Reversiblity & Backtracking에 대하여. |
|
작성자 |
유환주 |
작성일 |
2002-01-30 |
조회수 |
1462 회 |
|
| 첨부파일 |
첨부된 파일없음.
|
|
한 공정에서 만들어진 작업순서를 연관 공정에서도 유지하는 방안:
제안1: Sequence Constraint를 사용하면, Goal에서 어떤 activity를 rankFisrt를 할 때 이 activity의 앞 Sequence에 해당하는 activity를 알 수 있습니다. 좀 복잡한 것 같지만 IlcSequenceConstraint를 이해 하시면 되고, 기본적인 아이디어는 어떤 activity의 작업 순서를 정할 때 관련되는 activity들 간에도 Goal 안에서 Sequence Constraint를 이용하여 선후행을 결정해 주는 방법입니다.
제안2: Goal에 일반적인 객체도 인수로 전달이 가능합니다. 사용자가 관리하는 메카니즘을 만들어서 인수로 전달해 주면 됩니다.
Reversiblity에 대하여:
ILOG Solver 객체는 Reversiblity가 모두 보장이 됩니다. (IlcInt는 ILOG Solver 객체가 아니고 C++ long을 재 정의한 것 입니다)
Reversiblity가 보장된다는 의미는 변수의 Domain을 변경하는 경우 Backtracking이 일어나면 이전 수준으로 복구 된다는 의미 입니다. 따라서 SetObject()와 같은 함수 호출은 당여히 복구가 되지 않을 것 입니다.
Backtracking에 대하여:
Backtracking은 간단히 설명하면 어떤 탐색 트리에서 선택된 값을 할당했을 때 해의 영역이 없는 경우를 만나면 그 앞의 탐색트리로 돌아가는 기법을 말합니다. IlcOr(GoalA, GoalB)의 경우에서 GoalA를 실행했을 때 fail이 되면 Backtracking을 해서 GoalB를 실행하는 것이 됩니다. 이때 GoalA 내부에서 부가한 제약이나 도메인에 대한 변경은 제거 됩니다.
|
|
|
|
