[논문 리뷰] Upper Bounds on Syntactic Complexity of Left and Two-Sided Ideals

Janusz Brzozowski, Marek Szykuła|arXiv (Cornell University)|2014. 03. 09.

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

한 줄 요약

이 논문은 형식 언어 이론에서 두 개의 열린 문제를 해결하여, 왼쪽 이데알과 양방향 이데알의 문법 복잡도에 대한 날카운 상한을 증명한다. n 개의 몫을 가진 왼쪽 이데알의 문법 반군은 최대 $ n^{n-1} + n - 1 $ 개의 원소를 가지며, 양방향 이데알의 경우 최대 $ n^{n-2} + (n-2)2^{n-2} + 1 $ 개의 원소를 가지며, 이 두 상한은 모두 날카롭고 이전에 추측된 바와 같다.

ABSTRACT

We solve two open problems concerning syntactic complexity: We prove that the cardinality of the syntactic semigroup of a left ideal or a suffix-closed language with $n$ left quotients (that is, with state complexity $n$) is at most $n^{n-1}+n-1$, and that of a two-sided ideal or a factor-closed language is at most $n^{n-2}+(n-2)2^{n-2}+1$. Since these bounds are known to be reachable, this settles the problems.

연구 동기 및 목표

• 왼쪽 이데알의 문법 복잡도가 $ n^{n-1} + n - 1 $ 로 제한됨을 증명하는 열린 추측을 해결하는 것.
• 양방향 이데알의 문법 복잡도가 $ n^{n-2} + (n-2)2^{n-2} + 1 $ 로 제한됨을 증명하는 열린 추측을 해결하는 것.
• 이 상한이 달성 가능함을 보여 이를 통해 두 추측을 완전히 해결하는 것.
• 상태에 대한 전이 반군의 구조를 변환 성질과 상태 간 순서 관계를 통해 분석하는 것.

제안 방법

• n 개의 상태를 가진 최소 DFA를 구성하고, 그 전이 반군 $ T_n $ 을 분석하며, 이는 문법 반군과 동형임을 보임.
• 특히 상태 $ n-1 $ 이 싱크 또는 고정점 역할을 하는 것으로, 도달 가능성과 변환 행동에 기반한 부분 순서 $ riangleleft $ 를 상태에 정의함.
• 핵심 상태 $ p $ 와 $ n-1 $ 을 포함한 사이클 구조, 고정점, 이미지 관계를 바탕으로 변환을 상호 배타적인 케이스로 분류함.
• 이미지를 수정하여 $ n-1 $ 에 고정점을 만들고, 이를 통해 $ s $ 를 유도하는 단사 사상 $ f $ 를 변환 $ t $ 에서 $ s $ 로 정의함으로써, 각 케이스 간의 구별성을 확보함.
• 모든 변환이 사례 분석에 의해 커버됨을 모순에 의한 증명으로 보임. 조건을 만족하지 못할 경우 사이클 존재가 유도되며, 이는 가정과 모순됨.
• 전이 반군의 최대 크기가 오직 반군이 $ S_n $ 과 정확히 일치할 때에만 달성됨을 증명함. 이는 주어진 기수를 가지는 것으로 밝혀짐.

실험 결과

연구 질문

• RQ1 상태 복잡도 $ n $ 인 왼쪽 이데알에 대해 상한 $ n^{n-1} + n - 1 $ 이 날카로운가?
• RQ2 상태 복잡도 $ n $ 인 양방향 이데알에 대해 상한 $ n^{n-2} + (n-2)2^{n-2} + 1 $ 이 날카로운가?
• RQ3 전이 반군의 구조 분석을 통해 왼쪽 이데알과 양방향 이데알에 대한 추측된 상한의 문법 복잡도를 공식적으로 증명할 수 있는가?
• RQ4 이러한 이데알 클래스에 대한 최소 DFA 전이 반군의 어떤 구조적 성질이 최대 크기를 초래하는가?

주요 결과

• n 개의 몫을 가진 왼쪽 이데알의 문법 복잡도는 최대 $ n^{n-1} + n - 1 $ 이며, 이 상한은 날카롭다.
• n 개의 몫을 가진 양방향 이데알의 문법 복잡도는 최대 $ n^{n-2} + (n-2)2^{n-2} + 1 $ 이며, 이 상한은 날카롭다.
• 최소 DFA에 대한 전이 반군은 오직 반군이 $ S_n $ 과 일치할 때에만 최대 크기를 가지며, 이는 기수 $ n^{n-1} + n - 1 $ 을 가짐을 보여줌.
• 양방향 이데알의 경우, 최대 반군 크기 $ n^{n-2} + (n-2)2^{n-2} + 1 $ 는 오직 반군이 $ S_n $ 과 일치할 때에만 달성되며, 이는 단사 사상과 사례 분석을 통해 증명됨.
• 사이클 구조, 고정점, 이미지 매핑을 바탕으로 12개의 상호 배타적인 케이스로 변환을 세밀하게 분류함으로써 완전성과 구별성을 확보함.
• 이미지를 수정하여 $ n-1 $ 에 고정점을 만들고, 이를 통해 $ s $ 를 유도하는 변환 $ t $ 에 대한 단사 사상 $ f $ 는, 두 개 이상의 서로 다른 변환이 동일한 $ s $ 를 유도하지 않음을 보장함. 이는 반군 크기의 상한을 유도하는 데 핵심적이다.