[논문 리뷰] Pseudo-Power Avoidance

Ehsan Chiniforooshan, Lila Kari외 1명|ArXiv.org|2009. 11. 11.

Algorithms and Data Compression참고 문헌 20인용 수 15

한 줄 요약

이 논문은 DNA 기반 보완성에 영감을 받은 반대형 호환 치환에 대한 가짜-거듭제곱 자유 단어를 조사하며, Thue의 반복 방지 결과를 일반화한다. 무한한 가짜-k제곱 자유 단어가 존재하는 알파벳과 호환 치환을 분류하고, O(n)의 시간 복잡도로 가짜-제곱 자유성 검사를, O(n²)로 가짜-세제곱 자유성 검사를 수행하는 효율적인 알고리즘을 제시한다. 또한 일반적인 k에 대해 O(n² log n) 알고리즘을 개발하였다.

ABSTRACT

Repetition avoidance has been studied since Thue's work. In this paper, we considered another type of repetition, which is called pseudo-power. This concept is inspired by Watson-Crick complementarity in DNA sequence and is defined over an antimorphic involution $ϕ$. We first classify the alphabet $Σ$ and the antimorphic involution $ϕ$, under which there exists sufficiently long pseudo-$k$th-power-free words. Then we present algorithms to test whether a finite word $w$ is pseudo-$k$th-power-free.

연구 동기 및 목표

• 무한한 가짜-k제곱 자유 단어가 존재하는 알파벳과 반대형 호환 치환 조건을 규명하는 것.
• k ≥ 2일 때 가짜-k제곱 자유 무한 단어를 구성할 수 있는 조건을 분류하는 것.
• 유한한 단어가 가짜-k제곱 요소를 포함하지 않는지 검증하기 위한 효율적인 알고리즘을 개발하는 것.
• 기존의 반복 방지 결과(예: Thue의 결과)를 DNA 워튼-크릭 쌍형성에 영감을 받은 반대형 호환 치환의 맥락으로 확장하는 것.

제안 방법

• 전치와 거울 이미지의 조합으로 정의된 반대형 호환 치환 θ를 사용하며, 표준 분해 형태(θ = (a₀,a₁)⋯(a₂ₘ₋₂,a₂ₘ₋₁)·Mir)를 가진다.
• 가짜-거듭제곱을 탐지하기 위해 세 가지 핵심 배열인 rmp_w(오른쪽 최대 주기성), lmp_w(왼쪽 최대 주기성), cmp_w(중심 주기성)를 도입한다.
• 접미사 배열과 LCP 기법을 활용해 rmp_w, lmp_w, cmp_w를 선형 시간 내에 계산한다.
• cmp_w 및 lmp_w 배열을 사용해 겹치는 주기성을 검사함으로써 가짜-세제곱(예: xxϕ(x), ϕ(x)xx, xϕ(x)x)을 검출한다.
• 모든 가짜-세제곱 형태를 검증하기 위해 인덱스 스캔과 주기성 범위 비교를 수행하는 2차 시간 알고리즘을 적용한다.
• 주기성 탐지와 겹침 검사를 조합하여, 임의의 k에 대해 단어 내 모든 k제곱 가짜-거듭제곱을 찾는 일반적인 O(n² log n)-시간 알고리즘을 개발한다.

실험 결과

연구 질문

• RQ1 어떤 알파벳 크기와 반대형 호환 치환 조건에서 무한한 가짜-k제곱 자유 단어가 존재하는가?
• RQ2 k ≥ 4일 때 가짜-k제곱 자유 무한 단어를 구성할 수 있으며, 그 조건은 무엇인가?
• RQ3 k = 2, 3, 및 일반적인 k에 대해 유한한 단어가 가짜-k제곱 자유임을 검증하는 데 필요한 계산 복잡도는 얼마인가?
• RQ4 반대형 호환 치환의 구조를 어떻게 활용하여 가짜-거듭제곱 자유성에 대한 효율적인 결정 알고리즘을 설계할 수 있는가?

주요 결과

• 알파벳 크기가 ≤ 2일 경우, 무한한 가짜-제곱 자유 단어는 존재하지 않으며, 크기가 ≥ 5일 경우 어떤 반대형 호환 치환을 사용하더라도 그러한 단어가 존재한다.
• 알파벳 크기가 ≥ 3일 경우, 무한한 가짜-세제곱 자유 단어가 존재하며, 이는 모든 k ≥ 4에 대해서도 성립한다.
• 길이 n인 단어에 대해 가짜-제곱 자유성을 검사하는 O(n) 알고리즘을 제시한다.
• 가짜-세제곱 자유성을 검사하는 O(n²) 알고리즘을 제시하였으며, 주기성 배열 분석을 통해 정당성과 정확성을 입증하였다.
• 모든 k ≥ 2에 대해 적용 가능한 일반적인 O(n² log n) 알고리즘을 개발하여 단어 내 모든 k제곱 가짜-거듭제곱을 탐지하였다.
• 가짜-k제곱 자유 무한 단어의 존재 여부는 알파벳 크기와 특정 반대형 호환 치환의 조합에 따라 달라지며, 특히 k = 2 및 k = 3일 경우 더욱 두드러진다.