[논문 리뷰] On Subgame Perfection in Quantitative Reachability Games

Thomas Brihaye, Véronique Bruyère외 2명|arXiv (Cornell University)|2012. 05. 29.

Game Theory and Applications인용 수 12

한 줄 요약

이 논문은 다중 플레이어 양적 도달 게임에서 하위게임 완전 균형의 존재를 확립하고, 두 플레이어 게임에서 하위게임 완전 안정 균형의 존재를 증명하는 새로운 개념인 하위게임 완전 안정 균형을 도입한다. 또한 다중 플레이어 케이스에서 안정 균형의 존재를 결정할 수 있는 알고리즘을 제시하여 이 분야에서 오랫동안 남아있던 열린 문제를 해결한다.

ABSTRACT

We study turn-based quantitative multiplayer non zero-sum games played on finite graphs with reachability objectives. In such games, each player aims at reaching his own goal set of states as soon as possible. A previous work on this model showed that Nash equilibria (resp. secure equilibria) are guaranteed to exist in the multiplayer (resp. two-player) case. The existence of secure equilibria in the multiplayer case remained and is still an open problem. In this paper, we focus our study on the concept of subgame perfect equilibrium, a refinement of Nash equilibrium well-suited in the framework of games played on graphs. We also introduce the new concept of subgame perfect secure equilibrium. We prove the existence of subgame perfect equilibria (resp. subgame perfect secure equilibria) in multiplayer (resp. two-player) quantitative reachability games. Moreover, we provide an algorithm deciding the existence of secure equilibria in the multiplayer case.

연구 동기 및 목표

• 다중 플레이어 양적 도달 게임에서 하위게임 완전 균형의 존재를 조사하는 것.
• 두 플레이어 양적 도달 게임에서 하위게임 완전 안정 균형의 개념을 도입하고 그 존재를 증명하는 것.
• 다중 플레이어 케이스에서 안정 균형의 존재 여부를 결정할 수 있는 알고리즘적 방법을 제공함으로써, 오랫동안 남아있던 열린 문제를 해결하는 것.

제안 방법

• 저자는 도달 목표를 가진 유한 그래프 위에서의 게임을 분석하며, 플레이어들은 각자의 도달 시간을 최소화하고자 한다.
• 그들은 나시 균형의 정교화로 하위게임 완전 균형 개념을 적용하여, 모든 하위게임에서 합리적인 플레이가 이루어지도록 보장한다.
• 그들은 하위게임 완전성과 보안 조건을 결합한 더 강력한 정교화인 하위게임 완전 안정 균형을 정의한다.
• 증명는 게임 그래프의 구조적 분석과 균형 조건을 만족하는 전략의 재귀적 구성에 기반한다.
• 게임 이론적 역행 추론과 도달 가능성 분석에 기반한 알고리즘이 다중 플레이어 게임에서 안정 균형의 존재 여부를 결정하는 데 사용된다.
• 알고리즘은 하위게임 간 전략 프로파일의 일관성과 균형 안정성 여부를 반복적으로 검증함으로써 작동한다.

실험 결과

연구 질문

• RQ1 다중 플레이어 양적 도달 게임에서 하위게임 완전 균형이 존재하는가?
• RQ2 두 플레이어 게임에서 안정 균형 개념을 하위게임 완전성으로 강화할 수 있는가?
• RQ3 다중 플레이어 케이스에서 안정 균형의 존재 여부를 결정할 수 있는 알고리즘적 방법이 존재하는가?
• RQ4 이 게임 모델에서 하위게임 완전 균형은 나시 균형과 안정 균형과 어떻게 관련이 있는가?

주요 결과

• 모든 다중 플레이어 양적 도달 게임에서 하위게임 완전 균형이 존재한다.
• 모든 두 플레이어 양적 도달 게임에서 하위게임 완전 안정 균형이 존재한다.
• 다중 플레이어 케이스에서 안정 균형의 존재는 제안된 알고리즘을 통해 결정 가능하다.
• 제안된 알고리즘은 주어진 다중 플레이어 양적 도달 게임에서 안정 균형이 존재하는지 정확히 판단할 수 있다.