[논문 리뷰] State Complexity of Testing Divisibility

Émilie Charlier, Narad Rampersad외 2명|arXiv (Cornell University)|2010. 08. 10.

semigroups and automata theory참고 문헌 16인용 수 9

한 줄 요약

이 논문은 선형 수진 체계에서 $ m \geq 2 $의 배수의 그릿 표현을 인식하는 최소 자동기의 상태 복잡도를 결정한다. 특히 피보나치 체계의 경우 상태 수가 정확히 $ 2m^2 $임을 증명한다. 이 접근법은 $ \mathbb{N} $에 대한 자동기와 평가값에 대한 모듈로 산술을 이용한 자동기 이론적 구성 방식을 결합하며, 피조트 수와 버르탕 체계의 성질을 활용하여 약간의 가정 하에 정확한 경계를 도출한다.

ABSTRACT

Under some mild assumptions, we study the state complexity of the trim minimal automaton accepting the greedy representations of the multiples of m >= 2 for a wide class of linear numeration systems. As an example, the number of states of the trim minimal automaton accepting the greedy representations of the multiples of m in the Fibonacci system is exactly 2m^2.

연구 동기 및 목표

• 선형 수진 체계의 넓은 범주에서 $ m\mathbb{N} $의 그릿 표현을 인식하는 트림 최소 자동기의 정확한 상태 복잡도를 결정하는 것.
• 유한 자동기가 사용하는 나눗셈 기준의 결정 가능성을 비표준 수진 체계로 확장하는 것.
• 모듈로 산술과 자동기 곱 구성 방식을 이용해 이러한 자동기의 상태 수를 계산하는 일반적 프레임워크를 제공하는 것.
• 임의의 수진 체계에 대한 상태 복잡도에 하한을 설정하는 것.
• 자동기 복잡도와 확장된 프레스버거 산술에서의 일阶 정의 가능성 간의 관계를 탐색하는 것.

제안 방법

• $ \mathcal{A}_U $가 $ \mathbb{N} $를 위한 자동기이고, $ \operatorname{val}_U(w) \bmod m $를 추적하는 모듈 기반 자동기인 바탕 자동기와의 곱으로 $ 0^*\operatorname{rep}_U(m\mathbb{N}) $를 위한 최소 자동기 $ \mathcal{A}_{U,m} $를 구성한다.
• 자동기 $ \mathcal{A}_{U,m} $의 상태는 $ (k+1) $-튜플 $ (q, v_0, \dots, v_{k-1}) $ 형식을 띤다. 여기서 $ q $는 $ \mathcal{A}_U $의 상태이며, $ v_i = \operatorname{val}_U(w0^i) \bmod m $이다.
• 순환성의 성질을 이용해 보조 자동기의 상태 수를 제한한 후, $ \mathcal{A}_U $와의 교차를 최소화한다.
• 직접적으로 $ \mathcal{A}_{U,m} $를 구성하기 위해 Proposition 17을 적용하여 자동기 상태와 모듈로 평가값을 동시에 추적한다.
• 단말 자릿수부터 읽는 문자열의 역순 처리를 통해 모듈로 전이 구조를 단순화하고 순환성 분석을 가능하게 한다.
• 피조트 및 버르탕 수진 체계의 결과를 적용하여 자동기 구조가 필수 조건(예: 강한 연결성, 트림 최소성)을 만족함을 보장한다.

실험 결과

연구 질문

• RQ1 주근원 조건을 만족하는 선형 수진 체계에서 $ m\mathbb{N} $의 그릿 표현을 인식하는 최소 자동기의 정확한 상태 수는 얼마인가?
• RQ2 피보나치 수진 체계에서 $ m $의 배수 여부에 대한 상태 복잡도를 정확히 계산할 수 있는가?
• RQ3 $ 0^*\operatorname{rep}_U(m\mathbb{N}) $의 상태 복잡도는 수열 $ (U_n \bmod m) $의 주기와 어떻게 관련이 있는가?
• RQ4 임의의 수진 체계에 대해 상태 복잡도에 하한을 설정할 수 있는가?
• RQ5 $ \mathcal{A}_{U,m} $의 구성이 어떻게 자동화되거나 선형 체계를 초월해 일반화될 수 있는가?

주요 결과

• 피보나치 수진 체계에서 $ 0^*\operatorname{rep}_F(m\mathbb{N}) $를 인식하는 트림 최소 자동기의 상태 수는 정확히 $ 2m^2 $이며, Corollary 19에서 이를 보였다.
• 수진 체계 $ U $에 대해 약간의 가정 하에, $ \mathcal{A}_{U,m} $의 상태 복잡도는 $ (U_n \bmod m) $의 주기 길이의 $ m $ 배 이하로 제한되며, Theorem 14에 의해 명시되었다.
• $ \mathcal{A}_{U,m} $의 상태 수에 대한 하한은 $ |\operatorname{rep}_U(m)| $, 즉 $ m $의 그릿 표현의 길이와 같으며, Proposition 23에서 입증되었다.
• $ \mathcal{A}_U $와 모듈로 평가값 자동기를 결합한 곱 구성 방식을 통해 $ \mathcal{A}_{U,m} $의 구성이 완전히 자동화되며, Proposition 17에 의해 가능해졌다.
• 파리 수에 관련된 버르탕 수진 체계의 경우 자동기 $ \mathcal{A}_U $는 필요한 성질(H.1)과 (H.2)를 만족하므로 Theorem 14를 직접 적용할 수 있다.
• 특성 다항식이 피조트 수의 최소 다항식인 체계에 대해서는 이 방법이 상태 복잡도를 균일하게 다룰 수 있다.