[논문 리뷰] New Bounds for the Snake-in-the-Box Problem

David Allison, Daniël Paulusma|Durham Research Online (Durham University)|2016. 03. 01.

Optimization and Packing Problems참고 문헌 13인용 수 3

한 줄 요약

이 논문은 증강된 스토하스틱 비ーム 서치 알고리즘을 사용하여 n차원 하이퍼큐브에서 뱀-인-더-박스 및 코일-인-더-박스 문제에 대한 새로운 하한을 제시한다. 차원 11, 12, 13에 대해 가장 긴 유도 경로(뱀)에 대한 기존 하한을 향상시켰으며, 차원 10에서 13까지 가장 긴 유도 순환(코일)에 대한 하한을 향상시켜, 이들 NP-난이도 조합 최적화 문제의 최신 기술 수준을 발전시켰다.

ABSTRACT

The Snake-in-the-Box problem is that of finding a longest induced path in an $n$-dimensional hypercube. We prove new lower bounds for the values $n\in \{11,12,13\}$. The Coil-in-the-Box problem is that of finding a longest induced cycle in an $n$-dimensional hypercube. We prove new lower bounds for the values $n\in \{12,13\}$.

연구 동기 및 목표

• n ∈ {11,12,13}에 대해 n차원 하이퍼큐브에서 가장 긴 유도 경로(뱀)의 길이에 대한 기존 하한을 향상시키기.
• n ∈ {10,11,12,13}에 대해 n차원 하이퍼큐브에서 가장 긴 유도 순환(코일)의 길이에 대한 기존 하한을 향상시키기.
• n > 8일 때도 해결되지 않은, NP-난이도 문제인 뱀-인-더-박스 및 코일-인-더-박스 문제의 최신 기술 수준을 향상시키기.
• 기존 연구를 바탕으로 보완된 스토하스틱 비ーム 서치 히우리스틱을 적용하고 개선하여, 이 복잡한 조합 검색 문제에 대해 더 뛰어난 성능을 달성하기.

제안 방법

• 저자는 하이퍼큐브 내의 유도 경로와 순환의 검색 공간을 탐색하기 위해 수정된 스토하스틱 비ーム 서치 알고리즘을 사용한다. 이는 히우리스틱 검색 방법이다.
• 메이어슨 등이 제안한 원래 접근 방식을 개선한 고유한 수정 사항을 통해 알고리즘의 성능을 향상시켰으며, 이는 곧 발표될 논문에서 상세히 기술된다.
• 알고리즘은 부분 해를 반복적으로 연장하면서 유도 부분 그래프 성질을 유지함으로써 긴 유도 경로와 순환을 구성하는 데 집중한다.
• 장기적인 경로와 순환을 선호하는 피트니스 함수에 의해 검색이 이끌리며, 국소 최적해를 피하기 위해 확률적 선택과 다양화 전략이 적용된다.
• 이 방법은 계산적으로 집약적이지만, 완전 탐색을 피함으로써 높은 차원에서도 적용 가능하다.
• 결과는 새로운 하한에 도달하는 뱀과 코일의 명시적 예시를 제시함으로써 검증되었으며, 이는 부록에 제시되어 있다.

실험 결과

연구 질문

• RQ1 11차원 하이퍼큐브에서 가장 긴 유도 경로(뱀)의 최대 길이는 얼마이며, 기존 하한을 초월할 수 있는가?
• RQ2 12차원 하이퍼큐브에서 가장 긴 유도 경로(뱀)의 최대 길이는 얼마이며, 새로운 구성 방법으로 더 긴 경로를 얻을 수 있는가?
• RQ3 13차원 하이퍼큐브에서 가장 긴 유도 경로(뱀)의 최대 길이는 얼마이며, 현재 하한인 2520을 향상시킬 수 있는가?
• RQ4 10차원 하이퍼큐브에서 가장 긴 유도 순환(코일)의 최대 길이는 얼마이며, 이전에 알려진 것보다 더 긴 순환을 구성할 수 있는가?
• RQ5 히우리스틱 검색 기법을 사용하여 11, 12, 13차원에서 가장 긴 코일의 하한을 향상시킬 수 있는가?

주요 결과

• 11차원 하이퍼큐브에 대해 가장 긴 뱀의 새로운 하한은 712로, 이전 최고 기록인 707을 초월한다.
• 12차원 하이퍼큐브에 대해 가장 긴 뱀의 새로운 하한은 1373로, 이전 최고 기록인 1302를 초월한다.
• 13차원 하이퍼큐브에 대해 가장 긴 뱀의 새로운 하한은 2687로, 이전 최고 기록인 2520을 초월한다.
• 10차원 하이퍼큐브에 대해 가장 긴 코일의 새로운 하한은 366으로, 이전 최고 기록인 362를 초월한다.
• 11차원 하이퍼큐브에 대해 가장 긴 코일의 새로운 하한은 692로, 이전 최고 기록인 668을 초월한다.
• 13차원 하이퍼큐브에 대해 가장 긴 코일의 새로운 하한은 2594로, 이전 최고 기록인 2468을 초월한다.