부치 게임을 위한 새로운 알고리즘

초록

본 논문은 부치(Büchi) 게임을 해결하기 위한 두 가지 개선 알고리즘을 제시한다. 첫 번째 알고리즘은 기존 고전 알고리즘보다 최대 O(m)만큼 추가 작업을 수행하지만, 상수 차수 그래프에서 최악의 O(n²) 시간 대신 O(n) 시간에 해결할 수 있다. 두 번째 알고리즘은 그래프의 최대 차수 δ(n)에 따라 O(n·m·log δ(n)/log n) 의 실행 시간을 보이며, 특히 δ(n)=O(log n)인 경우 고전 알고리즘보다 우수한 성능을 보인다.

상세 분석

논문은 먼저 부치 게임의 전통적인 O(n·m) 알고리즘을 재검토하고, 그 알고리즘이 매 반복마다 전체 그래프에 대해 역방향 탐색을 수행함으로써 불필요한 중복 작업이 발생한다는 점을 지적한다. 이를 개선하기 위해 제안된 첫 번째 알고리즘은 “대체 알고리즘”이라 명명되며, 각 반복 단계에서 플레이어 1이 닫힌 집합을 찾는 방식을 바꾼다. 구체적으로, 현재 부치 집합 Bᵢ의 역방향 도달 집합 Rᵢ를 구한 뒤, Rᵢ를 제외한 나머지 상태 집합 Tᵣᵢ를 폐쇄 집합으로 식별하고, 이 집합에 대한 플레이어 2의 어트랙터를 계산한다. 핵심은 Tᵣᵢ를 찾는 과정에서 전체 그래프가 아니라 후보 집합 Cᵢ=Sᵢ\Bᵢ에 제한된 전방 탐색을 수행함으로써 O(m) 수준의 추가 작업만 발생하도록 설계했다. 이 설계는 차수가 2인 무한히 많은 그래프에 대해 전체 실행 시간을 O(n)으로 감소시킨다.

두 번째 알고리즘은 차수 제한 δ(n)을 명시적으로 활용한다. 기존