[논문 리뷰] Quasiperiodicities in Fibonacci strings

Michalis Christou, Maxime Crochemore외 1명|arXiv (Cornell University)|2012. 01. 30.

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

한 줄 요약

이 논문은 원본 문자열의 부분문자열이어야 하는 제약 조건 하에 유한 피보나치 문자열의 모든 왼쪽 시드, 오른쪽 시드, 시드, 커버뿐만 아니라 원형 피보나치 문자열의 모든 커버를 규명한다. 피보나치 문자열의 구조적 성질과 경계, 주기, 겹침을 활용하여 조합적 분석과 재귀적 문자열 분해를 통해 이러한 준주기적 성질의 정확한 특성화를 도출하며, 피보나치 단어에서 이러한 구조의 완전한 분류를 제공한다.

ABSTRACT

We consider the problem of finding quasiperiodicities in a Fibonacci string. A factor u of a string y is a cover of y if every letter of y falls within some occurrence of u in y. A string v is a seed of y, if it is a cover of a superstring of y. A left seed of a string y is a prefix of y that it is a cover of a superstring of y. Similarly a right seed of a string y is a suffix of y that it is a cover of a superstring of y. In this paper, we present some interesting results regarding quasiperiodicities in Fibonacci strings, we identify all covers, left/right seeds and seeds of a Fibonacci string and all covers of a circular Fibonacci string.

연구 동기 및 목표

• 유한 피보나치 문자열의 모든 왼쪽 시드, 오른쪽 시드, 시드, 커버를 특성화하는 것.
• 원형 피보나치 문자열의 모든 커버를 규명하는 것. 여기서 원형 문자열은 피보나치 문자열의 첫 번째와 마지막 문자를 이어붙여 생성된다.
• 원본 문자열의 부분문자열이어야 하는 제약 조건 하에 피보나치 문자열의 준주기적 성질에 대한 완전한 분류를 제공하는 것.
• 이전 연구, 특히 Iliopoulos 등 [10]의 연구와는 다를 만한 새로운 조합적 접근법을 통해 원형 피보나치 문자열의 커버를 규명하는 것.
• 문자열 알고리즘의 테스트 및 슈투르미안 단어로의 결과 확장에 유용한 이론적 기초를 마련하는 것.

제안 방법

• 피보나치 문자열의 재귀적 구조, 즉 $F_0 = b$, $F_1 = a$, $F_n = F_{n-1}F_{n-2}$ for $n \geq 2$를 활용하여 준주기적 성질을 분석한다.
• 피보나치 문자열의 경계, 주기, 겹침 성질을 이용하여 어떤 요소가 커버 또는 시드가 될 수 있는지 규명한다.
• 겹침 길이를 고려한 슈퍼포지션 기법을 적용하여 피보나치 문자열의 슈퍼스트링을 커버할 수 있는 부분문자열의 모델링을 수행한다.
• 왼쪽 시드와 오른쪽 시드를 각각 $yv$와 $vy$ 형태의 확장된 문자열을 커버하는 접두사와 접미사로 분석한다.
• 특정 $x$가 $F_n$의 접미사이고 $y$가 접두사일 때 $xF_ny$ 형태의 슈퍼스트링을 커버할 수 있는 능력을 통해 시드를 특성화하며, 재귀적 피보나치 분해를 통해 커버링 여부를 검증한다.
• 특히 $m \in \{3, \dots, n-1\}$에 대해 모든 가능한 겹침과 길이 제약 조건을 고려하여 모든 유효한 커버와 시드의 닫힌 형식의 기술을 유도한다.

실험 결과

연구 질문

• RQ1 피보나치 문자열 $F_n$의 모든 왼쪽 시드는 무엇인가?
• RQ2 피보나치 문자열 $F_n$의 모든 오른쪽 시드는 무엇인가?
• RQ3 피보나치 문자열 $F_n$의 모든 커버는 무엇인가?
• RQ4 피보나치 문자열 $F_n$의 모든 시드는 무엇인가?
• RQ5 피보나치 문자열 $F_n$의 첫 번째와 마지막 문자를 이어붙여 생성된 원형 피보나치 문자열 $C(F_n)$의 모든 커버는 무엇인가?

주요 결과

• 모든 왼쪽 시드 $F_n$는 $k \in \{3, \dots, n-1\}$ 및 $i \in \{0, \dots, |F_{k-1}|-2\}$에 대해 $F_n[1\mathinner{.}.|F_k|+i]$ 형태의 접두사이며, 겹침을 통한 적절한 슈퍼스트링 커버링을 보장해야 한다.
• 원형 피보나치 문자열 $C(F_n)$의 커버인 오른쪽 시드는 $F_n$ 자체의 커버에 국한되며, 다른 오른쪽 시드는 길이를 초과하는 확장된 문자열을 커버하지 못해 실패한다.
• 원형 피보나치 문자열 $C(F_n)$의 모든 커버는 $n \in \{0,1,2,3\}$일 때 $F_n$을 포함하며, $n=4$일 때는 $F_n$과 $F_{n-1}$을 포함하고, $m \in \{3, \dots, n-1\}$에 대해 $F_m x$, $xF_my$, $xF_{m-1}F_my$ 형태의 추가 커버를 포함하며, 특정 길이 및 겹침 제약 조건을 갖는다.
• 접미사 $x$가 $F_m$의 일부이고 접두사 $y$가 $F_{m-1}$의 일부이며 $|x|+|y| \geq |F_m|$인 형태의 시드 $xF_my$는 적절한 겹침을 통해 $F_n$의 슈퍼스트링을 커버할 경우 $C(F_n)$의 유효한 커버가 된다.
• $n \geq 5$일 경우, $C(F_n)$의 커버에는 $F_n$, $F_{n-1}$, 그리고 $F_m$과 $F_{m-1}$을 부분 겹침으로써 포함하는 다양한 조합이 포함되며, 시드의 총 길이와 겹침 길이의 합이 $|x|+|y| \geq |F_m|$을 만족해야 한다.
• 이 논문은 $F_n[1\mathinner{.}.|F_n|-1]$이 $C(F_n)$의 커버가 아니라고 증명한다. 이는 피보나치 문자열 전개의 구조적 제약으로 인해 $F_nF_n$의 길이가 $|F_n|-1$를 초과하는 접두사를 커버하지 못하기 때문이다.