보편 트리를 이용한 교대 약한 자동자 변환

초록

이 논문은 교대 파리티 자동자를 교대 약한 자동자로 변환하는 새로운 방법을 제시한다. 변환 과정에서 발생하는 상태 수의 폭증은 최소 보편 순서 트리의 크기에 비례하며, 이는 우선순위 수가 로그 수준일 때 다항식, 일반적인 경우에는 준다항식(쿼시-다항식) 규모가 된다. 기존의 쿠퍼만‑바디(Kupferman‑Vardi)와 보커‑레흐티넨(Boker‑Lehtinen) 변환보다 크게 개선된 결과이며, 변환 효율을 더 향상시키면 현재 최첨단 파리티 게임 해결 알고리즘을 능가하는 돌파구가 될 수 있다.

상세 분석

본 논문은 교대 파리티 자동자(APA) → 교대 약한 자동자(AWA) 변환에서 발생하는 상태 폭증을 최소 보편 트리(universal ordered tree)의 크기로 정확히 제한한다는 점에서 혁신적이다. 기존 연구에서는 쿠퍼만‑바디가 제시한 변환이 n·d+O(1) (n은 상태 수, d는 우선순위 수) 정도의 지수적 폭증을 보였으며, 보커‑레흐티넨은 레지스터 기법을 이용해 n·Θ(log n·log(d/ log n)) 정도의 준다항식 폭증을 달성했다. 이 논문은 보편 트리 구조를 활용해, (n, d/2)-보편 트리의 최소 크기와 동등한 폭증을 얻는다. 구체적으로, 파리티 자동자의 우선순위 집합을 절반으로 나눈 뒤, 해당 트리의 노드 수가 O(n·log(d/ log n)) (d = ω(log n)) 혹은 다항식 (d = O(log n)) 수준이 되도록 설계한다.

핵심 기술은 두 단계로 이루어진다. 첫째, 교대 파리티 자동자의 실행을 계층적 분해(hierarchical decomposition)하여, 각 우선순위 레벨마다 ‘lazy progress measure’를 정의한다. 이 측정값은 기존의 코-부치(progress measure)와 달리 무한하지만 유한한 횟수의 odd 우선순위 반복을 허용하며, 부치 자동자로 인식 가능하도록 만든다. 둘째, 이러한 lazy measure를 보편 트리의 경로에 매핑함으로써, 각 경로가 부치 조건을 만족하도록 보장한다. 결과적으로 파리티 자동자를 부치 자동자로 변환하고, 기존의 쿠퍼만‑바디가 제시한 부치 → 약한 변환(2차 다항식)을 그대로 적용하면 전체 변환의 복합 폭증은 O(log(d/ log n)) 수준으로 감소한다.

논문은 또한 변환의 구성적 증명을 제공한다. 보편 트리의 존재와 크기에 대한 기존 결과(예: Jurdziński‑Lazić, Calude‑Jain‑et al.)를 직접 인용하고, 이를 자동자 변환에 적용함으로써 ‘상태 수 폭증 = 보편 트리 크기’라는 직관적 관계를 수학적으로 입증한다. 이 과정에서 기존의 파리티‑약한 하이브리드 자동자 개념을 배제하고, 순수히 파리티 → 부치 → 약한 순서만을 사용함으로써 구현 복잡성을 크게 낮춘다.

마지막으로, 논문은 현재 알려진 최적 하한인 Ω(n·log n)과 비교했을 때, 제시된 상한이 거의 일치함을 강조한다. 즉, 더 나은 변환이 존재한다면 파리티 게임의 복잡도 자체를 현재 최선의 퀘시-다항식 알고리즘보다 개선해야 함을 의미한다. 이는 파리티 게임 연구와 자동자 이론 사이의 깊은 연결고리를 다시 한 번 확인시킨다.