[논문 리뷰] State complexity of union and intersection combined with star and reversal

Yuan Gao, Sheng Yü|arXiv (Cornell University)|2010. 06. 18.

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

한 줄 요약

이 논문은 정규 언어에서 네 가지 조합된 연산의 상태 복잡도를 조사한다: $L(M)^{*} \cup L(N)$, $L(M)^{*} \cap L(N)$, $L(M)^{R} \cup L(N)$, 및 $L(M)^{R} \cap L(N)$, 여기서 $M$과 $N$은 각각 $m$- 및 $n$-상태 DFA이다. 이들 연산의 상태 복잡도는 개별 연산 복잡도의 수학적 조합보다 엄격히 낮으며, 정확한 상한선으로 $\frac{3}{4}2^m \cdot n - n + 1$이 성립한다. 이는 스타 기반 연산에 대해이고, $m,n \geq 2$일 때, 반전 기반 연산에 대해서는 $2^m \cdot n - n + 1$이다. 결과적으로, 연산 순서가 상태 복잡도에 상당한 영향을 미치며, 스타나 반전 이후에 연산을 수행할 경우 상당히 낮은 상한선을 얻을 수 있음을 보여준다.

ABSTRACT

In this paper, we study the state complexities of union and intersection combined with star and reversal, respectively. We obtain the state complexities of these combined operations on regular languages and show that they are less than the mathematical composition of the state complexities of their individual participating operations.

연구 동기 및 목표

• 스타 또는 반전 이후에 합집합 또는 교집합을 수행하는 정규 언어에서의 조합된 연산의 정확한 상태 복잡도를 결정하는 것.
• 이러한 조합된 연산의 상태 복잡도가 개별 연산 복잡도의 수학적 조합보다 엄격히 낮다는 것을 보여주는 것.
• 특히 스타/반전이 먼저 적용되는 경우와 마지막에 적용되는 경우를 비교하여, 연산 순서가 상태 복잡도에 미치는 영향을 분석하는 것.
• $m,n \geq 2$에 대해 $L(M)^{*} \cup L(N)$, $L(M)^{*} \cap L(N)$, $L(M)^{R} \cup L(N)$, $L(M)^{R} \cap L(N)$의 상태 복잡도에 대해 날카운 상한선과 하한선을 확립하는 것.

제안 방법

• 각 조합된 연산에 대해 최소 DFA를 구성하기 위해 제품 구성 기법과 철저한 상태 집합 설계를 사용하는 것.
• 구성된 연산의 순차적 동작을 시뮬레이션할 수 있도록 전이 함수를 정의하여 정확성과 최소성을 확보하는 것.
• 특히 반전 및 스타 연산에서 동치 상태를 압축하기 위해 싱크 상태를 사용하는 것.
• 구성된 자동차에서 모든 상태의 도달 가능성과 구별 가능성으로 최소성을 증명하는 것.
• 기존의 개별 연산 결과(예: 반전에 대해 $2^m$, 스타에 대해 $\frac{3}{4}2^k$)를 활용하여 조합된 경우의 상한선을 도출하는 것.
• 특히 싱크 상태나 종결 상태 조건과 관련된 중복 또는 동치 상태를 제거하기 위해 상태 집합을 분석하는 것.

실험 결과

연구 질문

• RQ1 $m,n \geq 2$일 때, $L(M)^{*} \cup L(N)$의 상태 복잡도는 얼마인가?
• RQ2 $L(M)^{*} \cap L(N)$의 상태 복잡도는 $(L(M) \cap L(N))^{*}$의 복잡도와 어떻게 비교되는가?
• RQ3 $L(M)^{R} \cup L(N)$의 상태 복잡도는 얼마이며, $(L(M) \cup L(N))^{R}$와 어떻게 비교되는가?
• RQ4 $L(M)^{*} \cup L(N)$과 $L(M)^{*} \cap L(N)$은 서로 다른 연산임에도 불구하고 동일한 상태 복잡도를 가지는 이유는 무엇인가?
• RQ5 합집합/교집합 이전 또는 이후에 스타/반전을 적용하는 연산 순서가 결과 상태 복잡도에 미치는 영향은 어떠한가?

주요 결과

• $L(M)^{*} \cup L(N)$의 상태 복잡도는 $m,n \geq 2$일 때 $\frac{3}{4}2^m \cdot n - n + 1$이며, 이는 $(L(M) \cup L(N))^{*}$의 상태 복잡도보다 엄격히 낮다.
• $L(M)^{*} \cap L(N)$의 상태 복잡도 역시 $\frac{3}{4}2^m \cdot n - n + 1$이며, 이는 다른 연산임에도 불구하고 합집합의 경우와 동일한 복잡도를 가진다.
• $L(M)^{R} \cup L(N)$의 상태 복잡도는 $2^m \cdot n - n + 1$이며, $(L(M) \cup L(N))^{R}$의 복잡도인 $2^{m+n} - 2^m - 2^n + 2$보다 상당히 낮다.
• $L(M)^{R} \cap L(N)$의 상태 복잡도 역시 $2^m \cdot n - n + 1$이며, 이는 반전 기반 합집합의 복잡도와 일치한다.
• 모든 네 가지 연산에 대해 구성된 최소 DFA는 도달 가능성과 상호 구별 가능성 모두가 입증되어 상한선이 날카로운 것을 확인한다.
• 결과적으로, 스타나 반전 이후에 합집합 또는 교집합을 수행할 경우, 최악의 경우 상태 복잡도가 $O(2^{m+n})$에서 $O(2^m n)$으로 감소함을 보여주며, 이는 연산 순서의 중요성을 입증한다.