[논문 리뷰] Tree search algorithms for the Sequential Ordering Problem

Luc Libralesso, Abdel-Malik Bouhassoun외 2명|arXiv (Cornell University)|2019. 11. 25.

Constraint Satisfaction and Optimization참고 문헌 34인용 수 5

한 줄 요약

이 논문은 순차적 순환 문제(Sequential Ordering Problem, SOP)에 대해 비트리 검색 알고리즘을 제안하며, 비트리 검색(Beam Search)과 동적 프로그래밍 기반 컷, 효율적인 하한값을 조합한다. 표준 랩탑에서 600초 이내로 SOPLIB 인스턴스의 50%에서 최적해를 확보하고, 7개의 열린 인스턴스 중 6개에서 새로운 최고의 해를 발견한다.

ABSTRACT

We present a study of several generic tree search techniques applied to the Sequential Ordering Problem. This study enables us to propose a simple and competitive tree search algorithm. It consists of an iterative Beam Search algorithm that favors search over inference and integrates dynamic programming inspired cuts. It proves optimality on half of the SOPLIB instances and finds new best known solutions on 6 among 7 open instances of the benchmark in a small amount of time.

연구 동기 및 목표

• 순차적 순환 문제(SOP)에 대한 분기한정 알고리즘에서 다양한 검색 전략의 영향을 조사하여, 기존의 깊이 우선 또는 최적 우선 검색의 사용 방식에 도전한다.
• 비트리 검색의 일반적인 구성 요소—비트리 검색, 깊이 우선 검색, 제한된 오차 검색—을 다양한 하한값과 컷과 조합하여 성능을 평가한다.
• 복잡한 추론보다 검색 전략에 중점을 두는 간단한 알고리즘 조합이 SOP 해결에 있어 더 복잡한 기존 방법보다 뛰어난 성능을 낼 수 있는지 판단한다.
• 깊이 우선 검색을 비트리 검색으로 대체하고 MST 하한값을 비활성화하면 SOP 벤치마크에서 성능 향상이 뚜렷하게 이루어진다는 것을 입증한다.
• 문제 정의(분기 전략, 하한값, 컷)와 검색 전략을 분리한 일반화된 비트리 검색 프레임워크를 구축하여, 기존의 수학적 프로그래밍과 제약 프로그래밍과 같은 파라다임을 보완하는 새로운 해결 방법론으로 활용할 수 있음을 제시한다.

제안 방법

• 주요 트리 탐색 방법으로 비트리 검색 전략을 사용하며, 깊이보다 넓이를 우선시하여 유망하지 않은 분기를 효율적으로 잘라내는 데 중점을 둔다.
• 부분 해가 동일한 경우를 통합함으로써 상태 공간을 줄이는 Prefix Equivalence를 통해 동적 프로그래밍 기반 컷을 통합한다.
• MST 하한값처럼 계산 비용이 큰 하한값 대신, 빠른 상수 시간 하한값—특히 Prefix 하한값과 Ingoing/Outgoing 도수 하한값—을 사용한다.
• 비트리 검색과 함께 사용할 경우 해로운 것으로 밝혀진 최소 스패닝 트리(MST) 하한값을 비활성화하고, 더 단순하고 빠른 하한값에 의존한다.
• 비트리 검색과 국소 검색 휴리스틱을 조합한 하이브리드 접근 방식을 구현하지만, 핵심 방법론은 복잡한 국소 개선보다는 검색 효율성에 중점을 둔다.
• 문제 정의(분기 전략, 하한값, 컷)와 검색 전략을 분리한 일반화된 비트리 검색 프레임워크를 개발하여, 다양한 구성 요소를 즉시 교체해 실험할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 비트리 검색 대비 깊이 우선 검색과 같은 다양한 검색 전략의 선택이 순차적 순환 문제(SOP)에 대한 분기한정 알고리즘 성능에 어떤 영향을 미치는가?
• RQ2 비트리 검색과 같은 다양한 검색 전략과 함께 사용할 때, Prefix, Ingoing/Outgoing, MST 등의 하한값이 각각 어떤 기여를 하는가?
• RQ3 비트리 검색과 Prefix Equivalence를 포함한 기본 구성 요소로 이루어진 단순한 비트리 검색 알고리즘이 더 복잡한 최신 기술 수준의 방법보다 성능이 뛰어날 수 있는가?
• RQ4 비용이 많이 들지만 강력한 하한값인 MST를 비활성화하면 효율적인 검색 전략과 조합했을 때 전체 성능 향상에 기여하는가?
• RQ5 문제 구조와 검색 전략을 분리한 일반화된 비트리 검색 프레임워크는 기존의 수학적 프로그래밍이나 제약 프로그래밍과 같은 파라다임에 비해 조합 최적화 문제 해결에 실질적인 대안이 될 수 있는가?

주요 결과

• Prefix Equivalence와 Prefix 하한값을 사용한 제안된 비트리 검색 기반 알고리즘은 SOPLIB 인스턴스의 25개(총 50개)에서 최적해를 확보하여 벤치마크에서 50%의 성공률를 달성했다.
• 이전에 열려 있던 SOPLIB 인스턴스 7개 중 6개에서 새로운 최고의 해를 발견했으며, 갭 감소 폭은 0.1%에서 183.6%에 이르렀다.
• 깊이 우선 검색을 비트리 검색으로 대체하고 MST 하한값을 비활성화하면 성능 향상이 뚜렷하며, 이는 이전 최고 성능 기법 [32]을 초월한다.
• 100개 이하 정점을 가진 모든 인스턴스를 600초 이내에 해결했고, 100개 정점 인스턴스의 100%가 시간 제한 내에 최적해로 해결되었다.
• 100개 정점 인스턴스(R.500.100, R.600.100, R.700.100)에서 100%의 성공률를 달성했으며, 25개 인스턴스를 닫았고, 비트리 검색과 Prefix Equivalence를 사용했을 때 가장 우수한 결과를 얻었다.
• 알고리즘의 성능은 다양한 인스턴스 유형에서 뛰어난 안정성을 보였으며, 특히 작은 인스턴스에서 최고의 상한값에 도달하는 데 소요된 시간(T record)과 최적성 검증 시간(T opt)이 매우 짧았다.