[논문 리뷰] Lyndon words and short superstrings

Marcin Mucha|arXiv (Cornell University)|2013. 01. 06.

Algorithms and Data Compression참고 문헌 26인용 수 37

한 줄 요약

이 논문은 최대 비대칭 TSP 경로에 대한 2/3-근사 알고리즘과 사이클 커버 기반 1/2-근사 접근법을 조합하여, 단일 초과문자열 문제에 대한 새로운 2 11/23-근사 알고리즘을 제안한다. 핵심 혁신은 리드넘 단어를 사용하여 오버랩 구조 이론을 확장함으로써 오랫동안 유지되어 온 2.5-근사 한계를 뛰어넘는 데 있다. 이는 문자열 오버랩의 정교한 분석을 통해 달성된다.

ABSTRACT

In the shortest superstring problem, we are given a set of strings {s1,...,sk} and want to find a string that contains all si as substrings and has minimum length. This is a classical problem in approximation and the best known approximation factor is 2 1/2, given by Sweedyk [19] in 1999. Since then no improvement has been made, howerever two other approaches yielding a 2 1/2-approximation algorithms have been proposed by Kaplan et al. [10] and recently by Paluch et al. [16] --- both based on a reduction to maximum asymmetric TSP path (Max-ATSP-Path) and structural results of Breslauer et al. [5].In this paper we give an algorithm that achieves an approximation ratio of 2 11/23, breaking through the longstanding bound of 2 1/2. We use the standard reduction of Shortest-Superstring to Max-ATSP-Path. The new, somewhat surprising, algorithmic idea is to take the better of the two solutions obtained by using: (a) the currently best 2/3-approximation algorithm for Max-ATSP-Path and (b) a naive cycle-cover based 1/2-approximation algorithm. To prove that this indeed results in an improvement, we further develop a theory of string overlaps, extending the results of Breslauer et al. [5]. This theory is based on the novel use of Lyndon words, as a substitute for generic unbordered rotations and critical factorizations, as used by Breslauer et al.

연구 동기 및 목표

• 단일 초과문자열 문제에서 오랫동안 유지되어 온 2.5-근사 한계를 뛰어넘는 것.
• 비틀림 없는 순환과 임계 분해를 대체하기 위해 리드넘 단어를 사용하여 문자열 오버랩에 대한 새로운 이론적 프레임워크를 개발하는 것.
• 최대 ATSP-경로에 대한 2/3-근사 알고리즘과 사이클 커버 기반 1/2-근사 알고리즘을 조합하여 근사 비율을 향상시키는 것.
• Breslauer 등 [5]의 구조적 결과를 리드넘 단어 기반의 문자열 오버랩 분석을 통해 확장하는 것.

제안 방법

• 단일 초과문자열 문제를 최대 비대칭 TSP 경로 문제(Max-ATSP-Path)로 환원하는 것.
• 현재까지 알려진 바에서 가장 우수한 2/3-근사 알고리즘을 적용하는 것.
• 두 번째 후보 해로 단순한 사이클 커버 기반 1/2-근사 알고리즘을 사용하는 것.
• 두 해 중 더 나은 해(2/3 및 1/2 근사에서 유도된 해)를 선택하여 초과문자열을 구성하는 것.
• 두 해 경로를 분석하고 비교하기 위해 리드넘 단어 기반의 새로운 문자열 오버랩 이론을 개발하는 것.
• Breslauer 등 [5]에서 제시한 일반적인 비틀림 없는 순환과 임계 분해를 리드넘 단어 기반 분해로 대체하여 더 정교한 구조적 분석을 수행하는 것.

실험 결과

연구 질문

• RQ1 새로운 알고리즘 조합을 통해 단일 초과문자열 문제의 2.5-근사 한계를 뛰어넘을 수 있는가?
• RQ2 리드넘 단어는 초과문자열 구성에서 문자열 오버랩 분석을 어떻게 향상시킬 수 있는가?
• RQ3 임계 분해 대신 리드넘 단어 분해를 사용할 경우 오버랩의 어떤 구조적 성질이 드러나는가?
• RQ4 2/3-근사 알고리즘과 1/2-근사 알고리즘을 조합하면 각각 개별적으로 사용할 경우보다 더 나은 총합 근사 비율을 얻을 수 있는가?
• RQ5 Breslauer 등 [5]의 이론적 프레임워크는 리드넘 단어 기반 방법을 사용하여 확장되고 개선될 수 있는가?

주요 결과

• 논문은 단일 초과문자열 문제에 대해 기존의 오랫동안 유지되어 온 2.5 한계를 뛰어넘는 새로운 근사 비율 2 11/23을 달성한다.
• 성능 향상은 최대 ATSP-경로에 대한 2/3-근사 해와 사이클 커버 기반 1/2-근사 해 중 더 나은 해를 선택함으로써 달성된다.
• 리드넘 단어는 Breslauer 등 [5]의 오버랩 구조 이론을 재정립하고 확장하는 데 핵심 도구로 사용되며, 비틀림 없는 순환과 임계 분해를 대체한다.
• 리드넘 단어의 사용은 문자열 오버랩의 더 정교한 분석을 가능하게 하며, 이는 향상된 근사 비율을 증명하는 데 필수적이다.
• 개발된 이론적 프레임워크는 리드넘 단어의 조합적 성질을 활용하여 초과문자열 길이에 대한 더 엄밀한 상한을 제공한다.
• 결과적으로, 근사 알고리즘과 고급 문자열 조합론을 융합함으로써 기본적인 문자열 문제에서 상당한 향상이 이룰 수 있음을 보여준다.