[논문 리뷰] On the Nash Stability in the Hedonic Coalition Formation Games

Cengis Hasan, Jean-Marie Gorce외 1명|arXiv (Cornell University)|2014. 05. 14.

Game Theory and Voting Systems참고 문헌 14인용 수 5

한 줄 요약

이 논문은 허드로닉 게임에서 나시 안정적 협동 분할을 보장하는 유틸리티 배분 프레임워크로 나시 안정 핵을 제안한다. 효율성 조건을 완화함으로써(즉, 협동체의 유틸리티가 개인의 이득 합보다 작아지게 함) 나시 안정 핵이 비어 있지 않음을 보여주며, 이는 효율적 배분에서의 비존재 문제를 해결한다.

ABSTRACT

This paper studies the Nash stability in hedonic coalition formation games. We address the following issue: for a general problem formulation, is there any utility allocation method ensuring a Nash-stable partition? We propose the definition of the Nash-stable core. We study the conditions for having a non-empty Nash-stable core. More precisely, we show how relaxed efficiency in utility sharing method allows to ensure a non-empty Nash-stable core.

연구 동기 및 목표

• 허드로닉 협동 형성 게임에서 나시 안정적 협동 분할을 보장하는 유틸리티 배분 방법을 규명하는 것.
• 나시 안정 핵을 정의하고, 이를 통해 나시 안정적 분할을 유도하는 유틸리티 배분 집합으로서의 특성을 분석하는 것.
• 특히 효율성 제약 조건과의 관계에서 나시 안정 핵이 비어 있지 않은 조건을 조사하는 것.
• 엄격한 유틸리티 효율성 조건 하에서의 나시 안정 분할 비존재 문제를 해결하기 위해 효율성 조건을 이완하는 방법을 도입하는 것.
• 비협력 게임의 동적 행동과 허드로닉 게임에서의 안정적 협동 구조 사이의 공식적 연관성을 설정하는 것.

제안 방법

• 나시 안정 분할을 초래하는 유틸리티 배분 벡터의 집합으로서 나시 안정 핵을 도입한다.
• 플레이어의 전략이 협동체 소속을 나타내는 전략 튜플을 사용하여 허드로닉 협동 형성 과정을 비협력 게임으로 모델링한다.
• 전략 프로파일 상에서 각 플레이어가 현재 협동 구조에 기반해 자신의 유틸리티를 최적화하는 최적 반응 다이내믹스를 정의한다.
• 모든 협동 구조에 대해 나시 안정 분할의 타당성 조건을 표현하기 위해 선형 프로그래밍 형식(LRE)을 사용한다.
• 모든 가능한 분할에 걸쳐 제약 조건을 추적하여 나시 안정성에 필요한 필수 및 충분 조건을 유도한다.
• 유틸리티가 완전히 공유되지 않는(즉, 효율성 조건을 이완하는) 배분 방식이 나시 안정 핵의 비어 있지 않음을 보여주는 증명을 한다.

실험 결과

연구 질문

• RQ1 허드로닉 게임에서 나시 안정적 협동 분할을 보장하는 유틸리티 배분 방법이 존재하는가?
• RQ2 언제 나시 안정 핵이 비어 있지 않은가?
• RQ3 엄격한 유틸리티 효율성 공유 조건 하에서의 나시 안정 분할 비존재 문제를 극복할 수 있는가?
• RQ4 유틸리티 배분에서 효율성 조건을 이완하면 안정적 분할의 존재에 어떤 영향을 미치는가?
• RQ5 전통적 협력 게임 이론에서의 코어와 나시 안정 핵 사이의 관계는 무엇인가?

주요 결과

• 나시 안정 핵은 오직 그 배분이 잉여를 허용할 경우에만 비어 있지 않다. 즉, 협동체 내 개인의 이득 합계가 협동체의 총 유틸리티보다 작거나 같을 경우에 한해 성립한다.
• 두 플레이어 게임에서는 대칭적 상대 이득(등분)이 항상 나시 안정 분할을 유도하며, 협동체 가치에 관계없이 성립한다.
• 세 플레이어 게임에서는 모든 다섯 가지 가능한 분할에 기반한 선형 부등식 체계를 만족하는 경우에만 나시 안정 핵이 비어 있지 않다.
• 네 명 이상의 플레이어가 있는 경우, 나시 안정 배분의 타당성을 점검하기 위해 사용하는 선형 프로그램(LRE)은 항상 타당성이 있으며, 이는 이완된 효율성 조건 하에서 존재 보장을 의미한다.
• 효율성 조건이 이완되면, 효율적 배분이 안정된 결과를 도출하지 못하는 경우에도 나시 안정 분할의 존재가 보장된다.
• 최적 반응 다이내믹스를 갖춘 비협력 게임 설정은 제안된 유틸리티 배분 규칙 하에서 항상 나시 안정 분할로 수렴한다.