[논문 리뷰] A Survey on Operational State Complexity

Yuan Gao, Nelma Moreira외 2명|arXiv (Cornell University)|2015. 09. 10.

Machine Learning and Algorithms참고 문헌 97인용 수 23

한 줄 요약

이 종합 검토는 형식 언어에서 운영 상태 복잡도에 대한 포괄적인 개요를 제공하며, 합집합, 교차, 연결, 스타, 역순 및 그 조합과 같은 정규 언어 연산의 최악의 경우 상태 복잡도에 중점을 둡니다. 이는 하위정규 언어 클래스들 사이의 결과를 통합하고, 보편적 증거자와 평균 복잡도 및 알파벳 크기 의존성 분야의 열린 문제들 같은 주요 진전을 강조합니다.

ABSTRACT

Descriptional complexity is the study of the conciseness of the various models representing formal languages. The state complexity of a regular language is the size, measured by the number of states of the smallest, either deterministic or nondeterministic, finite automaton that recognises it. Operational state complexity is the study of the state complexity of operations over languages. In this survey, we review the state complexities of individual regularity preserving language operations on regular and some subregular languages. Then we revisit the state complexities of the combination of individual operations. We also review methods of estimation and approximation of state complexity of more complex combined operations.

연구 동기 및 목표

• 개별 및 병합된 정규 언어 연산에 대한 최악의 경우 상태 복잡도 결과를 체계적으로 검토하는 것.
• 다양한 하위정규 언어 클래스들 사이에서 결정성과 비결정성 상태 복잡도 간 격차를 분석하는 것.
• 평균 복잡도, 마법의 수, 알파벳 크기 의존성 분야의 열린 문제를 식별하고 논의하는 것.
• 보편적 증거자와 DesCo와 같은 구조적 도구가 복잡도 결과를 조직하고 검증하는 데 수행하는 역할을 탐색하는 것.
• 비결정성 상태 복잡도와 전이 복잡도 분야의 향후 연구 방향을 제시함으로써 연구를 이끄는 것.

제안 방법

• 유한, 단항, 스타-free 등 다양한 정규 및 하위정규 언어에 대한 연산의 상태 복잡도 결과를 조사하고 분류하는 것.
• 조합적 구성과 증거 언어 가족을 사용하여 연산의 상한과 하한을 분석하는 것.
• 복잡한 경계를 검증하고 날카로운 증거를 구성하기 위해 기호 연산 소프트웨어와 고성능 컴퓨팅을 활용하는 것.
• 다양한 복잡도 측정 기준(예: 문법 복잡도, 원자 수 등)에서 날카로운 경계를 달성하는 보편적 증거자의 개념을 도입하고 분석하는 것.
• DesCo 웹 기반 시스템을 활용하여 언어 클래스와 연산 간의 복잡도 데이터를 조직하고 질의하는 것.
• 달성 가능한 복잡도 값의 분포와 상태 복잡도에서 '마법의 수' 존재 여부를 조사하는 것.

실험 결과

연구 질문

• RQ1 정규 언어에서 합집합, 교차, 연결과 같은 기본 연산의 날카로운 최악의 경우 상태 복잡도 경계는 무엇인가요?
• RQ2 스타의 합집합이나 스타의 교차와 같은 병합된 연산의 경우 상태 복잡도 경계는 어떻게 변화합니까?
• RQ3 어떤 조건을 만족하면 언어 가족이 여러 복잡도 경계에 대해 보편적 증거자가 될 수 있나요?
• RQ4 어떤 값들(마법의 수)은 특정 연산과 알파벳 크기에서 상태 복잡도로 달성될 수 없나요?
• RQ5 알파벳 크기가 날카로운 경계의 존재와 보편적 증거자의 구성 가능성에 어떻게 영향을 미치나요?

주요 결과

• m-상태 및 n-상태 DFA에서 교차의 상태 복잡도는 정확히 mn이며, 일부 언어 쌍에서는 이 경계가 날카로운 것으로 확인됩니다.
• 합집합의 스타나 유사한 병합된 연산의 경우, 개별 복잡도의 단순 조합보다 상태 복잡도가 상당히 낮습니다.
• 많은 연산에 대해 보편적 증거자가 존재하며, 이는 문법 복잡도와 원자 수를 포함한 다양한 복잡도 측정 기준에서 날카로운 경계를 구성하는 데 도움을 줍니다.
• 마법의 수—특정 연산과 알파벳 크기에서 상태 복잡도로 달성될 수 없는 값—는 고정된 알파벳 크기에서만 존재하며, 그마저도 매우 드문 편입니다.
• 평균 복잡도 상태 복잡도 분야는 여전히 거의 탐색되지 않았지만, 최근 분석 조합학을 활용한 연구가 정규 표현식에서 NFA 크기 분포를 모델링하기 시작했습니다.
• 브조조프스키 최소화 알고리즘의 평균 복잡도 행동이 분석되었으며, 이는 역순 복잡도와 운영 상태 복잡도 분야에 잠재적인 응용을 제공하는 통찰을 제공합니다.