[논문 리뷰] Tackling the Minimal Superpermutation Problem

Robin Houston|arXiv (Cornell University)|2014. 08. 21.

Genome Rearrangement Algorithms참고 문헌 4인용 수 6

한 줄 요약

이 논문은 n 기호에 대한 최소 초순열의 길이가 ∑ᵢ₌₁ⁿ i!임을 오랫동안 주장해온 추측을 뒤집으며, 길이가 873으로 예상된 6기호 초순열을 길이 872로 구성함으로써 이를 반증한다. 비대칭 TSP로의 환원과 LKH를 통한 히ュ리스틱 최적화를 통해 저자들은 문제를 해밀턴 경로 탐색으로 표현하였으며, n ≥ 6일 때 더 짧은 초순열이 존재함을 입증한다.

ABSTRACT

A superpermutation on $n$ symbols is a string that contains each of the $n!$ permutations of the $n$ symbols as a contiguous substring. The shortest superpermutation on $n$ symbols was conjectured to have length $\sum_{i=1}^n i!$. The conjecture had been verified for $n \leq 5$. We disprove it by exhibiting an explicit counterexample for $n=6$. This counterexample was found by encoding the problem as an instance of the (asymmetric) Traveling Salesman Problem, and searching for a solution using a powerful heuristic solver.

연구 동기 및 목표

• n 기호에 대한 초순열의 최소 길이를 조사하며, 특히 ∑ᵢ₌₁ⁿ i!가 최소 길이임을 오랫동안 주장해온 추측을 다룸.
• n ≥ 6일 때 더 짧은 초순열이 존재하는지 확인하며, 기존의 추측에 도전함.
• 조합 최적화를 활용한 최소 초순열을 발견하기 위한 계산 방법을 개발하고 적용함.
• 초순열 이론의 복잡한 조합 문제를 해결하는 데 있어 TSP 솔버의 적용 가능성을 입증함.

제안 방법

• 문제는 각 기호 순열이 정점이 되고, 간선 가중치는 순열 간의 겹침 길이를 나타내는 비대칭 TSP(ATSP) 문제로 인코딩됨.
• 간선 가중치는 출발 순열의 마지막 k개 기호가 도착 순열의 처음 k개 기호와 일치하는 최소 k값으로 정의됨.
• 이 ATSP 인스턴스에서의 최소 가중치 해밀턴 경로는 길이 n + 경로의 총 가중치를 가진 최소 초순열에 해당함.
• Concorde를 이용한 정확한 해법을 위해, Jonker-Volgenant 알고리즘을 사용하여 ATSP 인스턴스를 대칭 TSP로 변환함 (n=5에 대해).
• n=6에 대해서는 LKH 히ュ리스틱 솔버를 비대칭 인스턴스에 직접 적용하여 낮은 가중치의 해밀턴 순환을 탐색함으로써 길이 872의 초순열을 도출함.
• 결과로 얻어진 초순열은 구성 순열로 분할하고 완전성을 검증하는 맞춤형 스크립트를 통해 검증됨.

실험 결과

연구 질문

• RQ1 n 기호에 대한 초순열의 추측된 최소 길이 ∑ᵢ₌₁ⁿ i!가 실제로 모든 n에 대해 최적인지 여쭤본다.
• RQ2 TSP 솔버와 같은 계산 방법이, 재귀적 팔린드롬 구조로 생성된 것보다 더 짧은 초순열을 효과적으로 발견하는 데 사용될 수 있는가?
• RQ3 n=6에 대한 최소 초순열 길이는 얼마이며, 이는 873으로 예상된 값 이하인가?
• RQ4 LKH와 같은 히ュ리스틱 TSP 솔버가 이러한 유형의 대규모 조합 문제에 대해 증명 가능한 최소 또는 근접 최소 해를 찾을 수 있는가?

주요 결과

• 저자들은 n=6에 대해 길이 872의 초순열을 구성하였으며, 이는 예상 최소값인 873보다 엄격히 짧다.
• 이 반례는 n 기호에 대한 초순열의 최소 길이가 ∑ᵢ₌₁ⁿ i!임을 오랫동안 주장해온 추측을 뒤집는다.
• LKH 솔버는 9,228번의 실행 끝에 첫 번째 유효한 길이 872의 초순열을 발견하였으며, 각 실행은 2010년형 맥북 프로에서 약 2~4초가 걸렸다.
• 해결책은 초순열 문제를 비대칭 TSP로 인코딩하고, 히ュ리스틱 솔버를 통해 총 가중치 866인 해밀턴 경로를 찾음으로써 도출됨.
• 이 결과는 n > 6에 대해서는 n=6의 해를 기반으로 재귀적으로 더 짧은 초순열을 구성할 수 있음을 시사한다.
• 저자들은 n=5의 경우 Concorde를 사용하여 정확하게 검증하였으며, 대칭 TSP 인스턴스를 1,929.02초 만에 해결함을 확인함.