[논문 리뷰] Improved Lower Bounds for the Shortest Superstring and Related Problems

Marek Karpiński, Richard Schmied|arXiv (Cornell University)|2011. 11. 23.

Algorithms and Data Compression참고 문헌 22인용 수 4

한 줄 요약

이 논문은 궤도 크기가 최대 8이고 모든 문자열 길이가 4 이하인, 매우 제약된 조건을 갖춘 최단 슈퍼스트링 문제의 인스턴스를 구성하는 새로운 감소 기법을 제시한다. 이 방법을 통해 저자들은 기존의 최고 성능 근사 하한값을 크게 향상시켜, 문제의 근사화가 333/332 ≈ 1.00301 보다 더 좋은 요소로 가능하지 않음을 입증하였으며, 이와 유사하게 최대 압축 및 MAX-ATSP 문제의 경계값을 더욱 날카롭게 조여넣었다.

ABSTRACT

We study the approximation hardness of the Shortest Superstring, the Maximal Compression and the Maximum Asymmetric Traveling Salesperson (MAX-ATSP) problem. We introduce a new reduction method that produces strongly restricted instances of the Shortest Superstring problem, in which the maximal orbit size is eight (with no character appearing more than eight times) and all given strings having length four. Based on this reduction method, we are able to improve the best up to now known approximation lower bound for the Shortest Superstring problem and the Maximal Compression problem by an order of magnitude. The results imply also an improved approximation lower bound for the MAX-ATSP problem.

연구 동기 및 목표

• 매우 제한된 인스턴스 클래스에서 최단 슈퍼스트링 문제의 근사 난이도 결과를 더욱 강력하게 확립하기 위해.
• 최단 슈퍼스트링, 최대 압축 및 MAX-ATSP 문제에 대해 알려진 명시적 근사 하한값을 향상시키기 위해.
• 궤도 크기(≤8)와 짧은 문자열 길이(≤4)를 갖는 인스턴스를 생성하는 새로운 감소 프레임워크를 개발하기 위해.
• 이러한 강력한 제약 조건 하에서도 문제들이 333/332 보다 더 좋은 요소로 근사화될 수 없다는 것을 입증하기 위해.
• 기존 근사 알고리즘과 효율적 근사의 한계 사이의 격차를 메우기 위해, 근사 불가능성 임계값을 더욱 좁히기 위해.

제안 방법

• 이중 및 삼중 방정식을 갖는 하이브리드 문제의 인스턴스를, 궤도 크기 최대 8이며 모든 문자열 길이가 4 이하인 조건을 갖는 최단 슈퍼스트링 인스턴스로 매핑하는 새로운 감소 기법을 설계하기 위해.
• 두 변수 및 세 변수를 갖는 방정식을 위한 특수한 문자열 가젯을 구성하기 위해, 순환적 겹침 패턴과 대칭적 문자열 배열을 사용하여 변수 할당을 인코딩하기 위해.
• 길이를 유지하면서도 다항 시간 내에 슈퍼스트링에서 변수 할당을 재구성할 수 있도록 하는 노름화된 슈퍼스트링 변환을 도입하기 위해.
• 하이브리드 문제에서 만족하지 못하는 방정식과 슈퍼스트링의 길이 증가 사이의 대응관계를 이용하여, 근사 비율과 해 품질을 연결하기 위해.
• 길이 7n + 5m₂ + 16m₃ + u인 슈퍼스트링은 최대 u개의 방정식만 만족하는 할당에 대응하며, 그 반대도 성립함을 증명하기 위해.
• 이러한 대응관계를 활용하여, 만족하지 못하는 방정식의 수를 압축 손실 및 슈퍼스트링 길이와 연결함으로써 명시적인 근사 불가능 비율을 유도하기 위해.

실험 결과

연구 질문

• RQ1 궤도 크기와 짧은 문자열 길이와 같은 강력한 제약 조건 하에서 최단 슈퍼스트링 문제의 근사 난이도를 향상시킬 수 있는가?
• RQ2 모든 문자열 길이가 4 이하이고, 어떤 문자도 8번 이하로 나타나는 조건에서 최단 슈퍼스트링 문제의 최고 가능한 근사 비율은 무엇인가?
• RQ3 유사한 감소를 통해 최대 압축 및 MAX-ATSP 문제의 근사 불가능성 임계값을 얼마나 좁힐 수 있는가?
• RQ4 이러한 제약 조건 하에서 최단 슈퍼스트링 문제에 대해 초수렴 근사 하한값을 달성할 수 있는가?
• RQ5 최소한의 구조적 복잡성과 함께 강력한 근사 불가능성 결과를 유지하는 새로운 감소 프레임워크를 설계할 수 있는가?

주요 결과

• 저자들은 모든 문자열 길이가 4 이하이고, 어떤 문자도 8번 이하로 나타나는 조건 하에서도 최단 슈퍼스트링 문제의 근사화가 333/332 ≈ 1.00301 보다 더 좋은 요소로 가능하지 않음을 입증하였다.
• 이 결과는 이전까지 알려진 최고의 근사 하한값을 한 차원 높여, 이전의 약 1.00082에서 1.00301로 향상시켰다.
• 동일한 감소 프레임워크를 통해 최대 압축 문제에 대해 개선된 근사 불가능성 결과를 도출하였으며, 하한값은 333/332였다.
• 같은 구성 방식을 통해 MAX-ATSP 문제도 333/332 보다 더 좋은 요소로 근사화될 수 없음을 입증하였다.
• 감소 과정은 다항 시간 내에 계산 가능하며, 변수 할당과 슈퍼스트링 길이/압축의 대응관계를 유지하여 엄밀한 난이도 분석이 가능하다.
• 이 방법은 궤도 크기와 짧은 문자열 길이로 제한된 매우 제약된 인스턴스 클래스에서도 문제들이 여전히 극도로 근사화가 어려운 것으로 나타났다.