[논문 리뷰] Secure Equilibria in Weighted Games

Véronique Bruyère, Noémie Meunier외 1명|arXiv (Cornell University)|2014. 02. 17.

Game Theory and Applications참고 문헌 22인용 수 8

한 줄 요약

이 논문은 두 플레이어의 0-합 두근무한 지속 게임에서 기존에 불리안 및 $\omega$-정규 목표에 대해 정의된 보안 균형 개념을 가중치가 있는 정량적 게임으로 확장한다. 여기서는 sup, inf, lim sup, lim inf, 평균-지급, 할인 합과 같은 측도를 다룬다. 이 게임들에서 보안 균형이 항상 존재함을 증명하고, 낮은 메모리 복잡도를 가지는 유한 메모리 전략 프로파일을 제시하며, 할인 합을 제외한 모든 경우에 대해 제약 조건이 있는 존재 문제의 결정 가능성을 보인다. 이 문제의 해결은 렉시코그래픽 목표를 가진 0-합 게임에 대한 새로운 결과에 기반한다.

ABSTRACT

We consider two-player non zero-sum infinite duration games played on weighted graphs. We extend the notion of secure equilibrium introduced by Chatterjee et al., from the Boolean setting to this quantitative setting. As for the Boolean setting, our notion of secure equilibrium refines the classical notion of Nash equilibrium. We prove that secure equilibria always exist in a large class of weighted games which includes common measures like sup, inf, lim sup, lim inf, mean-payoff, and discounted sum. Moreover we show that one can synthesize finite-memory strategy profiles with few memory. We also prove that the constrained existence problem for secure equilibria is decidable for sup, inf, lim sup, lim inf and mean-payoff measures. Our solutions rely on new results for zero-sum quantitative games with lexicographic objectives that are interesting on their own right.

연구 동기 및 목표

• 두 플레이어의 가중치 그래프 위에서의 무한 지속 게임에서 보안 균형 개념을 불리안 설정에서 정량적 설정으로 확장하는 것.
• sup, inf, lim sup, lim inf, 평균-지급, 할인 합과 같은 일반적인 정량적 측도에 대해 보안 균형의 존재를 확립하는 것.
• 보안 균형을 실현하는 데 필요한 효율적인 알고리즘을 개발하여, 유한 메모리 전략 프로파일을 합성하는 것.
• 모든 측도에 대해 보안 균형의 제약 조건이 있는 존재 문제의 결정 가능성을 입증하는 것. 할인 합을 제외한 모든 경우에 대해.
• 렉시코그래픽 0-합 게임 분석이 보안 균형 문제 해결에 핵심적임을 보이며, 독립적인 관심을 끄는 결과를 제공하는 것.

제안 방법

• 보안 균형을 유한 메모리 전략에 기반한 나시 균형의 개선으로 정의하며, 자신의 지급을 극대화한 후 상대방의 지급을 최소화하는 것을 우선시한다.
• 보안 균형 문제를 렉시코그래픽 목표를 가진 두 플레이어 0-합 게임으로 감소시키며, 여기서 플레이어는 먼저 자신의 주요 목표를 최적화한 후 상대방의 지급을 최소화한다.
• 이러한 렉시코그래픽 게임가 균일하게 결정 가능하며, 모든 고전적 지급 측도에 대해 최악의 경우 최적 알고리즘을 개발한다.
• 보안 균형을 증명하는 데 필요한 선형 또는 다항식 메모리 크기(측도에 따라 다름)를 가지는 유한 메모리 전략을 구성한다.
• 보안 균형의 제약 조건이 있는 존재 문제를 렉시코그래픽 게임에서 승리 전략의 존재 문제로 감소시킨다.
• 기존의 나시 균형 및 평균-지급 게임에 대한 연구 결과를 활용하고, 렉시코그래픽 목표에 특화된 기존 기법을 변형·적용한다.

실험 결과

연구 질문

• RQ1 sup, inf, lim sup, lim inf, 평균-지급, 할인 합과 같은 정량적 목표를 가진 두 플레이어의 가중치 게임에서 보안 균형이 존재하는가?
• RQ2 이러한 게임에서 보안 균형을 실현하는 데 필요한 유한 메모리 전략을 메모리 크기가 유한한 범위 내에서 합성할 수 있는가?
• RQ3 결과가 추가 지급 제약 조건을 만족해야 하는 경우, 보안 균형의 제약 조건이 있는 존재 문제는 결정 가능한가?
• RQ4 플레이어가 순서대로 최적화하는 렉시코그래픽 0-합 게임은 보안 균형 문제 해결에 어떻게 기여하는가?
• RQ5 할인 합 목표를 가진 게임에서 보안 균형의 복잡도와 구조는 무엇이며, 이는 문헌에서 여전히 열려 있는 문제와 어떻게 관련되어 있는가?

주요 결과

• sup, inf, lim sup, lim inf, 평균-지급, 할인 합 목표를 가진 모든 가중치 게임에서 보안 균형이 존재한다.
• sup, inf, lim sup, lim inf, 평균-지급 측도에 대해서는 선형 메모리 크기의 유한 메모리 전략으로 충분하며, sup 및 inf 측도에 대해서는 다항식 메모리가 충분하다.
• sup, inf, lim sup, lim inf, 평균-지급 측도에 대해 보안 균형을 합성하는 결정 가능한 알고리즘이 존재하며, 이는 다항식 또는 의사-다항식 복잡도를 가진다.
• 모든 측도에 대해 보안 균형의 제약 조건이 있는 존재 문제는 결정 가능하지만, 할인 합의 경우는 문헌에서 어려운 열린 문제로 감소한다.
• 렉시코그래픽 0-합 게임 분석은 핵심적인 기술적 기여를 하며, 모든 고전적 지급 측도에 대해 새로운 최악의 경우 최적 알고리즘을 개발하였다.
• 결과는 정량적 설정으로의 구성적 합성 프레임워크를 확장하여, 시스템과 환경 간의 강제 가능한 계약을 자동으로 합성할 수 있게 한다.