불리언 계층의 정규 언어 멤버십을 위한 효율적 알고리즘

초록

이 논문은 점-깊이와 스트라우빙‑테리엔 계층의 여러 불리언 계층에 대해, 기존에 결정 가능성만 알려졌던 클래스들의 멤버십 문제를 NL(비결정적 로그 공간) 안에서 해결할 수 있는 새로운 금지‑체인 특성을 제시하고, 그에 기반한 알고리즘을 설계한다. 또한, 해당 문제들의 NL‑hardness와 quasi‑aperiodic 언어들의 PSPACE‑complete 결과도 제공한다.

상세 분석

본 연구는 정규 언어 이론에서 중요한 위치를 차지하는 불리언 계층(Boolean Hierarchy, BH)의 특정 레벨에 대한 멤버십 결정 문제를 효율적으로 해결하는 방법을 제시한다. 기존 연구에서는 Σ₁(점‑깊이) 위의 BH 레벨에 대해 decidability만 알려졌으며, Σ₂(스트라우빙‑테리엔) 위의 BH는 전혀 알려지지 않았다. 저자들은 이러한 공백을 메우기 위해 “금지‑체인(forbidden‑chain)”이라는 새로운 구조적 특성을 도입한다.

금지‑체인은 단순히 특정 서브그래프가 존재하지 않는지를 검사하는 전통적 금지‑패턴과 달리, 단어 확장의 교대(alternating) 관계를 이용한다. 구체적으로, Σ₁, Σ₂, Σσ₁, Στ_d₁ 등 각 논리적 클래스 D에 대해 부분 순서 ≤_{d}^{k} 를 정의하고, D(n) 레벨에 속하는 언어는 이 순서에서 길이 n의 1‑alternating 체인을 포함하지 않는다는 명제를 증명한다. 이러한 특성은 DFA의 전이 그래프에서 “재활용 가능한 경로”를 탐색함으로써 로그 공간 내에서 검증 가능함을 보인다.

특히, Σσ₁(n)와 Στ_d₁(n) 에서는 기존에 알려진 금지‑패턴이 비효율적이었으나, 저자들은 “재활용 가능한 k‑임베딩”과 “모듈러 일치 조건”을 결합한 (k,d)-임베딩 개념을 도입해 금지‑체인을 효과적으로 탐색한다. 이 과정에서 DFA의 상태 수와 입력 길이에 대한 로그 스페이스 시뮬레이션을 사용해 NL 알고리즘을 설계한다.

알고리즘의 핵심 단계는 다음과 같다. (1) 입력 DFA를 전처리해 각 상태에 대한 최소·최대 위치 정보를 기록한다. (2) 비결정적 선택으로 체인 시작점을 가정하고, (k,d)-임베딩을 따라가며 교대 조건을 검증한다. (3) 체인의 길이가 목표 n에 도달하면 “금지‑체인 존재”를 확인하고, 반대로 체인이 존재하지 않으면 해당 언어가 D(n)에 속함을 판정한다.

복잡도 측면에서, 모든 단계는 상태와 위치 정보를 로그 크기의 변수에 저장하고, 임베딩 검증은 한 번에 한 단계씩 진행되므로 전체 알고리즘은 NL에 포함된다. 또한, 저자들은 NL‑hardness를 보이기 위해 기존 NL‑complete 문제(예: 그래프 경로 존재)를 해당 금지‑체인 존재 문제로 로그 공간에서 다항식적으로 변환함으로써, 제시된 멤버십 문제들이 NL‑complete임을 증명한다.

마지막으로, quasi‑aperiodic 및 d‑quasi‑aperiodic 언어에 대해서는 금지‑체인 대신 “모듈러 패턴”을 이용한 PSPACE‑hard 감소를 수행해, 이들 클래스의 멤버십 문제가 PSPACE‑complete임을 보여준다. 이는 기존에 알려진 star‑free 언어의 PSPACE‑completeness와 일관성을 유지하면서도, 모듈러 프레디케이트가 추가된 경우에도 복잡도가 크게 상승한다는 중요한 통찰을 제공한다.