[논문 리뷰] Robust Equilibria in Concurrent Games

Romain Brenguier|arXiv (Cornell University)|2013. 11. 29.

Game Theory and Applications참고 문헌 18인용 수 4

한 줄 요약

이 논문은 평균수익 목표를 가진 다수의 플레이어가 동시에 플레이하는 게임에서, 소규모 협동군의 이탈에 저항하고 해로운 이탈에 면역이 되는 전략 프로파일을 고려하는 강건한 균형을 소개한다. 두 가지 알고리즘적 접근 방식을 제시한다: 하나는 기억 없는 강건한 균형을 실수 이론의 존재성 문제로 환원시키고, 다른 하나는 다수의 플레이어 게임을 두 명의 플레이어 게임으로 변환하여 존재성 문제가 PSPACE 내에서 결정 가능하다는 것을 보이며, 문제는 PSPACE-완전하다.

ABSTRACT

We study the problem of finding robust equilibria in multiplayer concurrent games with mean payoff objectives. A $(k,t)$-robust equilibrium is a strategy profile such that no coalition of size $k$ can improve the payoff of one its member by deviating, and no coalition of size $t$ can decrease the payoff of other players. We are interested in pure equilibria, that is, solutions that can be implemented using non-randomized strategies. We suggest a general transformation from multiplayer games to two-player games such that pure equilibria in the first game correspond to winning strategies in the second one. We then devise from this transformation, an algorithm which computes equilibria in mean-payoff games. Robust equilibria in mean-payoff games reduce to winning strategies in multidimensional mean-payoff games for some threshold satisfying some constraints. We then show that the existence of such equilibria can be decided in polynomial space, and that the decision problem is PSPACE-complete.

연구 동기 및 목표

• 다수의 플레이어가 동시에 플레이하는 게임에서 평균수익 목표를 가진 전략 프로파일이 소규모 협동군의 이탈에 저항하고 해로운 이탈에 면역이 되도록 하는 문제를 다루는 것.
• 일반적으로 결정 불가능한 문제임에도 불구하고, 강건한 균형 존재 조건을 알고리즘적으로 결정할 수 있는 조건을 규명하는 것.
• 기억 없는 전략 기반과 랜덤화 변환 기반의 두 가지 제한적이나 의미 있는 접근 방식을 개발하는 것.
• 이러한 제약 조건 하에서 강건한 균형 존재 문제의 계산 복잡도를 규명하는 것.

제안 방법

• 기억 없는 $(k,t)$-강건한 균형 존재 문제를 실수 이론의 존재성 공식으로 환원하여 대수적 결정 절차를 가능하게 한다.
• 다수의 플레이어 동시 게임에서 두 명의 플레이어 게임으로의 일반적인 변환을 제안하며, 원래 게임의 순수 균형이 변환된 게임에서의 승리 전략과 대응된다.
• 이 변환을 통해 강건한 균형 존재 문제가 다항 시간 공간 내에서 결정 가능하다는 것을 보인다.
• 실수 이론으로부터의 환원과 QBF 공식의 게임 이론적 표현을 이용하여 결정 문제의 PSPACE-완전성을 입증한다.
• Eve(존재적), Adam(전칭적), 그리고 리터럴 플레이어로 구성된 게임 구조를 사용하여, 양화된 부울 공식을 게임 결과에 게임 이론적으로 표현한다.
• 협동군의 이탈에 대한 저항성과 면역성을 보장하기 위해 제약 조건을 설정하여, 유익하거나 해로운 이탈이 발생하지 않도록 전략 프로파일을 정의한다.

실험 결과

연구 질문

• RQ1 기억 없는 $(k,t)$-강건한 균형 존재 문제는 알고리즘적으로 결정 가능할 수 있으며, 그 계산 복잡도는 무엇인가?
• RQ2 다수의 플레이어 동시 게임에서 강건한 균형 존재 문제는 결정 가능성이 알려진 두 명의 플레이어 게임 문제로 환원될 수 있는가?
• RQ3 동시 평균수익 게임에서 $(k,t)$-강건한 균형 존재 문제는 결정 가능할 수 있으며, 그 복잡도는 무엇인가?
• RQ4 기억 없는 전략 제약 조건 하에서 강건한 균형 존재 문제는 실수 이론의 공식으로 환원될 수 있는가?
• RQ5 랜덤화가 允許된 경우 강건한 균형 존재 문제의 계산 복잡도는 무엇이며, 두 명의 플레이어 게임으로의 변환은 이 복잡도에 어떤 영향을 미치는가?

주요 결과

• 기억 없는 $(k,t)$-강건한 균형 존재 문제는 실수 이론의 존재성 공식으로 환원함으로써 결정 가능하다.
• 랜덤화가 允許된 경우 동시 평균수익 게임에서 강건한 균형 존재 문제는 PSPACE-완전하다.
• 다수의 플레이어 동시 게임에서 두 명의 플레이어 게임으로의 일반적인 변환은 순수 균형 존재성을 유지하며, 이로 인해 두 명의 플레이어 게임 해법기를 통한 결정 가능성이 가능해진다.
• 일반적으로 $(k,t)$-강건한 균형 존재 문제는 결정 불가능하지만, 기억 없는 전략 또는 랜덤화 전략 제약 조건 하에서는 결정 가능해진다.
• 논문은 양화된 부울 공식(QBF)을 동시 게임에 게임 이론적으로 표현하는 방법을 제시하며, $(n+1)$-저항성 균형이 존재하는 것은 공식이 유효할 때에만 성립함을 보인다.
• QBF에서 강건한 균형 문제로의 환원을 통해 결정 문제가 PSPACE-난이도임을 증명하였고, 두 명의 플레이어 변환을 통해 상한 복잡도 PSPACE가 확립되었다.