[논문 리뷰] Universal Witnesses for State Complexity of Basic Operations Combined with Reversal

Janusz Brzozowski, David Liu|arXiv (Cornell University)|2012. 07. 02.

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

한 줄 요약

이 논문은 정규 언어에 대해 기본 연산—불리안 연산, 연결, 스타, 역순—을 적용할 때, 보편적 워치독 자동기계 $\mathcal{U}_n(a,b,c)$ 및 그 변형형태인 순열형 및 대화형 형태가 모든 경우에 엄밀한 상태 복잡도 상계를 달성함을 입증한다. 특히 연결의 역순 $(KL)^R = L^R K^R$에 대해 $3 \cdot 2^{m+n-2}$가 엄밀한 상계임을 증명하고, 보편적 워치독 프레임워크를 사용한 체계적 도달 가능성 및 구별 가능성 증명을 통해 모든 다른 역순을 포함하는 연산에 대해 엄밀함을 확인한다.

ABSTRACT

We study the state complexity of boolean operations, concatenation and star with one or two of the argument languages reversed. We derive tight upper bounds for the symmetric differences and differences of such languages. We prove that the previously discovered bounds for union, intersection, concatenation and star of such languages can all be met by the recently introduced universal witnesses and their variants.

연구 동기 및 목표

• 역순과 조합된 정규 언어에 대한 기본 연산의 엄밀한 상태 복잡도 상계를 결정하는 것.
• 보편적 워치독 $\mathcal{U}_n(a,b,c)$ 및 그 변형형태가 역순을 포함하는 모든 연산에 대해 알려진 모든 엄밀한 상계를 달성할 수 있음을 보여주는 것.
• 순열 동치성과 보편적 워치독의 대화형 형태를 활용하여 다수의 연산에 대한 워치독 구성 방식을 통합하는 것.
• 다양한 연산에 걸쳐 동일한 보편적 워치독 프레임워크를 사용함으로써 상태 복잡도 상계 증명을 단순화하고 일반화하는 것.

제안 방법

• 보편적 워치독 $\mathcal{U}_n(a,b,c)$ 는 $n$개 상태를 가지며 알파벳 $\{a,b,c\}$ 위에서 정의된 표준 DFA로, 특정 상태 전이와 단일 최종 상태를 가진다.
• 순열 동치성이 적용되어 $\mathcal{U}_n(b,a,c)$ 및 $\mathcal{U}_n(d,c,b,a)$와 같은 변형형태가 생성되며, 문자 이름 변경에 따라 상태 복잡도 성질이 유지된다.
• 보편적 워치독의 대화형 형태, 예를 들어 $U_{\{0\},n}(a,b,c)$ 및 $V_n(a,b,c,d)$ 는 스타 및 역순과 같은 특정 연산을 모델링하기 위해 다른 최종 상태 집합을 사용한다.
• 곱 자동기의 모든 $2^{n+m-1} + 2^{n+m-2} = 3 \cdot 2^{n+m-2}$개 상태의 도달 가능성은 $\{b,c,d\}^*$ 및 $\{a,b,c\}^*$ 위의 입력 단어를 사용한 귀납적 구성으로 증명된다.
• 상태의 구별 가능성은 $a^k$ 및 $d^l a^{k+1}$ 변환을 사용하여 $Q_2$ 및 $Q_1$에 속하는지 여부에 따라 부분집합을 분리함으로써 확립된다.
• 이 증명 프레임워크는 최종 상태를 수정한 동일한 워치독 구조를 사용하여 $K^R L$, $KL^R$, $K \cup L^R$, $K \cap L^R$, $(L^*)^R$ 등의 연산으로 확장된다.

실험 결과

연구 질문

• RQ1 보편적 워치독 $\mathcal{U}_n(a,b,c)$ 및 그 변형형태가 기본 연산과 역순의 모든 조합에 대해 엄밀한 상태 복잡도 상계를 달성할 수 있는가?
• RQ2 $(KL)^R = L^R K^R$에 대해 상계 $3 \cdot 2^{m+n-2}$는 엄밀한가, 그리고 보편적 워치독 프레임워크를 사용해 달성될 수 있는가?
• RQ3 순열 동치성과 보편적 워치독의 대화형 형태를 사용하면 역순을 포함하는 여러 연산에 걸쳐 증명을 단순화하고 통합할 수 있는가?
• RQ4 $K^R L$, $KL^R$, $K \cup L^R$의 상태 복잡도는 보편적 워치독에 대해 얼마이며, 이는 엄밀한가?
• RQ5 보편적 워치독 프레임워크는 스타 연산의 역순에 대해서도 엄밀한 상계를 달성하는가, 즉 $(L^*)^R = (L^R)^*$?

주요 결과

• 연결의 역순 $(KL)^R = L^R K^R$는 엄밀한 상태 복잡도 상계 $3 \cdot 2^{m+n-2}$를 가지며, 이는 보편적 워치독 $\mathcal{U}_n(a,b,c)$ 에 의해 달성된다.
• 역순을 포함하는 연산에 대해 이전에 알려진 모든 엄밀한 상계—합집합, 교집합, 연결, 스타, 그 변형형태—는 보편적 워치독 $\mathcal{U}_n(a,b,c)$ 와 그 순열형 및 대화형 변형형태를 사용해 달성될 수 있다.
• 최종 상태 집합 $\{0\}$ 을 가진 보편적 워치독 $\mathcal{U}_n(a,b,c)$ 는 스타 연산의 역순 $(L^*)^R = (L^R)^*$에 대해 엄밀한 상계 $2^n$ 을 달성한다.
• $K$와 $L^R$의 곱 자동기에서는 정확히 $3 \cdot 2^{m+n-2}$개 상태에 도달하며, 이 중 $2^{n+m-1}$개 상태는 $q_0$ 를 포함하지 않으며 $2^{n+m-2}$개 상태는 $q_0$ 와 $m-1$ 을 모두 포함한다. 이 모든 상태들이 도달 가능하다.
• 곱 자동기의 모든 상태는 상호 구별 가능하다: $Q_2$에 속하는 부분집합이 다른 상태들은 $a^k$ 로 분리되고, $Q_1$에 속하는 부분집합이 다른 상태들은 $Q_2$ 성분이 다를 경우 $d^l a^{k+1}$ 로 분리된다.
• 보편적 워치독의 대화형 및 순열형 변형형태의 사용은 여러 역순을 포함하는 연산에 걸쳐 통합된 증명 프레임워크를 제공하며, 이를 통해 증명을 단순화하고 일반화할 수 있다.