형태학적 원시성 검사 복잡도

초록

본 논문은 단어가 비자명한 모프(문자열 변환)의 고정점인지 판단하는 Holub(2009)의 알고리즘을 재검토한다. 알고리즘을 효율적으로 구현하면 입력 문자열 길이 n과 알파벳 크기 m에 대해 O(m n) 시간 복잡도를 달성할 수 있음을 증명한다.

상세 분석

Holub(2009)의 원래 알고리즘은 주어진 단어 w가 어떤 비자명한 모프 f의 고정점, 즉 f(w)=w인지를 판별하는 절차이다. 이 문제는 형태학적 원시성(morphic primitivity)이라고 불리며, 문자열 이론과 자동화 이론에서 중요한 위치를 차지한다. 기존 연구에서는 최악의 경우 O(n²) 혹은 O(n·|Σ|·log n) 수준의 복잡도를 제시했지만, 실제 구현에서는 알파벳 크기 m에 대한 명시적인 고려가 부족했다.

본 논문은 알고리즘의 핵심 단계인 “패턴 매칭”과 “분할점 탐색”을 세밀히 분석한다. 먼저, w의 각 위치 i에 대해 가능한 최소 구간