[논문 리뷰] Finding Distinct Subpalindromes Online

Dmitry Kosolobov, Mikhail Rubinchik외 1명|arXiv (Cornell University)|2013. 05. 11.

semigroups and automata theory참고 문헌 3인용 수 9

한 줄 요약

이 논문은 정렬된 알파벳에 대해 O(n log |Σ|) 시간, 비정렬된 알파벳에 대해 O(n|Σ|) 시간에 온라인으로 문자열 내 모든 서로 다른 부분판구문을 찾는 알고리즘을 제시한다. 이 알고리즘은 최대 접미사-판구문을 유지하는 데이터 구조를 사용한 수정된 맨처의 알고리즘을 기반으로 하며, 비교 기반 모델에서 최적임을 증명하여, 온라인으로 서로 다른 부분판구문을 나열하는 데 있어 열린 문제를 해결한다.

ABSTRACT

We exhibit an online algorithm finding all distinct palindromes inside a given string in time $Θ(n\log|Σ|)$ over an ordered alphabet and in time $Θ(n|Σ|)$ over an unordered alphabet. Using a reduction from a dictionary-like data structure, we prove the optimality of this algorithm in the comparison-based computation model.

연구 동기 및 목표

• 문자열 내 모든 서로 다른 부분판구문을 온라인 알고리즘을 사용해 찾는 열린 문제를 해결하기 위해.
• 비교 기반 모델에서 서로 다른 부분판구문 나열의 선형 시간 및 공간 복잡도를 달성하기 위해.
• 삽입 전용 사전 문제로의 감소를 통해 제안된 알고리즘의 최적성 증명을 위해.
• 모든 문자열 접두사에 대해 최대 접미사-판구문 길이와 판구문 폐쇄 길이를 온라인으로 계산하는 데로 방법을 확장하기 위해.

제안 방법

• 중심 및 반지름 배열을 사용해 최대 홀수 및 짝수 접미사-판구문을 추적하는 데이터 구조를 유지함으로써 맨처 알고리즘을 확장한다.
• 홀수와 짝수 판구문을 구분하기 위해 불리안 플래그 Δ를 사용하고, 대칭성 및 확장 검사를 기반으로 반지름 배열 Rad를 동적으로 업데이트한다.
• 대칭 위치에 일치하는 문자가 발견될 경우, 최대 접미사-판구문을 확장하기 위해 while 루프를 사용한다.
• 초기화 및 첫 번째 단계에서의 경계 케이스 처리를 단순화하기 위해 특수 센티널 문자 '$'를 도입한다.
• 삽입 전용 사전 문제를 유지하는 문제를 부분판구문 수 계산으로 감소시켜, 하한선을 확립한다.
• 레마 3.5를 사용해 abx1abx2…abxn 형태의 문자열에서 오직 단일 문자만 부분판구문임을 보여주며, 부분판구문 수 증가를 통해 새로운 원소의 탐지가 가능함을 보여준다.

실험 결과

연구 질문

• RQ1 정렬된 알파벳에서 온라인 알고리즘을 사용해 문자열 내 모든 서로 다른 부분판구문을 선형 시간에 찾을 수 있는가?
• RQ2 비교 기반 모델에서 온라인으로 서로 다른 부분판구문을 나열하는 데 있어 최적의 시간 복잡도는 무엇인가?
• RQ3 모든 문자열 접두사에 대해 최대 접미사-판구문 길이와 판구문 폐쇄 길이를 온라인으로 계산할 수 있는가?
• RQ4 삽입 전용 사전 문제에서 부분판구문 수 계산으로의 감소가 하한선을 확립하는 데 있어 가능한가?

주요 결과

• 정렬된 알파벳에 대해 O(n log |Σ|) 시간, 비정렬된 알파벳에 대해 O(n|Σ|) 시간에 실행되며, 모두 선형 공간을 사용한다.
• 삽입 전용 사전 문제로의 감소를 통해 비교 기반 모델에서 알고리즘이 최적임을 증명하였다.
• 정렬된 알파벳에 대한 하한선은 Ω(n log |Σ|)이며, 비정렬된 알파벳에 대해서는 Ω(n|Σ|)이며, 이는 알고리즘의 복잡도와 정확히 일치한다.
• 이 방법은 모든 접두사에 대해 최대 접미사-판구문 길이와 판구문 폐쇄 길이를 정확히 온라인으로 계산한다.
• abx1abx2…abxn 형태의 문자열을 사용한 구성은 새로운 부분판구문이 나타나는 것과 새로운 문자가 도입되는 것 사이에 정확히 일치함을 보장하여, 멤버십 탐지가 가능하다.
• 증명을 통해 비교 기반 알고리즘이 제안된 하한선 이하로 문제를 해결할 수 없음을 입증하여, 최적성의 확립이 이루어졌다.