MSDF 기반 b‑인식 집합의 주기성 판정 효율 알고리즘

초록

본 논문은 가장 의미 있는 자리수부터 읽는(MSDF) 형태의 자동화된 표현을 가진 b‑인식 정수 집합이 궁극적으로 주기적인지 여부를 O(b·n·log n) 시간에 결정하는 준선형 알고리즘을 제시한다. 기존 LSDF 전용 알고리즘을 뒤집어 사용하는 방법이 상태 폭발을 일으킬 수 있음을 지적하고, 직접 MSDF 전용 구조와 ‘궁극적 동등성(ultimate‑equivalence)’ 개념을 활용해 효율성을 확보한다. 또한 실수 집합과 일반 수 체계로의 확장 가능성을 논의한다.

상세 분석

이 논문은 정수의 b‑진법 표현을 가장 왼쪽 자리수(최고 자리수)부터 읽는 MSDF(Most Significant Digit First) 방식으로 모델링된 결정적 유한 자동기( DFA )에 대해, 해당 언어가 궁극적으로 주기적인 집합을 나타내는지를 판정하는 알고리즘을 제시한다. 기존 연구에서는 LSDF(Least Significant Digit First) 방식에 대해서만 O(b·n·log n) 복잡도의 효율적인 절차가 알려져 있었으며, MSDF 자동기를 단순히 뒤집어 LSDF 형태로 만든 뒤 결정화(determinisation)하면 최악의 경우 지수적인 상태 폭발이 발생한다는 실용적 한계가 있었다.

논문은 먼저 ‘자동기 동형사상(automaton morphism)’과 ‘유사동형사상(pseudo‑morphism)’을 정의하고, Myhill‑Nerode 정리를 통해 최소화 자동기의 존재와 그 특성을 재확인한다. 이어서 ‘궁극적 동등성(ultimate‑equivalence)’이라는 새로운 동등 관계를 도입한다. 두 상태 s, s′가 m‑궁극적으로 동등하다는 것은 길이가 m 이상인 모든 입력에 대해 동일한 도착 상태를 만든다는 의미이며, 이는 그래프 G의 강하게 연결된 성분을 탐색함으로써 O(b·n·log n) 시간에 효율적으로 계산될 수 있다.

주기성을 판단하기 위한 핵심 아이디어는 ‘순수 주기 집합(purely periodic set)’을 나타내는 표준 자동기 A(p,R)를 이용하는 것이다. 여기서 p는 최소 주기, R⊆{0,…,p−1}은 허용되는 나머지 집합이다. A(p,R)는 상태 집합을 Z/pZ 로 두고 전이 δ(n,a)= (n·b + a) mod p 로 정의한다. 논문은 p를 k·d 로 분해하여 (k, b)=1, d은 b의 거듭제곱을 포함하도록 선택하고, 이를 통해 A(p,?)가 A(k,?)와 A(d,?)의 직곱임을 보인다. 특히 A(k,?)는 각 입력이 상태 집합을 순열로 작용하는 ‘그룹 자동기’이며, A(d,?)는 강연결성을 갖는다.

알고리즘은 다음 단계로 진행한다.

1. 입력 DFA A에 대해 궁극적 동등성 관계를 계산하고, 이를 이용해 A를 궁극적 동등 클래스별로 축소한다(quotient).
2. 축소된 자동기의 전이 구조를 분석하여, 각 강연결 성분이 A(k,?)와 A(d,?)의 곱 형태와 일치하는지 검사한다.
3. 만약 일치한다면, 각 성분에 대응되는 (p,R) 파라미터를 역산하여 A가 ‘값에 의한(value‑by‑value)’ 수용을 만족하는 궁극적 주기 집합을 인식함을 확인한다.
4. 일치하지 않을 경우, A는 어떠한 p,R에 대해서도 궁극적 주기성을 갖지 않는다.

복잡도 분석에서는 궁극적 동등성 계산이 O(b·n·log n)이며, 이후의 강연결 성분 분해와 파라미터 역산도 동일 차수의 선형·로그 연산에 머무른다. 따라서 전체 절차는 O(b·n·log n) 시간에 수행된다.

또한 논문은 이 절차를 실수 집합 인코딩(정수부와 무한 소수부를 구분하는 구분자 사용)으로 확장하는 방법을 제시한다. 실수 자동기는 정수부와 소수부를 각각 독립적인 DFA로 분리할 수 있으며, 정수부는 본 논문의 MSDF 알고리즘을 그대로 적용하고, 소수부는 기존 연구에서 제시된 간단한 구조 검증만으로 충분함을 보인다.

마지막으로, 선형 재귀 수열 기반의 일반 수 체계(예: 피수트 수)에도 ‘궁극적 동등성’과 ‘그룹 자동기’ 개념을 일반화할 수 있음을 논의한다. 현재까지는 이러한 일반 수 체계에 대한 효율적인 주기성 판정 알고리즘이 알려지지 않았지만, 본 논문의 기법이 향후 연구의 토대가 될 가능성을 제시한다.