[논문 리뷰] Cost-Parity and Cost-Streett Games

Nathanaël Fijalkow, Martín Zimmermann|arXiv (Cornell University)|2012. 07. 03.

Logic, programming, and type systems인용 수 4

한 줄 요약

이 논문은 간선 비용이 있는 유한 그래프 위에서 진행되는 두 플레이어 간의 무한 게임인 cost-parity 게임과 cost-Streett 게임을 도입한다. 이 게임의 승리 조건은 요청과 응답 사이의 비용에 대한 제약을 부과한다. cost-parity 게임은 위치 전략을 갖는다는 것이 증명되며, NP ∩ coNP에 속한다. 반면 cost-Streett 게임은 유한 상태 전략이 필요하며 EXPTIME-완전하다. 이를 통해 고전적 및 유한한 변형이 하나의 감소를 통해 고전적 게임 사례로 통합된다.

ABSTRACT

We consider two-player games played on finite graphs equipped with costs on edges and introduce two winning conditions, cost-parity and cost-Streett, which require bounds on the cost between requests and their responses. Both conditions generalize the corresponding classical ω-regular conditions as well as the corresponding finitary conditions. For cost-parity games we show that the first player has positional winning strategies and that determining the winner lies in NP ∩ coNP. For cost-Streett games we show that the first player has finite-state winning strategies and that determining the winner is EXPTIME-complete. This unifies the complexity results for the classical and finitary variants of these games. Both types of cost games can be solved by solving linearly many instances of their classical variants.

연구 동기 및 목표

• 요청과 응답 사이의 비용 제약을 추가하여 고전적 ω-정규 게임을 확장하는 것.
• 고전적 및 유한한 변형을 모두 일반화하는 두 가지 새로운 승리 조건인 cost-parity 및 cost-Streett를 정의하고 분석하는 것.
• 이 게임에서 승자를 결정하는 데 필요한 계산 복잡도를 규명하는 것.
• cost-parity 및 cost-Streett 게임에서 승리 전략의 존재성과 구조를 특성화하는 것.

제안 방법

• 요청과 응답 이벤트 사이의 거리에 비용 제약을 부과한 parity 조건을 결합하여 cost-parity 게임을 정의한다.
• 요청-응답 쌍 간의 응답 지연에 비용 한도를 추가하여 Streett 조건을 확장함으로써 cost-Streett 게임을 정의한다.
• 비용 제약이 있는 플레이의 구조적 성질을 이용하여 cost-parity 게임에서 선공 플레이어의 승리 전략이 위치 전략임을 증명한다.
• 비용 제약이 있는 메모리 메커니즘에 기반한 구성 방법을 통해 cost-Streett 게임이 유한 상태 승리 전략을 갖는다는 것을 보여준다.
• cost 게임을 고전적 사례로 감소시켜 복잡도 결과를 확립한다: 하나의 cost 게임을 해결하기 위해 선형적으로 많은 수의 고전적 게임을 해결한다.
• 고전적 게임으로의 감소를 통해 고전적, 유한한, 비용 기반 변형 간의 복잡도 결과를 통합한다.

실험 결과

연구 질문

• RQ1 비용 제약이 있는 응답 비용을 갖는 cost-parity 게임에서 승자를 결정하는 데 필요한 계산 복잡도는 무엇인가?
• RQ2 cost-parity 게임에서 승리하기 위해 위치 전략이 충분한가? 그리고 이는 고전적 parity 게임과 어떻게 관련이 있는가?
• RQ3 cost-Streett 게임을 해결하는 데 필요한 복잡도는 무엇이며, 승리 전략을 위해 어떤 종류의 메모리가 필요한가?
• RQ4 cost-parity 및 cost-Streett 게임은 고전적 및 유한한 ω-정규 게임의 복잡도 결과를 어떻게 통합하는가?
• RQ5 cost 게임은 그 고전적 대응물의 여러 인스턴스로 감소시켜 해결할 수 있는가?

주요 결과

• cost-parity 게임은 위치 승리 전략을 갖는다. 즉, 선공 플레이어는 현재 상태에만 의존하는 전략으로 승리할 수 있다.
• cost-parity 게임에서 승자를 결정하는 것은 NP ∩ coNP에 속한다. 이는 다항시간 계층이 붕괴하지 않는 한 NP-완전이 아님을 시사한다.
• cost-Streett 게임은 유한 상태 승리 전략이 필요하다. 이는 메모리가 필요하지만 복잡도가 유한하게 제한됨을 보여준다.
• cost-Streett 게임의 승자는 EXPTIME 내에 결정될 수 있으며, 이 한계는 날카로운 것으로, 높은 계산 복잡도를 나타낸다.
• 비용 게임은 모두 고전적 대응물의 선형 수의 인스턴스를 해결하는 방식으로 해결 가능하며, 이는 통합적인 알고리즘적 접근을 제공한다.
• 결과적으로 고전적, 유한한, 비용 제약이 있는 parity 및 Streett 게임의 복잡도 풍경이 통합된다.