완전 자동자를 이용한 ω‑자동자 보완 복잡도 하한 연구

** 본 논문은 ω‑자동자의 보완(complementation)과 결정화(determinization) 문제에서 발생하는 상태 복잡도(state complexity) 하한을 새롭게 접근한다. 전통적인 하한 증명은 특정 자동자 패밀리를 직접 설계하고, 그 패밀리를 보완할 때 필요한 최소 상태 수를 보여주는 방식이었다. 그러나 적절한 자동자 패밀리를 찾는 것이 매우 어려워, 기존 결과는 대체로 Ω((0.36 n)ⁿ) 정도에 머물렀으며, 상한과의 차이가 크게 남았다. 이를 해결하기 위해 저자는 “완전 자동자(full automaton)”라는 개념을 도입한다. 완전 자동자는 주어진 상태 집합 S와 초기 집합 I에 대해 알파벳 Σ를 S×S 관계의 멱집합으로 정의하고, 각 알파벳 a∈Σ가 포함하는 모든 (p,q) 쌍을 전이 관계에 반영한다. 따라서 Σ는 2^{|S|²} 개의 심볼을 포함하며, 전이 관계가 완전히 채워진다. 이 구조는 어떤 기존 자동자를 동일한 상태 수를 가진 완전 자동자로 임베딩할 수 있음을 보이며, 모든 자동자 변환 문제는 완전 자동자에 대한 변환 문제로 환원된다. 논문은 먼저 완전 자동자에 대한 하한을 증명한다. 예를 들어, 완전 NFW(유한 단어 자동자)의 경우, 모든 부분집합 T⊆S에 대해 서로 다른 “중간 상태” q̂_T 를 필요하게 만든다. 이를 위해 알파벳을 두 종류 u_T와 v_T 로 구성하고, u_T와 v_T 사이의 경로가 자동자에 의해 수용되지 않도록 설계한다. 보완 자동자가 이 경로를 차단하려면 각 T마다 별도의 상태가 필요하므로, 최소 2^{|S|} 개의 상태가 요구된다. 그 다음, 실제 관심 대상인 작은 알파벳(예: 2문자)으로 제한하기 위해 “알파벳 치환(alphabet substitution)” 기법을 적용한다. 큰 알파벳을 여러 작은 알파벳 시퀀스로 대체하면서 언어 인식 능력을 보존한다. 이 과정에서 상태 수는 변하지 않으며, 따라서 완전 자동자에 대한 하한이 그대로 작은 알파벳 자동자에도 적용된다. 이 기법을 Büchi 자동자(NBW) 보완에 적용하면, 기존에 알려진 Ω((0.36 n)ⁿ) 하한을 크게 개선하여 Ω((0.76 n)ⁿ) 를 얻는다. 구체적으로, 완전 Büchi 자동자를 구성하고, 각 상태 집합 T에 대해 서로 다른 “중간” 상태가 필요함을 보이며, 알파벳 치환을 통해 2문자 알파벳으로 축소한다. 이 하한은 Büchi뿐 아니라 일반화 Büchi(NGBW), Rabin(NRW), Streett(NSW), Muller(NMW), parity(NPW) 등 대부분의 ω‑자동자 변환에 동일하게 적용된다. 일반화 Büchi 자동자(및 Streett 자동자)의 경우, 상태 수 n과 인덱스 k(조건 수)를 모두 고려한다. 저자는 완전 일반화 Büchi 자동자를 설계해, 각 (i,j) 조합에 대해 서로 다른 구분 상태가 필요하도록 함으로써 최소 (nk)ⁿ 개의 상태가 필요함을 증명한다. 이는 기존 상한 O((nk)ⁿ) 와 정확히 일치하므로 최적임을 보여준다. 논문은 또한 이 기법이 Sakoda‑Sipser의 Δ‑graph 언어와 본질적으로 동일함을 언급한다. Sakoda‑Sipser는 2‑문자 자동자에 대한 하한을 제시했지만, 그 기법은 복잡하고 제한적이었다. 완전 자동자 접근은 이를 일반화하고, 알파벳 치환을 명시적으로 다루어 보다 직관적이고 확장 가능한 프레임워크를 제공한다. 핵심 정리로는 다음과 같다. 1. **완전 자동자 정의**: Σ = P(S×S), 전이 관계가 모든 가능한 (p,q) 쌍을 포함. 2. **하한 증명 전략**: (a) 완전 자동자에 대해 직접 하한을 구함. (b) 알파벳 치환을 통해 실제 작은 알파벳으로 변환, 상태 수 유지. 3. **주요 결과**: - Büchi 자동자 보완: Ω((0.76 n)ⁿ) (이전 Ω((0.36 n)ⁿ) → Ω((0.76 n)ⁿ) 개선). - 일반화 Büchi·Streett 자동자 보완: 최적 Ω((nk)ⁿ). - 위 결과는 Rabin, Muller, parity 등 다른 ω‑자동자에도 적용 가능. 4. **기술적 의의**: 기존 하한 증명의 핵심 난관인 “적절한 자동자 패밀리 찾기”를 완전 자동자라는 보편적 구조로 대체함으로써, 복잡한 구조를 설계할 필요 없이 강력한 하한을 손쉽게 도출한다. 마지막으로, 논문은 향후 연구 방향으로 (i) 완전 자동자를 이용한 다른 변환(예: 언어 포함 검사) 하한, (ii) 알파벳 치환 기법의 최적화, (iii) 완전 자동자와 교대 자동자(alternating automata) 사이의 관계 탐구 등을 제시한다. 전체적으로, 완전 자동자 기법은 ω‑자동자 이론에서 상태 복잡도 하한을 다루는 새로운 표준 도구가 될 가능성을 보여준다. **