[논문 리뷰] Postponing Branching Decisions

Willem Jan van Hoeve, Michela Milano|UvA-DARE (University of Amsterdam)|2004. 07. 16.

Constraint Satisfaction and Optimization참고 문헌 6인용 수 4

한 줄 요약

이 논문은 값 순서 결정 히우리즘에서 동점이 발생할 경우 분기 결정을 연기함으로써, 동일한 값을 가진 값을 하위 도메인으로 묶고 개별 값이 아닌 전체 하위 도메인에 대해 분기하는 방법을 제안한다. 이 방법은 '분할'이라 불리며, 재귀적 검색 노력 감소와 더 빠른 경계 계산을 통해 제약 만족 및 최적화 문제에서 검색 효율성을 크게 향상시킨다. 특히 제한된 오차 탐색과 조합할 경우 효과가 뚜렷하다.

ABSTRACT

Solution techniques for Constraint Satisfaction and Optimisation Problems often make use of backtrack search methods, exploiting variable and value ordering heuristics. In this paper, we propose and analyse a very simple method to apply in case the value ordering heuristic produces ties: postponing the branching decision. To this end, we group together values in a tie, branch on this sub-domain, and defer the decision among them to lower levels of the search tree. We show theoretically and experimentally that this simple modification can dramatically improve the efficiency of the search strategy. Although in practise similar methods may have been applied already, to our knowledge, no empirical or theoretical study has been proposed in the literature to identify when and to what extent this strategy should be used.

연구 동기 및 목표

• 값 순서 결정 히우리즘에서 동점이 발생할 경우 기존 백트래킹 검색의 비효율성을 해결하기 위해.
• 동점 값들 사이에서 분기 결정을 연기하는 것이 검색 성능 향상에 기여하는지 조사하기 위해.
• 제약 프로그래밍에서 표준 레이블링의 대안으로서 분할의 이론적 및 실증적 분석을 제공하기 위해.
• 깊이 우선 탐색 및 제한된 오차 탐색을 포함한 다양한 검색 전략에서 분할의 영향을 평가하기 위해.
• 하위 도메인 분기 사용 시 제약 전파와 검색 효율성 간의 상충 관계를 탐색하기 위해.

제안 방법

• 동일한 히우리즘 순위를 가진 값들(동점 값들)을 개별적으로 선택하는 대신 하나의 하위 도메인으로 묶어 분기 대상으로 삼는다.
• 단일 값에 대한 분기(레이블링)를 하위 도메인의 분기(분할)로 대체하여 결정을 연기한다.
• 분할에 의해 생성된 각 하위 문제 내에서 깊이 우선 탐색(DFS)을 적용하여 하위 도메인 내의 해를 탐색한다.
• 검색 트리 전반에 걸쳐 제약 전파를 적용하지만, 분할된 하위 도메인에서 변수의 즉각적 할당이 연기됨에 따라 전파 영향력은 감소한다.
• 분할을 제한된 오차 탐색(LDS)과 결합하여 제약 최적화 문제에서 경계 계산과 최적성 증명을 향상시킨다.
• 기본 문제 및 스케줄링 인스턴스를 포함한 벤치마크 문제에 대해 분할을 표준 레이블링과 비교하여 접근을 평가한다.

실험 결과

연구 질문

• RQ1 값 순서 결정 히우리즘에서 동점이 발생할 경우, 분기 결정을 연기하는 것이 제약 만족 문제에서 검색 효율성 향상에 기여하는 조건은 무엇인가?
• RQ2 다양한 문제 인스턴스에서 분할과 표준 레이블링 간의 검색 실패 수 및 해 시간 측면에서의 성능 비교는 어떻게 되는가?
• RQ3 최적화 문제에서 분할이 제약 전파 및 경계 계산에 미치는 영향은 어느 정도인가?
• RQ4 분할이 제한된 오차 탐색과 같은 고급 검색 전략과 효과적으로 조합되어 수렴 속도를 가속화할 수 있는가?
• RQ5 단일 값 분기 대비 하위 도메인 분기 사용 시 제약 전파 능력과 검색 속도 간의 상충 관계는 어떠한가?

주요 결과

• 분할은 부분 라틴 스퀘어 완성 문제에서 평균적으로 레이블링보다 뛰어난 성능을 보이며, 일부 인스턴스에서는 해 시간을 최대 80% 감소시켰다.
• PLSCP 벤치마크에서 분할은 평균 해 시간 15.25초를 기록했고, 레이블링은 46.59초였으며, 전체 실패 수는 높지만 일부 경우에서 실패 수가 적었다.
• u.o30.h348 인스턴스에서는 시간을 43.80초에서 32.86초로 감소시켜, 균형이 깨지고 해결하기 어려운 문제에서 일관된 성능 향상을 보였다.
• LDS와 결합할 경우, 더 효과적인 경계 계산 덕분에 COP에서 더 이른 최적성 증명이 가능해졌다.
• 지연된 변수 할당으로 인한 제약 전파 감소에도 불구하고, 재귀적 검색을 피하는 데서 비롯된 성능 향상이 대부분의 경우 이에 상쇄되었다.
• 하위 문제의 크기가 로컬 서치나 수리 프rog래밍 솔버와 같은 다른 해법 방법의 이점을 얻을 수 있을 정도로 충분히 클 경우, 이 방법은 특히 효과적이다.