[논문 리뷰] State complexity of multiple catenation

Pascal Caron, Jean-Gabriel Luque외 1명|arXiv (Cornell University)|2016. 07. 14.

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

한 줄 요약

이 논문은 Brzozowski의 결정성 유한 자동기(DFAs)를 사용하여 다중 연결의 상태 복잡도를 향상시켜 증명자에 대한 알파벳 크기를 $2\alpha - 1$에서 $\alpha + 1$으로 감소시킨다. 상한을 계산하기 위한 재귀 공식을 제안하고, $\alpha$-문자 알파벳이 충분할 수 있다는 추측에 대해 계산적이고 분석적인 증거를 제시하며, $\alpha = 2$와 $\alpha = 3$에 대해 이를 검증한다. 주요 기여는 상태 복잡도 상한에 거의 영향을 주지 않으면서도 알파벳 크기를 크게 줄인 데 있다.

ABSTRACT

We improve some results relative to the state complexity of the multiple catenation described by Gao and Yu. In particular we nearly divide by 2 the size of the alphabet needed for witnesses. We also give some refinements to the algebraic expression of the state complexity, which is especially complex with this operation. We obtain these results by using peculiar DFAs defined by Brzozowski.

연구 동기 및 목표

• 정규 언어의 다중 연결에서 상태 복잡도 증명자에 필요한 알파벳 크기를 줄이는 것.
• $\alpha$ 개의 정규 언어의 순차적 연결에 대한 상태 복잡도를 계산하기 위한 재귀 공식을 제공하는 것.
• Brzozowski의 DFA가 최소 상태 증명자를 구성하는 데 강력한 도구임을 검증하는 것.
• $\alpha$-언어 연결에 대해 최적의 알파벳 크기 $\alpha$를 달성할 수 있는지 조사하는 것.

제안 방법

• 다중 연결의 증명자로 사용할 수 있도록 $\alpha + 1$-문자 알파벳 위에 $\alpha$ 개의 DFA 가족을 구성하는 것.
• 역 자동기에서 최소 DFA를 생성하기 위해 Brzozowski의 구성법을 적용하여 상태 최소 증명자를 생성하는 것.
• 재귀적 상태 전이 분석을 통해 $\alpha$-겹 연결의 상태 복잡도를 계산할 수 있는 표현식을 유도하는 것.
• 상태 등가성의 세부적인 증명을 위해 구별 단어를 사용하여 구성된 자동기의 최소성을 검증하는 것.
• 이전의 대수적 공식보다 더 효율적으로 상태 복잡도 상한을 표현하기 위해 조합적 프레임워크를 구성하는 것.
• 계산적으로 $\alpha = 6$ 또는 $7$까지 추측을 검증하고, $\alpha = 2$와 $\alpha = 3$에 대해 이를 증명하는 것.

실험 결과

연구 질문

• RQ1 다중 연결의 증명자에 대한 알파벳 크기를 $2\alpha - 1$ 이하로 줄일 수 있는가?
• RQ2 다중 연결의 상태 복잡도를 계산하는 데 간편한 재귀 공식이 존재하는가?
• RQ3 Brzozowski의 DFA를 사용하여 $\alpha$-문자 알파벳을 사용하는 최적의 증명자를 구성할 수 있는가?
• RQ4 모든 $\alpha \geq 2$에 대해 $\alpha$-문자 알파벳이 $\alpha$-겹 연결에 충분하다는 추측은 참인가?
• RQ5 다중 연결에서 최대 상태 복잡도를 달성하기 위해 필요한 최소 알파벳 크기는 얼마인가?

주요 결과

• 논문은 다중 연결의 증명자에 대한 알파벳 크기를 $2\alpha - 1$에서 $\alpha + 1$으로 줄여, 필요한 알파벳 크기를 거의 반으로 줄였다.
• 다중 연결의 상태 복잡도를 계산하기 위한 재귀 공식이 제시되어 있어 효율적인 계산이 가능해졌다.
• $\alpha + 1$ 개의 문자로 구성된 $\alpha$-DFA 가족이 최대 상태 복잡도에 대한 최소 증명자로 증명되었다.
• $\alpha = 2$와 $\alpha = 3$에 대해 저자들은 $\alpha$-문자 알파벳으로도 충분함을 증명하여 최적성 추측을 뒷받침한다.
• 상태 복잡도 상한은 조합적 공식을 통해 표현되었으며, Gao와 Yu의 복잡한 대수적 표현식보다 더 효율적인 대안을 제공한다.
• 모든 상태가 상호 비등가임을 증명하는 구별 단어 논증을 통해 구성된 자동기의 최소성이 확인되었다.