[논문 리뷰] Cops and Robbers, Game Theory and Zermelo's Early Results

Athanasios Kehagias, Georgios Konstantinidis|arXiv (Cornell University)|2014. 07. 07.

Evolutionary Game Theory and Cooperation참고 문헌 8인용 수 5

한 줄 요약

이 논문은 게임 이론적 프레임워크 내에서 Cops and Robbers 게임을 체계적으로 다루며, 코프-윈 그래프에서 최적 전략의 존재성과 유계 포획 시간을 확립한다. 이 게임은 제르멜로의 초기 결정성 이론과 연결되며, Cops and Robbers 게임이 도달 가능성 게임으로 환원됨을 보여주며, 표준 게임 이론 결과를 통해 기억 없는 최적 전략을 도출할 수 있음을 보여준다.

ABSTRACT

We provide a game theoretic framework for the game of cops and robbers (CR). Within this framework we study certain assumptions which underlie the concepts of optimal strategies and capture time. We also point out a connection of these concepts to early work by Zermelo and D. Konig. Finally, we discuss the relationship between CR and related pursuit games to reachability games.

연구 동기 및 목표

• 기존 문헌에서 비형식적으로 다뤄진 전략과 최적성 개념을 보완하기 위해 Cops and Robbers 게임에 게임 이론적 기초를 제공하는 것.
• Cops and Robbers와 제르멜로 및 D. 콩니의 결정성과 무한 게임에 관한 초기 연구 사이에서 간과당한 연결 고리를 부각하는 것.
• Cops and Robbers 게임과 도달 가능성 게임 사이의 공식적 연결 고리를 구축하여, 최적 전략이 도달 가능성 게임 이론으로부터 유도될 수 있음을 보여주는 것.
• 코프-윈 그래프에서, 도둑의 행동에 관계없이 유계 포획 시간을 확보하는 기억 없는 전략이 존재함을 증명하는 것.

제안 방법

• 유한 및 무한 이동 시퀀스를 기반으로 한 게임 위치, 역사를 정의하여, Cops and Robbers 게임을 두 명의 플레이어가 참가하는 0합, 무한 시간 지속 게임으로 모델링한다.
• 플레이어 각각에 대해 합법적 전략과 기억 없는 전략을 정의하며, 기억 없는 전략은 이력이 아닌 현재 위치에만 의존한다.
• 포획 시간 T(s_C, s_R)를 지ay로 정의하고, 코프는 이를 최소화하고 도둑은 이를 최대화하고자 한다.
• 게임의 가치, 최적 전략, 최소최대 등식과 같은 게임 이론 개념을 적용하여, 유계 포획 시간 조건 하에서 최적 전략의 존재성을 증명한다.
• 이동 그래프 M_G와 그 확장 M̅_G를 구성함으로써 Cops and Robbers 게임을 도달 가능성 게임으로 환원한다. 이때 승리 조건은 포획을 의미한다.
• 도달 가능성 게임에 관한 정리 5.1을 적용하여, 양 플레이어에게 기억 없는 승리 전략이 존재함을 보이며, 유계 포획 시간이 시간 최적성과 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 Cops and Robbers 게임은 게임 이론적 의미에서 최적 전략을 갖는가? 이러한 전략의 존재성은 증명될 수 있는가?
• RQ2 Cops and Robbers의 포획 시간 개념은 제르멜로의 유한 및 무한 게임에 대한 결정성 이론 초기 결과와 어떻게 관련이 있는가?
• RQ3 Cops and Robbers 게임은 공식적으로 도달 가능성 게임으로 환원될 수 있는가? 전략 구성에 있어 이러한 환원의 의미는 무엇인가?
• RQ4 유계 포획 시간이 존재할 조건에서, 시간 최적의 기억 없는 전략이 존재함을 어떻게 증명할 수 있는가?

주요 결과

• 모든 코프-윈 그래프 G에 대해, 도둑의 전략과 무관하게 유계 포획 시간 상한 T̄_G가 존재하며, 이는 최적 전략의 존재를 보장한다.
• 최적 전략 s_C^* 및 s_R^*가 존재할 경우, 게임의 가치가 존재하며, 이는 포획 시간 T(s_C^*, s_R^*)와 같으며, 최소최대 등식을 만족한다.
• 코프-윈 그래프에서, 도달 가능성 게임 프레임워크에서 도출된 기억 없는 최적 전략 σ_C^* 및 σ_R^*가 양 플레이어에게 존재한다.
• G가 도둑-윈인 경우, 포획 시간은 무한대이며, 모든 코프 전략은 무한 시간을 소요하므로, 모든 기억 없는 코프 전략은 시간 최적이다.
• 이동 그래프 M̅_G를 통해 Cops and Robbers 게임은 도달 가능성 게임으로 환원될 수 있으며, 이때 코프의 목표 집합 F는 코프와 도둑이 동일한 위치에 있을 때의 위치로 구성된다.
• 코프 수 c(G)는 초기 상태 (∅, ∅, C)가 K-플레이어 도달 가능성 게임의 승리 영역 W_0에 속하는 최소 K 값이다.