[논문 리뷰] Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability

Thomas Brihaye, Véronique Bruyère외 2명|arXiv (Cornell University)|2015. 04. 07.

Game Theory and Applications참고 문헌 9인용 수 12

한 줄 요약

이 논문은 유량 목표를 가진 n인자 턴기반 유한 그래프 게임에서 나시 균형의 정교화로 약한 및 매우 약한 하위게임 완전 균형(SPEs)을 도입한다. 비가역적 연산자를 통한 팔드 정리(characterizing outcomes of weak SPEs)를 수립하고, 양적 도달 가능성 게임에서 SPE의 존재성과 유한 메모리 계산 가능성을 증명하며, 무한 단어 위에서의 MSO 논리에 의한 제약 조건을 만족하는 SPE 존재성의 결정 가능성을 보여준다.

ABSTRACT

We study $n$-player turn-based games played on a finite directed graph. For each play, the players have to pay a cost that they want to minimize. Instead of the well-known notion of Nash equilibrium (NE), we focus on the notion of subgame perfect equilibrium (SPE), a refinement of NE well-suited in the framework of games played on graphs. We also study natural variants of SPE, named weak (resp. very weak) SPE, where players who deviate cannot use the full class of strategies but only a subclass with a finite number of (resp. a unique) deviation step(s). Our results are threefold. Firstly, we characterize in the form of a Folk theorem the set of all plays that are the outcome of a weak SPE. Secondly, for the class of quantitative reachability games, we prove the existence of a finite-memory SPE and provide an algorithm for computing it (only existence was known with no information regarding the memory). Moreover, we show that the existence of a constrained SPE, i.e. an SPE such that each player pays a cost less than a given constant, can be decided. The proofs rely on our Folk theorem for weak SPEs (which coincide with SPEs in the case of quantitative reachability games) and on the decidability of MSO logic on infinite words. Finally with similar techniques, we provide a second general class of games for which the existence of a (constrained) weak SPE is decidable.

연구 동기 및 목표

• 그래프 위의 양적 다자 게임에서 하위게임 완전 균형(SPEs)에 대한 알고리즘적 이해의 부족을 해결하기 위해.
• 플레이어의 이탈 능력을 제한함으로써 표준 SPE를 정교화하는 약한 및 매우 약한 SPEs를 정의하고 분석하기 위해.
• 비가역적 연산자를 기반으로 한 팔드 정리에 기반하여 약한 SPEs가 달성할 수 있는 결과의 집합을 특성화하기 위해.
• 양적 도달 가능성 게임에서 SPE의 결정 가능성과 유한 메모리 실현 가능성을 수립하기 위해.
• 이를 다른 게임 유형으로 확장하여 제약 조건이 있는 약한 SPE 존재성이 결정 가능한지 분석하기 위해.

제안 방법

• 플레이어가 유한 이탈 또는 단일 단계 이탈에 국한되도록 하여 약한 및 매우 약한 SPEs를 정의함으로써 표준 SPE를 정교화한다.
• 약한 SPE 결과와 호환되지 않는 연속을 제거하는 연산자를 플레이의 집합에 적용하여 비가역적 연산자를 구성하고, 이는 약한 SPE 결과의 정확한 집합으로 수렴한다.
• 무한 단어 위의 MSO 논리로, 주어진 비용 제약 조건이 약한 SPE 결과 집합 내에서 실현 가능한지 여부를 결정한다.
• 약한 SPE 조건을 만족하는 최적의 상태당 비용을 가진 라소형 플레이를 선택하여 유한 메모리 SPE를 구성한다.
• 히스토리에 대한 귀납적 레이블링을 통해 약한 SPE 결과를 실현하는 유한 메모리 전략 프로파일을 구축한다.
• 양적 도달 가능성 게임에서 약한 SPEs와 표준 SPEs의 동치성을 활용하여 결과를 표준 SPEs로 이행한다.

실험 결과

연구 질문

• RQ1 양적 다자 게임에서 그래프 위의 약한 하위게임 완전 균형으로 인해 발생할 수 있는 모든 플레이의 집합은 무엇인가?
• RQ2 양적 도달 가능성 게임에서 각 플레이어의 비용이 주어진 상한 이하로 제한되는 하위게임 완전 균형의 존재성을 결정할 수 있는가?
• RQ3 양적 도달 가능성 게임에서 유한 메모리 하위게임 완전 균형을 계산할 수 있는가?
• RQ4 어떤 게임 유형에서 (제약 조건이 있는) 약한 SPE 존재성이 결정 가능한가?
• RQ5 약한 SPEs는 표준 SPEs와 어떻게 관련되어 있으며, 어떤 설정에서 동치인가?

주요 결과

• 약한 SPEs의 결과 집합은 모든 플레이의 집합에 비가역적 연산자를 적용한 극한으로 정확히 특성화된다.
• 양적 도달 가능성 게임에서는 항상 유한 메모리 SPE가 존재하며 알고리즘적으로 계산 가능하다.
• 각 플레이어의 비용이 주어진 상수 이하로 제한되는 제약 조건을 만족하는 유한 메모리 SPE의 존재성은 무한 단어 위의 MSO 논리로 결정 가능하다.
• 양적 도달 가능성 게임에서는 약한 SPEs와 표준 SPEs가 일치하므로, 약한 SPEs에 대한 결과는 직접적으로 표준 SPEs에 적용된다.
• 도달 가능성 외의 두 번째 일반적인 게임 유형에 대해서도 유사한 논리적 및 구조적 기법을 통해 (제약 조건이 있는) 약한 SPE 존재성이 결정 가능하다.
• 유한 메모리 SPE의 구성은 최적의 상태당 비용을 가진 라소형 플레이를 선택하고, 이를 바탕으로 히스토리에 대해 귀납적 레이블링을 통해 메모리 없는 전략을 정의하는 데 기반한다.