[논문 리뷰] State Complexity of Two Combined Operations: Reversal-Catenation and Star-Catenation

Bo Cui, Yuan Gao외 2명|arXiv (Cornell University)|2010. 06. 23.

Chemical Synthesis and Analysis참고 문헌 25인용 수 3

한 줄 요약

이 논문은 두 가지 조합된 정규 언어 연산, 즉 역순 다음 연결(L₁ᴿL₂)과 별표 다음 연결(L₁*L₂)의 상태 복잡도를 조사한다. 결과적으로, 역순 이후 또는 별표 이후의 초기 상태가 종결 상태일 경우와 같은 구조적 제약으로 인해, 조합된 연산의 상태 복잡도는 개별 연산 복잡도의 단순 조합이 아니며, 예상보다 더 낮고 더 견고한 상한선으로 제한됨을 보여준다. 이는 증명된 상한선을 갖는 증거 자료(위저드 자동기계)를 통해 입증된다.

ABSTRACT

In this paper, we show that, due to the structural properties of the resulting automaton obtained from a prior operation, the state complexity of a combined operation may not be equal but close to the mathematical composition of the state complexities of its component operations. In particular, we provide two witness combined operations: reversal combined with catenation and star combined with catenation.

연구 동기 및 목표

• 정규 언어 이론에서 연속된 연산의 조합된 상태 복잡도를 분석하는 것.
• 조합된 연산의 상태 복잡도가 개별 연산 복잡도의 수학적 조합과 다를 수 있는 이유를 조사하는 것.
• 역순-연결과 별표-연결이라는 두 가지 특정 조합된 연산에 대해 상태 복잡도의 날카로운 상한선을 규명하고 증명하는 것.
• 유도된 상한선에 도달하는 위저드 DFA를 구성하여 상한선이 날카로운지 입증하는 것.
• 중간 자동기계의 구조적 성질(예: 역순 이후의 종결 상태 분포 또는 별표 이후의 성질)이 최종 복잡도에 어떻게 영향을 주는지 강조하는 것.

제안 방법

• 입력 자동기계의 상태 쌍을 추적하여 표준 NFA에서 DFA로의 변환을 통해 조합된 연산을 위한 곱 자동기계를 구성하는 것.
• 결과로 얻어진 DFA의 상태 집합을 (P, T) 형태의 쌍으로 정의하며, 여기서 P는 첫 번째 자동기계의 상태 부분집합이고 T는 두 번째 자동기계의 상태 부분집합이며, 연산의 의미에 따라 제약 조건이 적용된다.
• 도달 가능성과 동치성 분석을 적용하여 구성된 자동기계의 최소성을 증명하며, 모든 상태가 도달 가능하고 두 상태가 동치가 아니라는 것을 보여주는 것.
• 특정 위저드 자동기계를 사용하여 상한선을 달성하며, 특히 별표-연결의 경우에 적합한 네 글자 알파벳과 정교하게 설계된 전이 함수를 사용하는 것.
• 역순-연결의 경우, m,n ≥ 2일 때 상한선이 3/4·2^{m+n}임을 증명하고, m=1 또는 n=1일 경우 더 낮은 값을 얻는다.
• 별표-연결의 경우 두 가지 다른 상한선을 유도한다: A가 다수의 종결 상태를 가진 경우 5·2^{m+n−3} − 2^{m−1} − 2^{n} + 1이며, A가 별표-폐쇄적일 경우(즉, L(A) = L(A)*) m(2^n − 1) − 2^{n−1} + 1이다.

실험 결과

연구 질문

• RQ1 왜 역순-연결과 같은 조합된 연산의 상태 복잡도가 개별 연산 복잡도의 조합과 일치하지 않는가?
• RQ2 중간 자동기계의 구조적 성질(예: 역순 이후의 종결 상태 분포)이 다음 연산의 상태 복잡도에 어떻게 영향을 주는가?
• RQ3 m-상태 및 n-상태 DFA에 대해 L₁ᴿL₂의 최대 가능한 상한선은 무엇인가?
• RQ4 첫 번째 자동기계 A가 별표-폐쇄적이지 않은 경우(L(A)* ≠ L(A)), L₁*L₂의 상태 복잡도는 무엇인가?
• RQ5 역순-연결과 별표-연결 모두에 대해 유도된 상한선에 도달하는 위저드 자동기계를 구성할 수 있는가?

주요 결과

• 역순-연결 L₁ᴿL₂의 상태 복잡도는 m,n ≥ 2일 때 최대 3/4·2^{m+n}으로 상한선이 제한되며, 이 상한선은 위저드 자동기계를 통해 달성 가능하고 날카로운 것으로 입증된다.
• m=1이고 n≥1일 경우, L₁ᴿL₂의 상태 복잡도는 2^{n−1}으로 감소하며, m≥2이고 n=1일 경우 2^{m−1}+1로 감소하여, 구조적 제약으로 인한 상당한 감소가 나타난다.
• 별표-연결 L₁*L₂의 경우, A가 별표-폐쇄적(즉, 초기 상태가 유일한 종결 상태)일 경우 복잡도는 m(2^n − 1) − 2^{n−1} + 1이며, 일반적인 연결 복잡도 m·2^n − 2^{n−1}보다 낮다.
• A가 별표-폐쇄적이지 않은 경우(즉, 초기 상태 이외의 종결 상태를 포함), L₁*L₂의 상태 복잡도는 5·2^{m+n−3} − 2^{m−1} − 2^{n} + 1이며, 이는 단순 조합인 3/4·2^{m+n} − 2^{n−1}보다 엄격히 낮다.
• 두 연산 모두에 대해 네 글자 알파벳을 사용하고 상태의 도달 가능성과 구별 가능성을 보장하는 전이 함수를 갖는 위저드 자동기계를 구성하여 상한선이 날카로운 것을 입증한다.
• 결과적으로, 중간 자동기계의 구조적 성질(예: 역순 이후의 종결 상태 구성 또는 별표 이후의 성질)이 최종 조합된 연산의 상태 복잡도를 상당히 감소시키며, 이로 인해 개별 복잡도의 이론적 조합에 도달하지 못함을 보여준다.