[논문 리뷰] Improved Branch-and-Bound for Low Autocorrelation Binary Sequences

Steven Prestwich|arXiv (Cornell University)|2013. 05. 27.

Optimization and Packing Problems참고 문헌 18인용 수 9

한 줄 요약

이 논문은 저자기상성 이진열(LABS) 문제를 위한 개선된 분할정복 알고리즘을 제시한다. 부분적 곱의 분석을 통한 더 날카운 감소한 하한, 동적 상한 업데이트, 특정 깊이에서 사전순 리더를 이용한 대칭성 제거, 기울은 대칭성 수열의 효율적 처리를 통해 타당성 향상, 수렴 속도 향상, 확장성 향상을 이룬다. 이 방법은 O(1.74^N)의 재귀 호출 확장성을 달성하며, 길이 89까지의 기울은 대칭성 수열에 대해 새로운 최적성 결과를 설정한다.

ABSTRACT

The Low Autocorrelation Binary Sequence problem has applications in telecommunications, is of theoretical interest to physicists, and has inspired many optimisation researchers. Metaheuristics for the problem have progressed greatly in recent years but complete search has not progressed since a branch-and-bound method of 1996. In this paper we find four ways of improving branch-and-bound, leading to a tighter relaxation, faster convergence to optimality, and better empirical scalability.

연구 동기 및 목표

• 1996년의 병렬 분할정복 방법을 초월해 완전 탐색 방법의 확장성을 높이는 장기적인 과제를 해결하기 위해.
• 하한을 강화하고 탐색 공간을 줄임으로써 LABS 문제에 대한 분할정복의 효율성과 확장성을 향상시키기 위해.
• 기존의 기울은 대칭성 수열 최적성 결과를 N=73에서 N=89로 확장하기 위해 개선된 분할정복 기법을 적용하기 위해.
• 알고리즘 정교화를 통해 완전 탐색이 고품질 LABS 해를 위한 메타휴리스틱과 경쟁 가능하다는 것을 입증하기 위해.

제안 방법

• 하한을 강화하기 위해 각 레그에 대해 할당된 수열 원소의 계산 가능하고 계산 불가능한 곱의 최소 제곱 자기상관을 기반으로 계산한다.
• 기울은 대칭성 수열이 발견될 때마다 E−8의 동적 상한을 도입하여 가지치기 효율을 향상시킨다.
• 짝수 깊이에서 N/2 까지의 깊이에서만 사전순 리더 제약 조건을 확인함으로써 대칭성을 깨는 방식으로, 오버헤드를 줄이면서도 효과를 유지한다.
• 할당 중 기울은 대칭성 제약 조건을 강제로 적용하고 초기 하한을 위해 알려진 고품질 템플릿 수열을 사용함으로써 기울은 대칭성 수열에 대해 알고리즘을 적응시켰다.
• 완료된 수열의 에너지와 짝수 보정 항 b_k = (N−k) mod 2를 조합한 보완된 하한은 타당성을 향상시킨다.
• 단일 원소를 부정하면 자기상관 에너지가 최대 2만큼 감소할 수 있다는 사실을 활용하여 보수적인 에너지 하한을 설정한다.

실험 결과

연구 질문

• RQ1 더 날카운 타당성과 가지치기로 인해 LABS 문제의 분할정복가 수렴 속도와 확장성에서 크게 향상시킬 수 있는가?
• RQ2 탐색 트리에서 높은 계산 비용 없이 대칭성 제거 기법을 효율적으로 적용할 수 있는가?
• RQ3 기울은 대칭성 수열의 탐색 공간을 효과적으로 줄여 N=73를 초월한 기존 최적성 결과를 연장할 수 있는가?
• RQ4 개선된 분할정복 방법이 더 큰 LABS 인스턴스에서 기존의 완전 탐색 접근법을 능가하는가?
• RQ5 이 알고리즘은 병렬 하드웨어에서 효과적으로 확장되어 새로운 최적 수열을 찾을 수 있는가?

주요 결과

• 개선된 분할정복 방법은 O(1.74^N)의 재귀 호출 확장성을 달성하여 Mertens의 O(1.85^N) 방법보다 뚜렷한 향상을 이룬다.
• N=75, 77, 81, 83, 85, 87, 89에 대해 이전에 보고된 기울은 대칭성 수열의 최적성은 모두 확인되었으며, 유효성 요소는 7.67에서 9.14 사이였다.
• N=89에 대해 유효성 요소 8.18을 확인했고, 실행 시간은 285,326초였다. 이는 알려진 최적성 경계를 연장한 것이다.
• N=89에 대한 실행 시간이 24시간을 초과하여, 이 지점 이후의 확장성을 위해 추가 병렬 처리가 필요하다는 것을 시사한다.
• 완전 탐색이 대칭성과 하한 강화를 결합할 경우, 고품질 LABS 해를 위한 메타휴리스틱과 경쟁 가능하다는 것을 입증했다.
• 수열 변수의 4차항을 포함한 고차원 상쇄 효과를 활용해 향후 개선 가능성을 밝혔다.