[논문 리뷰] On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games

Antonio Casares, Thomas Colcombet외 1명|arXiv (Cornell University)|2022. 01. 01.

semigroups and automata theory인용 수 3

한 줄 요약

이 논문은 멈춤 언어를 인식하는 최소 크기의 양호한-게임(GFG) 라이빈 옹호기와 그 언어를 승리 조건으로 삼는 멈춤 게임에서 승리하기 위해 필요한 최소 메모리 간의 밀접한 대응 관계를 확립한다. 이 논문은 이러한 최소 GFG 라이빈 옹호기가 결정론적 옹호기보다 지수적으로 더 압축되어 있음을 증명하며, 이는 멈춤 게임에서 색상 기반 메모리가 제약 없는 메모리보다 지수적으로 클 수 있음을 드러내고, 지엘론카 트리 구조를 통한 다항식 시간 구축 방법을 제공한다.

ABSTRACT

In this paper, we look at good-for-games Rabin automata that recognise a Muller language (a language that is entirely characterised by the set of letters that appear infinitely often in each word). We establish that minimal such automata are exactly of the same size as the minimal memory required for winning Muller games that have this language as their winning condition. We show how to effectively construct such minimal automata. Finally, we establish that these automata can be exponentially more succinct than equivalent deterministic ones, thus proving as a consequence that chromatic memory for winning a Muller game can be exponentially larger than unconstrained memory.

연구 동기 및 목표

• 주어진 승리 조건을 가진 멈춤 게임에서 승리하기 위해 필요한 최소 크기의 최소 양호한-게임(GFG) 라이빈 옹호기와 최소 메모리 요구량 간의 구조적이고 정량적인 연결 고리를 확립하는 것.
• 멈춤 언어에 대해 지엘론카 트리를 사용하여 최소 GFG 라이빈 옹호기를 일반적으로 구축하는 방법을 제공하는 것.
• 멈춤 게임에서 색상 기반 메모리의 크기가 제약 없는 메모리보다 지수적으로 클 수 있으며, 게임 복잡도 분야의 핵심 질문을 해결하는 것.

제안 방법

• 멈춤 조건의 구조적 표현으로서 지엘론카 트리를 활용하여 메모리 요구량을 특성화하고 옹호기 구축을 이끌어내는 데 사용한다.
• 알파벳의 부분집합을 기반으로 하는 그래프 GFn을 정의하며, 정점은 색상 집합을 나타내고 간선은 라이빈 조건 하에서의 불일치를 나타낸다.
• 극한 그래프 이론, 특히 투란 유형의 경계와 에르되시–코–라도 정리의 변형(정리 29)을 적용하여 GFn의 색수를 경계한다.
• 스티링어 근사법을 사용하여 GFn의 색수에 대한 渐近 하한을 유도하며, 이는 최소 크기의 GFG 라이빈 옹호기와 대응된다.
• GFn의 색칠에 기반하여 최소 크기의 GFG 라이빈 옹호기를 구성하며, 이는 목표 멈춤 언어를 인식하도록 보장한다.
• 모든 L-게임에서 승리하기 위해 필요한 최소 메모리 크기가 L에 대한 GFG 라이빈 옹호기의 최소 상태 수와 정확히 일치함을 증명하며, 게임 메모리와 옹호기 크기 간의 이원성(대칭성)을 확립한다.

실험 결과

연구 질문

• RQ1 주어진 승리 조건을 가진 멈춤 게임에서 승리하기 위해 필요한 최소 크기의 최소 양호한-게임(GFG) 라이빈 옹호기와 최소 메모리 요구량 간의 정확한 관계는 무엇인가?
• RQ2 멈춤 언어에 대한 최소 GFG 라이빈 옹호기를 효율적으로 구축할 수 있으며, 이 구축 과정은 언어의 지엘론카 트리와 관련이 있는가?
• RQ3 멈춤 게임에서 색상 기반 메모리의 크기는 제약 없는 메모리보다 얼마나 다를 수 있으며, 이 격차는 지수적으로 클 수 있는가?
• RQ4 멈춤 언어에 대한 최소 GFG 라이빈 옹호기를 일반적으로 구축할 수 있는 방법이 있으며, 이는 지엘론카 트리와 같은 구조적 성질에 의존하는가?
• RQ5 특정 멈춤 언어에 대해 최소 크기의 GFG 라이빈 옹호기의 크기에 대한 渐近 하한은 무엇이며, 이것이 지수적으로 증가함을 보일 수 있는가?

주요 결과

• 멈춤 언어 L에 대해 최소 크기의 양호한-게임(GFG) 라이빈 옹호기의 크기는 정확히 모든 L-게임에서 승리하기 위해 필요한 최소 메모리 크기와 일치한다.
• 언어 L이 지엘론카 트리로 주어지면, L에 대한 최소 GFG 라이빈 옹호기를 다항식 시간 내에 구축할 수 있다.
• L-게임에서 승리하기 위해 필요한 색상 기반 메모리는 제약 없는 메모리보다 지수적으로 클 수 있으며, 후자의 크기가 알파벳 크기 선형으로 유지되는 동안에도 마찬가지다.
• 라이빈 조건을 인코딩하는 그래프 GFn의 색수는 최소 크기의 GFG 라이빈 옹호기의 크기에 대한 날카운 경계를 제공하며, 크기가 Ω(1.116^n)으로 증가한다.
• 무한히 많은 n에 대해 GFn의 색수는 어떤 α > 1에 대해 최소 α^n 이상이므로, 최소 GFG 라이빈 옹호기가 결정론적 옹호기보다 지수적으로 더 압축될 수 있음을 증명한다.
• GFn의 색칠을 통한 최소 GFG 라이빈 옹호기의 구축은 최적이며, 직접적으로 멈춤 게임의 최소 메모리 크기를 도출한다.