[논문 리뷰] Decomposing Permutation Automata

Ismaël Jecker, Nicolas Mazzocchi외 1명|arXiv (Cornell University)|2021. 01. 01.

semigroups and automata theory인용 수 3

한 줄 요약

이 논문은 순열 DFA가 복합인지 여부를 결정하는 NP 알고리즘을 제시하며, 기각 상태 수에 따라 매개변수화된 고정-파rameter 트랙태블리티(FPT) 알고리즘을 도입한다. 교환 순열 DFA의 경우 문제는 NL(고정된 알파벳 크기에서는 LOGSPACE)에 속함을 보이며, k-요소 분해로 제한하면 NP-완전이 되어 이 클래스 내에서 날카로운 복잡도 임계점이 드러난다. 결과적으로 날카로운 복잡도 경계를 확립하고, 낮은 계산 복잡도에도 불구하고 비트리비얼한 구조적 행동을 드러낸다.

ABSTRACT

A deterministic finite automaton (DFA) 𝒜 is composite if its language L(𝒜) can be decomposed into an intersection ⋂_{i = 1}^k L(𝒜_i) of languages of smaller DFAs. Otherwise, 𝒜 is prime. This notion of primality was introduced by Kupferman and Mosheiff in 2013, and while they proved that we can decide whether a DFA is composite, the precise complexity of this problem is still open, with a doubly-exponential gap between the upper and lower bounds. In this work, we focus on permutation DFAs, i.e., those for which the transition monoid is a group. We provide an NP algorithm to decide whether a permutation DFA is composite, and show that the difficulty of this problem comes from the number of non-accepting states of the instance: we give a fixed-parameter tractable algorithm with the number of rejecting states as the parameter. Moreover, we investigate the class of commutative permutation DFAs. Their structural properties allow us to decide compositionality in NL, and even in LOGSPACE if the alphabet size is fixed. Despite this low complexity, we show that complex behaviors still arise in this class: we provide a family of composite DFAs each requiring polynomially many factors with respect to its size. We also consider the variant of the problem that asks whether a DFA is k-factor composite, that is, decomposable into k smaller DFAs, for some given integer k ∈ ℕ. We show that, for commutative permutation DFAs, restricting the number of factors makes the decision computationally harder, and yields a problem with tight bounds: it is NP-complete. Finally, we show that in general, this problem is in PSPACE, and it is in LOGSPACE for DFAs with a singleton alphabet.

연구 동기 및 목표

• 순열 DFA가 복합인지 여부를 결정하는 데 필요한 계산 복잡도를 규명하는 것.
• 분해에서 요소 수를 제한할 경우의 영향을 조사하는 것(즉, k-요소 복합 문제).
• 교환 순열 DFA의 구조적 성질과 그 조합성에 대한 영향을 탐구하는 것.
• DFAs의 제한된 부분집합에서 매개변수화된 트랙태블리티와 복잡도 임계점 식별하는 것.
• 긴밀한 복잡도 경계를 제공하고, 낮은 복잡도 클래스에서 비트리비얼한 행동을 드러내는 것.

제안 방법

• 공격 집합 문제(HIT)에서의 감소를 통해, 복합성이 공격 집합의 존재와 대응되는 순열 DFA를 구성하는 것.
• 순열 오토마타의 군 이론적 성질을 활용하여 간결한 단어와 전이 모노이드 작용을 통해 상태 커버리지 특성화하는 것.
• 특정 기각 상태가 구성된 오토마타에서 어떤 단어로 커버되는지 분석하기 위해 베주 항등식을 적용하는 것.
• 교환성과 군 구조를 활용하여 문제의 복잡도가 NL에 속하고, 고정된 알파벳 크기에서는 LOGSPACE에 속함을 보이는 것.
• 제한된 집합 크기의 HIT에서 감소를 통해 교환 순열 DFA에서의 k-요소 분해에 대해 NP-완전성을 증명하는 것.
• 간결한 단어 커버리지와 상태 전이 역학을 활용하여 기각 상태가 단어에 의해 커버되는 조건을 특성화하고, HIT로의 감소를 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 순열 DFA의 복합성 문제는 NP에서 결정 가능할 수 있으며, 기각 상태 수에 따라 매개변수화된 복잡도는 어떻게 되는가?
• RQ2 교환 순열 DFA의 k-요소 복합 문제의 정확한 복잡도는 무엇이며, 일반 사례와 어떻게 다를까?
• RQ3 교환 순열 DFA의 구조적 성질을 활용하여 NL 또는 LOGSPACE와 같은 낮은 복잡도 클래스를 달성할 수 있는가?
• RQ4 교환 순열 클래스의 복합 DFA 가족은 크기에 비해 다항 수의 요소를 필요로 하는가? 이는 분해의 효율성에 어떤 영향을 미치는가?
• RQ5 요소 수를 제한할 경우 분해 문제의 복잡도 경계는 어떻게 변화하며, 복잡도가 급격히 증가하는 원인은 무엇인가?

주요 결과

• 순열 DFA의 복합성 문제는 NP에 속하며, 기각 상태 수에 따라 매개변수화된 고정-파ram터 트랙태블리티(FPT) 알고리즘을 갖는다.
• 교환 순열 DFA의 경우 복합성 문제는 NL에 속하며, 알파벳 크기가 고정되어 있을 경우 LOGSPACE에 속한다.
• 교환 순열 DFA의 k-요소 복합 문제는 NP-완전이며, 요소 수가 제한될 경우 날카로운 복잡도 임계점이 있음을 시사한다.
• 크기에 비해 다항 수의 요소가 필요한 복합 교환 순열 DFA의 가족이 존재하여, 비트리비얼한 분해 복잡도를 보여준다.
• 공격 집합 문제에서의 감소를 통해 날카로운 복잡도 경계를 확립한다: 요소 수가 제한될 경우 교환 순열 DFA의 복합성은 NP-완전이다.
• 낮은 복잡도 클래스(NL, LOGSPACE)에도 불구하고 교환 순열 DFA 클래스는 분해에 다항 수의 요소가 필요할 수 있는 복잡한 행동을 보인다.