[논문 리뷰] Quasi-Linear-Time Algorithm for Longest Common Circular Factor

Mai Alzamel, Maxime Crochemore외 7명|arXiv (Cornell University)|2019. 01. 01.

Algorithms and Data Compression참고 문헌 28인용 수 2

한 줄 요약

이 논문은 가장 긴 공통 원형 요소(LCCF) 문제에 대해 처음으로 준선형 시간 알고리즘을 제안하며, O(n log⁵ n) 시간과 O(n log² n) 공간으로 이를 해결한다. 이 접근법은 접미사 배열, 동기화된 조각, 릴리논 분해, 기하 기법을 조합하여 문제를 상호작용하는 4차원 직사각형의 교차로 환원함으로써, S의 가장 긴 요소 중에서 T에 나타나는 순환 이동 형태를 효율적으로 계산할 수 있도록 한다.

ABSTRACT

We introduce the Longest Common Circular Factor (LCCF) problem in which, given strings $S$ and $T$ of length $n$, we are to compute the longest factor of $S$ whose cyclic shift occurs as a factor of $T$. It is a new similarity measure, an extension of the classic Longest Common Factor. We show how to solve the LCCF problem in $O(n \log^5 n)$ time.

연구 동기 및 목표

• 기존의 가장 긴 공통 요소(LCF) 문제를 확장한 새로운 문자열 유사도 측정법인 가장 긴 공통 원형 요소(LCCF) 문제를 제안하고 해결하기.
• S의 가장 긴 요소 중에서 T에 나타나는 순환 이동 형태를 갖는 요소를 효율적으로 계산하는 알고리즘을 개발하기.
• 비선형 시간 복잡도를 크게 낮춰, 원형 요소 매칭의 비직관적인 성격에도 불구하고 준선형 성능을 달성하기.
• LCCF 문제를 상호작용하는 4차원 직사각형의 교차 문제로 환원할 수 있음을 보여주기.

제안 방법

• 알고리즘은 접미사 배열과 가중치가 있는 조상 쿼리를 사용하여 조각의 발생 위치를 효율적으로 탐색하고, 일치하는 요소의 구간을 계산한다.
• τ-동기화 함수를 적용하여 비주기적 조각을 식별하고, 릴리논 분해를 통해 고주기적 케이스를 처리한다.
• 문제는 S와 T에서 연속하는 두 조각의 위치 제약 조건을 각각 표현하는 4차원 직사각형의 교차 여부를 확인하는 것으로 환원된다.
• 가중치가 조각 길이에 기반한 4차원에서의 최대 무게 교차 문제를 해결하기 위해 스위프 라인 알고리즘을 사용한다.
• 서브스트링의 발생 위치가 접미사 배열에서 구간을 이룬다는 사실을 활용하여 범위 기반의 소속 확인을 가능하게 한다.
• 내부 패턴 매칭과 기하 최적화를 결합하여 최종 시간 복잡도를 확보한다.

실험 결과

연구 질문

• RQ1 기존의 LCF 문제를 확장한 가장 긴 공통 원형 요소(LCCF) 문제를 비제곱 시간 내에 해결할 수 있는가?
• RQ2 S의 가장 긴 요소 중에서 T에 나타나는 순환 이동 형태를 갖는 요소를 계산할 수 있는 최적의 시간 복잡도는 무엇인가?
• RQ3 문자열 데이터 구조를 사용하여 원형 요소 매칭의 특성을 효율적으로 인코딩하고 질의할 수 있는가?
• RQ4 기하 기법을 다중 제약 조건이 있는 내부 문자열 패턴 매칭 문제에 효과적으로 적용할 수 있는가?

주요 결과

• LCCF 문제는 O(n log⁵ n) 시간과 O(n log² n) 공간으로 해결 가능하며, 난이도가 높은 기존의 방법에 비해 상당한 향상이 이루어졌다.
• 알고리즘은 문제를 4차원에서의 최대 무게 교차 문제로 환원하여 O(m log³ m) 시간 내에 해결할 수 있음을 보였다.
• 동기화된 조각의 사용은 S와 T에서 일치하는 조각들이 일관되게 정렬되도록 보장하여 정확한 기하 인코딩을 가능하게 한다.
• 릴리논 분해와 동기화 함수 기반의 별도 전략을 통해 비주기적 및 고주기적 케이스를 모두 처리한다.
• 해결책은 강력하고 일반적이며, 모든 가능한 유형의 원형 요소를 유형-(a,b) 구성 요소로 분해함으로써 모든 종류의 원형 요소를 지원한다.
• 이 알고리즘은 LCCF 문제에 대해 준선형 시간 복잡도를 달성한 최초의 알고리즘으로, 선형 시간 솔루션의 가능성도 열어두고 있다.