Pal k 온라인 선형 인식 가능

초록

이 논문은 임의의 언어 L이 선형 시간·공간으로 온라인 인식 가능할 때, L·Pal(비어 있지 않은 회문들의 집합)도 동일한 복잡도로 온라인 인식할 수 있음을 보인다. 이를 이용해 고정된 양의 정수 k에 대해 Pal⁽ᵏ⁾가 O(k·n) 시간·공간으로 온라인 인식 가능함을 증명하고, 1978년 Galil‑Seiferas가 제기한 오픈 문제를 해결한다. 핵심은 “팔린드롬 엔진”과 “팔린드롬 이터레이터”라는 데이터 구조를 활용해 입력을 한 글자씩 읽으며 실시간으로 회문 분해 여부를 판단하는 알고리즘을 설계하는 것이다.

상세 분석

논문은 먼저 회문의 기본적인 조합론적 성질을 정리하고, 특히 최소 주기와 정규 분해(canonical decomposition) 개념을 도입한다. 최소 주기가 p인 회문 w는 w = (uv)⁎u 형태로唯一하게 표현될 수 있으며, 여기서 uv는 원시 문자열이다. 이러한 구조는 회문이 부분 문자열로 겹칠 때 중심이 어떻게 이동하는지를 정확히 파악하는 데 핵심이 된다.

다음으로 저자들은 “팔린드롬 이터레이터”라는 데이터 구조를 설계한다. 이터레이터는 현재까지 읽은 텍스트에 대해 (1) 가장 긴 접미사 회문의 중심을 반환하고, (2) 임의의 중심에 대한 회문의 반지름을 O(1) 시간에 제공하며, (3) 현재 중심에서 바로 다음으로 긴 접미사 회문의 중심을 찾는다. 구현은 Manacher 알고리즘의 아이디어를 확장한 것으로, 문자열을 한 글자씩 추가할 때마다 반지름 배열과 연결 리스트를 갱신한다. 중요한 점은 모든 연산이 상수 시간에 수행되며, 전체 입력 길이 n에 대해 총 O(n) 시간·공간을 사용한다는 점이다.

그 위에 “팔린드롬 엔진”을 쌓는다. 엔진은 두 비트 배열 m과 res, 그리고 텍스트를 보관한다. m