[논문 리뷰] Alternating Towers and Piecewise Testable Separators

Štěpán Holub, Tomáš Masopust외 1명|arXiv (Cornell University)|2014. 09. 13.

semigroups and automata theory인용 수 1

한 줄 요약

이 논문은 조건부 탑을 이용한 정규언어의 조각별 테스트 가능한 분리자 계산의 복잡도를 조사하며, 분리 가능성에 핵심적인 영향을 미치는 최대 유한 탑의 높이가 상태 수에 대해 다항식적으로 증가하고 알파벳 크기에 대해 지수적으로 증가함을 보여준다. 저자들은 이중 알파벳에 대해 날카운 지수 하한선을 확립하고, 무한 접두사 탑의 존재성에 대해 NL-완전성을 증명하여 언어 분리 가능성의 핵심적인 복잡도 문제를 해결한다.

ABSTRACT

Two languages are separable by a piecewise testable language if and only if there exists no infinite tower between them. An infinite tower is an infinite sequence of strings alternating between the two languages such that every string is a subsequence (scattered substring) of all the strings that follow. For regular languages represented by nondeterministic finite automata, the existence of an infinite tower is decidable in polynomial time. In this paper, we investigate the complexity of a particular method to compute a piecewise testable separator. We show that it is closely related to the height of maximal finite towers, and provide the upper and lower bounds with respect to the size of the given nondeterministic automata. Specifically, we show that the upper bound is polynomial with respect to the number of states with the cardinality of the alphabet in the exponent. Concerning the lower bound, we show that towers of exponential height with respect to the cardinality of the alphabet exist. Since these towers mostly turn out to be sequences of prefixes, we also provide a comparison with towers of prefixes.

연구 동기 및 목표

• 비결정성 유한 오토마타로 표현된 두 정규언어 사이의 최대 유한 탑 높이에 대한 상한과 하한을 결정하기 위해.
• 탑 높이와 조각별 테스트 가능한 분리자를 구성하는 데 필요한 계산 복잡도 사이의 관계를 명확히 하기 위해.
• 서로소 정규언어 사이에 무한 탑의 존재 여부를 조사하고, 그 복잡도를 규명하기 위해.
• 이전의 교차 탑 결과를 확장하고, NFAs 및 DFAs에 대한 양태를 향상시키기 위해.
• 탑의 구조적 성질을 분석함으로써 효율적인 조각별 테스트 가능한 분리자 계산이라는 열린 문제를 해결하기 위해.

제안 방법

• 논문은 두 언어의 문자열에서 교차하는 순서로 이루어진 시퀀스인 교차 탑을 분석하며, 각 문자열이 이후의 모든 문자열의 산산이 흩어진 부분수열임을 보장한다.
• 제품 오토마타 A × B에서의 도달 가능성 분석을 통해 사이클과 패턴을 탐지함으로써 높거나 무한한 탑의 존재를 확인한다.
• 무한 탑 조건을 탐지하기 위해 여섯 개의 상태(σ, σ1, σ2, τ, τ1, τ2)로 구성된 새로운 패턴 기반 특성화를 도입한다.
• 무한 접두사 탑 존재 문제를 방향 그래프에서의 표준 도달 가능성 문제로 감소시키며, 구축 가능한 감소를 통해 NL-완전성을 증명한다.
• 강한 연결 성분의 구조적 분석과 사이클 탐지를 통해 탑 높이의 상한과 하한을 유도한다.
• 기존의 조각별 테스트 가능한 분리 가능성 결과를 활용하고, 무한 탑의 부재와 연결함으로써 알고리즘적 함의를 설정한다.

실험 결과

연구 질문

• RQ1 무한 탑이 존재하지 않는다는 가정 하에, 두 정규언어 사이의 최대 유한 교차 탑 높이는 얼마인가?
• RQ2 이러한 탑의 높이는 상태 수와 알파벳 크기에 대해 어떻게 변화하는가?
• RQ3 최소 결정성 유한 오토마타(DFA)에 대해서도 탑 높이에 대해 지수 하한선을 달성할 수 있는가?
• RQ4 두 서로소 정규언어 사이에 무한 접두사 탑이 존재하는지 여부를 판단하는 데 필요한 계산 복잡도는 무엇인가?
• RQ5 유한 탑의 구조와 조각별 테스트 가능한 분리자 계산의 효율성 사이에 연결 고리가 존재하는가?

주요 결과

• 최대 유한 탑의 상한은 상태 수에 대해 다항식적이지만 알파벳 크기에 대해 지수적이며, 특히 알파벳 크기를 지수로 포함하는 다항식으로 제한된다.
• 이중 정규언어에 대해 2^|Σ|의 순서의 날카운 지수 하한선이 확립되었으며, 선형 인자까지 고려할 때 이는 거의 최적임을 보여준다.
• 서로소 정규언어 사이에 무한 접두사 탑이 존재하는지 여부는 NL-완전하며, NFAs 및 최소 DFA 모두에 대해 해당된다.
• 지수적 탑 높이의 하한선 구축은 접두사 시퀀스를 통해 이루어지며, 이는 접두사 기반 탑이 복잡성의 주요 원천임을 시사한다.
• 논문은 탑 높이에 기반한 조각별 테스트 가능한 분리자 계산 알고리즘이, 알파벳 크기에 대해 최소한 지수적으로 많은 정규언어를 처리해야 한다고 확인한다.
• 결과적으로, 분리자 계산의 복잡도는 유한 탑의 높이에 본질적으로 연결되어 있으며, 이 높이는 작은 알파벳에도 불구하고 지수적으로 클 수 있음을 보여준다.