[논문 리뷰] Collapsing Superstring Conjecture

Alexander Golovnev, Alexander S. Kulikov외 3명|arXiv (Cornell University)|2018. 09. 23.

Algorithms and Data Compression참고 문헌 32인용 수 1

한 줄 요약

이 논문은 짧은 공통 슈퍼스트링(Superstring) 문제를 위한 새로운 그래프 이론적 프레임워크를 제안하며, 축약 가능한 슈퍼스트링 추측과 탐욕적 계층적 추측을 제기한다. 어떤 SCS 해에서 유도된 계층적 그래프에서 반복적으로 간선을 축약하면 항상 동일한 그래프 G를 얻게 되며, 이 과정은 탐욕 알고리즘을 통해 달성될 수 있음을 보여준다. 주요 기여는 이러한 두 추측의 동치성을 증명하고 길이 ≤3인 문자열에 대해 검증한 것으로, 이는 SCS에 대한 기본적인 2-근사 알고리즘의 가능성 제시한다.

ABSTRACT

In the Shortest Common Superstring (SCS) problem, one is given a collection of strings, and needs to find a shortest string containing each of them as a substring. SCS admits $2\frac{11}{23}$-approximation in polynomial time (Mucha, SODA'13). While this algorithm and its analysis are technically involved, the 30 years old Greedy Conjecture claims that the trivial and efficient Greedy Algorithm gives a 2-approximation for SCS. We develop a graph-theoretic framework for studying approximation algorithms for SCS. The framework is reminiscent of the classical 2-approximation for Traveling Salesman: take two copies of an optimal solution, apply a trivial edge-collapsing procedure, and get an approximate solution. In this framework, we observe two surprising properties of SCS solutions, and we conjecture that they hold for all input instances. The first conjecture, that we call Collapsing Superstring conjecture, claims that there is an elementary way to transform any solution repeated twice into the same graph $G$. This conjecture would give an elementary 2-approximate algorithm for SCS. The second conjecture claims that not only the resulting graph $G$ is the same for all solutions, but that $G$ can be computed by an elementary greedy procedure called Greedy Hierarchical Algorithm. While the second conjecture clearly implies the first one, perhaps surprisingly we prove their equivalence. We support these equivalent conjectures by giving a proof for the special case where all input strings have length at most 3. We prove that the standard Greedy Conjecture implies Greedy Hierarchical Conjecture, while the latter is sufficient for an efficient greedy 2-approximate approximation of SCS. Except for its (conjectured) good approximation ratio, the Greedy Hierarchical Algorithm provably finds a 3.5-approximation.

연구 동기 및 목표

• SCS 근사 알고리즘 분석을 위한 핵심 문자열 성질을 포괄하는 조합적 프레임워크를 개발하기 위해.
• 모든 SCS 해가 두 번 복제되고 축약될 때 동일한 그래프 G를 도출하는가를 확인하기 위해, 이를 축약 가능한 슈퍼스트링 추측으로 정의한다.
• 탐욕적 계층적 알고리즘—특정 순서로 간선을 축약하는 탐욕적 절차를 기반으로—항상 동일한 유니버설 그래프 G를 생성하는가를 탐구하기 위해.
• 두 추측의 동치성을 증명하고 특수 케이스에서의 타당성을 입증하기 위해.
• 수백만 개의 SCS 인스턴스에 대해 추측을 실험적으로 검증하고, 이들이 2-근사 알고리즘의 잠재적 기반을 제공할 수 있음을 뒷받침하기 위해.

제안 방법

• 노드가 부분문자열을 나타내고 간선이 겹침을 나타내는 계층적 그래프를 SCS 인스턴스에서 구성하며, 레벨은 문자열의 깊이와 구조를 코딩한다.
• 공통된 접두사와 접미사를 기반으로 인접한 간선을 병합하는 축약 절차(CA)를 정의하여 문자열 병합 효과를 시뮬레이션한다.
• 특정 순서로 노드를 처리하여 동일한 축약된 그래프 G를 구성하는 탐욕적 계층적 알고리즘(GHA)을 도입한다.
• 축약 가능한 슈퍼스트링 추측과 탐욕적 계층적 추측이 논리적으로 동치임을 증명한다.
• 길이가 최대 3인 경우에 대해 추측을 검증하며, 이 경우 탐욕적 추측은 이미 알려진 바가 있다.
• 수백만 개의 SCS 인스턴스에 대해 두 추측을 실험적으로 검증하여 실증적 근거를 확보한다.

실험 결과

연구 질문

• RQ1 모든 SCS 해가 두 번 복제된 후 간선 병합을 통해 동일한 유니버설 그래프 G로 축약되는가? 이는 축약 가능한 슈퍼스트링 추측이 주장하는 linh이다.
• RQ2 탐욕적 계층적 알고리즘—탐욕적 간선 축약 전략을 사용하는—항상 이 유니버설 그래프 G를 생성하는가? 이는 탐욕적 계층적 추측이 주장하는 linh이다.
• RQ3 축약 가능한 슈퍼스트링 추측과 탐욕적 계층적 추측은 동치인가? 즉, 한 쪽을 증명하면 다른 쪽도 증명되는가?
• RQ4 추측이 성립할 경우, 탐욕적 계층적 알고리즘이 SCS에 대해 2-근사 알고리즘을 달성하는가?
• RQ5 추측을 더 강력한 형태로 확장할 수 있는가? 즉, 어떤 해와 어떤 사이클 커버를 합쳐도 항상 동일한 그래프 G로 축약되는가?

주요 결과

• 축약 가능한 슈퍼스트링 추측과 탐욕적 계층적 추측은 논리적으로 동치임이 증명되었으며, 이는 한 쪽을 증명하면 다른 쪽도 증명됨을 의미한다.
• 모든 입력 문자열의 길이가 최대 3인 경우에 대해 추측이 검증되었으며, 이 경우 탐욕적 추측은 이미 알려진 바가 있다.
• 탐욕적 계층적 알고리즘은 SCS에 대해 3.5-근사 알고리즘을 보장하며, 스펙트럼을 이루는 문자열이나 길이 ≤2인 모든 문자열을 포함하는 특수 케이스에서는 정확한 해를 찾는다.
• 수백만 개의 SCS 인스턴스에 대한 실증적 테스트에서 추측에 대한 반례가 발견되지 않아 그 타당성을 뒷받침한다.
• 더 강력한 형태의 축약 추측—어떤 해와 어떤 사이클 커버를 합쳐도 항상 동일한 그래프 G로 축약되는가—에 대해 테스트한 결과 반례가 발견되지 않았다.
• 계층적 그래프 프레임워크는 SCS 근사 알고리즘을 분석하는 통합적인 방법을 제공하며, SCS에 대해 (2−ε)n 시간 내에 정확한 알고리즘을 가능하게 할 수 있다.