[논문 리뷰] State Complexity and the Monoid of Transformations of a Finite Set

Bryan Krawetz, John Lawrence외 1명|ArXiv.org|2003. 06. 29.

semigroups and automata theory참고 문헌 8인용 수 4

한 줄 요약

이 논문은 정규 언어에서 루트 연산의 상태 복잡도를 조사한다. 루트 연산은 root(L) = {w | w^n ∈ L for some n ≥ 1}로 정의된다. 크기가 n인 DFA를 이용해 root(L)를 인식하는 DFA로 변환할 때의 상태 수 증가에 대해 날카로운 상한과 하한을 도출한다. 알파벳 크기가 ≥3인 경우 최악의 복잡도는 n^n − binom(n,2)이며, 이는 유한 집합 위의 전단사 변환 모노이드의 대수적 구조를 이용하여 유도된다. 알파벳 크기가 작을 경우 복잡도는 상당히 낮아진다.

ABSTRACT

In this paper we consider the state complexity of an operation on formal languages, root(L). This naturally entails the discussion of the monoid of transformations of a finite set. We obtain good upper and lower bounds on the state complexity of root(L) over alphabets of all sizes.

연구 동기 및 목표

• 정규 언어에서 루트 연산의 최악의 상태 복잡도를 결정하는 것, 정의는 root(L) = {w | w^n ∈ L for some n ≥ 1}이다.
• 유한 집합 위의 전단사 변환 모노이드의 구조가 root(L)의 상태 복잡도에 어떻게 영향을 미치는지 분석하는 것.
• 모든 크기의 알파벳에 대해 root(L)의 상태 복잡도에 대한 날카로운 상한과 하한을 도출하는 것. 특히 단항, 이항, 더 큰 알파벳 간의 차이를 명확히 하는 것.
• 모노이드 이론적 기법을 사용하여 L의 최소 DFA를 root(L)의 최소 DFA로 변환할 때 발생하는 최대 상태 수 증가를 특성화하는 것.

제안 방법

• 상태 집합 Q의 모든 전단사 변환의 모노이드 위에 새로운 DFA A'를 구성한다. 상태는 Q^Q이며, root(L)를 인식한다.
• 전이 함수 δ' 는 δ'(f,a) = f ∘ δ_a 로 정의되며, 여기서 δ_a 는 기호 a 가 유도하는 변환이다.
• δ'_q0(w) = δ_w 이므로, w ∈ root(L) 일 필요충분조건은 어떤 n ≥ 1 에 대해 δ_w^n(q0) ∈ F 이다.
• 특히 두 생성자로 생성된 부분모노이드 U_{k,l} (서로소인 k ≥ 2, l ≥ 3, k + l = n)의 구조를 포함한 전단사 변환 모노이드의 대수적 결과를 적용한다.
• 모노이드 크기의 조합론적 경계를 사용하며, 특히 |M| > n^n − binom(n,2) 인 임의의 모노이드 M ⊆ T_n 는 반드시 전체 전단사 변환 모노이드 T_n 여야 한다는 사실을 활용한다.
• 계산적 검증과 알려진 결과(예: Holzer와 König의 결과)를 활용하여 n ≥ 7 인 경우 경계의 날카로움을 입증한다.

실험 결과

연구 질문

• RQ1 유한 알파벳 위에서 정규 언어에 대한 루트 연산의 최대 상태 복잡도 증가는 얼마인가?
• RQ2 최소 DFA의 전단사 변환 모노이드의 구조는 root(L)의 상태 복잡도에 어떻게 영향을 미치는가?
• RQ3 크기가 1, 2, ≥3인 알파벳에 대해 root(L)의 상태 복잡도에 대한 날카로운 상한과 하한을 도출할 수 있는가?
• RQ4 알파벳 크기가 ≥3일 때, 경계 n^n − binom(n,2)는 날카로운가? 그리고 이 최대값을 달성하는 모노이드의 구조는 무엇인가?
• RQ5 두 생성자로 생성된 부분모노이드 U_{k,l} 는 root(L)의 최악의 상태 복잡도를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 알파벳 크기가 ≥3인 경우, root(L)의 최악의 상태 복잡도는 n^n − binom(n,2)이며, 이 경계는 날카롭다.
• L의 최소 DFA의 전단사 변환 모노이드가 전체 전단사 변환 모노이드 T_n 인 경우, root(L)의 상태 복잡도는 정확히 n^n − binom(n,2)이다.
• 이항 알파벳의 경우, root(L)의 최대 상태 복잡도는 |U_{k,l}| − binom(n,2) 로 유계이며, 여기서 U_{k,l} 는 서로소인 k ≥ 2, l ≥ 3, k + l = n 인 T_n 의 최대 두 생성자 부분모노이드이다.
• 단항 언어의 경우, root(L)의 상태 복잡도는 원래 상태 복잡도로 유계이며, 즉 sc(root(L)) ≤ sc(L) 이며, 이 경계는 날카롭다.
• 알파벳 크기가 3 이상이면 임의의 n ≥ 1 에 대해, T_n 를 생성하는 크기가 min(n,3)인 생성 집합 X 를 사용함으로써 경계 n^n − binom(n,2) 를 달성하는 언어의 구성이 가능하다.
• n ≥ 7 인 경우, 가정된 바에 따르면 U_{k,l} 가 그러한 부분모노이드 중 최대이므로, 이항 알파벳에 대해 경계 |U_{k,l}| − binom(n,2) 는 날카롭다.