비결정성으로 보완을 이길 수 있을까

초록

이 논문은 널리 사용되는 ω‑자동자(부시, 스트리트, 라빈, 파리티 등)의 결정화와 보완 작업이 2^{Θ(·)} 수준에서 동일한 상태 복잡도를 가진다는 사실을 증명한다. 특히 스트리트 자동자에 대해 새로운 트리 구조와 블록 기반 네이밍 기법을 도입해 기존 상한을 크게 낮추어, 하한과 일치하는 2^{O(n log n + n k log k)}(k=O(n)) 및 2^{O(n² log n)}(k=ω(n)) 복잡도를 얻는다. 이를 통해 모든 일반적인 ω‑자동자 유형에 대해 결정화와 보완이 같은 난이도임을 보인다.

상세 분석

논문은 먼저 NFA와 부시 자동자에서 이미 알려진 바와 같이 결정화와 보완이 각각 Θ(2ⁿ)·2^{Θ(n log n)}의 상태 복잡도를 갖는 점을 상기한다. 이후 “결정화가 보완보다 훨씬 어려울 수 있는 ω‑자동자 유형이 존재할까?”라는 질문을 제기하고, 스트리트 자동자를 중심으로 연구를 전개한다. 기존의 Safra 트리 기반 결정화는 상태 수가 2^{O(n k log nk)}까지 폭발하는데, 이는 특히 인덱스 크기 k가 n에 비해 크거나 작을 때 모두 비효율적이었다. 저자들은 두 가지 핵심 아이디어로 이를 개선한다. 첫째, 스트리트 자동자의 인덱스 집합 사이에 존재하는 높은 상관관계를 포착하기 위해 ‘Increasing Tree of Sets (ITS)’와 ‘Tree of Ordered Partitions (TOP)’라는 두 트리 구조를 도입한다. ITS는 인덱스 집합들의 포함 관계를 계층적으로 정리함으로써, 불필요하게 중복되는 Safra 트리 노드를 제거하고 전체 트리의 깊이를 크게 줄인다. 둘째, 기존 Safra 트리에서 사용되던 ‘소매점식’ 네이밍 방식을 ‘도매식’ 블록 네이밍으로 교체한다. 이름 공간을 짝수 블록으로 나누어 각 브랜치가 생성될 때 전체 블록을 할당하고, 브랜치가 사라지면 블록 전체를 회수함으로써 이름 충돌과 재사용 비용을 최소화한다. 이 두 기법을 결합하면, 인덱스 크기 k가 O(n)인 경우에도 상태 수가 2^{O(n log n + n k log k)}로 제한되고, k가 ω(n)일 때는 2^{O(n² log n)}에 수렴한다. 특히 k=n−1인 최악의 경우에도 기존 2^{12 n·(0.37 n)^{n²}+8 n}보다 현저히 작은 상수를 얻는다.

또한 저자들은 동일한 분석 틀을 적용해 일반화 부시, 파리티, 라빈 자동자에 대해서도 결정화와 보완의 복잡도가 2^{Θ(·)} 수준에서 일치함을 증명한다. 이는 기존에 알려진 하한(보완에 대한)과 상한(결정화에 대한) 사이의 격차를 모두 메우는 결과이며, “결정화와 보완은 언제나 손잡고 움직인다”는 일반적인 현상을 강하게 뒷받침한다. 논문 마지막에서는 이러한 결과가 ω‑트리 자동자와 게임 이론 기반 합성·검증 문제에 미치는 파급 효과를 논의하고, 향후 더 정밀한 상수 계수 분석이나 다른 수용조건(예: Muller)의 확장 가능성을 제시한다.