[논문 리뷰] Strategic Cooperation in Cost Sharing Games

Martin Hoefer|arXiv (Cornell University)|2010. 03. 16.

Game Theory and Voting Systems참고 문헌 36인용 수 4

한 줄 요약

이 논문은 전략적 비용 분담 게임에서 강한 균형과 협력적 비용 분담 게임에서의 코어 사이의 밀접한 연결을 확립하며, 강한 균형의 존재가 기초가 되는 선형계획형식의 정수성 간극에 의해 특징지어진다는 것을 보여준다. 이는 집합 커버, 시설 위치, 네트워크 설계 게임에 대해 원형-이중 알고리즘을 통해 정확한 및 근사 강한 균형을 유일한 프레임워크로 도출하는 것으로, 강한 아나르키의 가격이 항상 1임을 증명한다.

ABSTRACT

In this paper we consider strategic cost sharing games with so-called arbitrary sharing based on various combinatorial optimization problems, such as vertex and set cover, facility location, and network design problems. We concentrate on the existence and computational complexity of strong equilibria, in which no coalition can improve the cost of each of its members. Our main result reveals a connection between strong equilibrium in strategic games and the core in traditional coalitional cost sharing games studied in economics. For set cover and facility location games this results in a tight characterization of the existence of strong equilibrium using the integrality gap of suitable linear programming formulations. Furthermore, it allows to derive all existing results for strong equilibria in network design cost sharing games with arbitrary sharing via a unified approach. In addition, we are able to show that in general the strong price of anarchy is always 1. This should be contrasted with the price of anarchy of Θ(n) for Nash equilibria. Finally, we indicate that the LP-approach can also be used to compute near-optimal and near-stable approximate strong equilibria.

연구 동기 및 목표

• 조합 최적화 문제를 기반으로 한 전략적 비용 분담 게임에서 강한 균형의 존재를 특징짓기.
• 전략적 게임에서의 강한 균형과 전통적인 협력 비용 분담 게임에서의 코어 사이에 공식적인 연결을 수립하기.
• 집합 커버, 시설 위치, 네트워크 설계와 같은 게임에서 근사 강한 균형을 계산하기 위한 통합된 LP 기반 접근법 개발하기.
• 강한 아나르키의 가격을 분석하고, 나시 균형의 Θ(n) 아나르키의 가격과 대비하여 항상 1임을 보여주기.
• 원형-이중 알고리즘의 적용 범위를 확장하여 다항 시간 내에 상수 요소 근사 강한 균형을 도출하기

제안 방법

• 강한 균형의 존재를 특징짓기 위해 선형계획형식의 이중성과 정수성 간극 분석을 활용한다.
• 강한 균형의 존재 여부를 판단하기 위해 협력 비용 분담 게임의 코어를 기준으로 삼는다.
• 성능 보장을 선형계획형식의 근사 비율에 기반하여 원형-이중 알고리즘을 적용하여 근사 강한 균형을 계산한다.
• 기초가 되는 조합 최적화 문제를 선형계획형식을 통해 해결하는 것으로 강한 균형을 찾는 문제를 환원한다.
• 협동 집단의 이탈을 단일 플레이어 하위 게임에서의 단일 이탈로 분석할 수 있음을 보이며, 안정성 보장을 유지한다.
• 일반화된 선형 생산 모델의 구조를 활용하여 현재 게임 유형을 초월한 광범위한 적용 가능성을 탐색한다.

실험 결과

연구 질문

• RQ1 조합 최적화 문제를 기반으로 한 전략적 비용 분담 게임에서 강한 균형이 존재하는 조건은 무엇인가?
• RQ2 기초 선형계획형식의 정수성 간극과 강한 균형의 존재는 어떻게 관련되어 있는가?
• RQ3 협력 비용 분담 게임의 코어는 전략적 환경에서 강한 균형을 특징짓거나 계산하는 데 사용될 수 있는가?
• RQ4 전략적 비용 분담 게임에서의 강한 아나르키의 가격은 무엇이며, 나시 균형의 아나르키의 가격과 어떻게 비교되는가?
• RQ5 원형-이중 알고리즘을 수정하여 유한한 근사 비율을 갖는 근사 강한 균형을 계산할 수 있는가?

주요 결과

• 집합 커버 및 시설 위치 게임에서 강한 균형의 존재는 각각의 선형계획형식의 정수성 간극에 의해 밀접하게 특징지어진다.
• 전략적 비용 분담 게임에서 강한 아나르키의 가격은 항상 1이며, 나시 균형의 Θ(n) 아나르키의 가격과 비교해 크게 향상된 결과이다.
• 정점 커버 게임의 경우, 정수성 간극이 1이고 코어가 비어 있지 않더라도 전략적 유인으로 인해 강한 균형이 존재하지 않을 수 있다.
• 원형-이중 알고리즘을 통해 정점 커버 게임에서 (2,2)-강한 균형, 집합 커버 게임에서 (f,f)-강한 균형((f는 최대 빈도)) 및 메트릭 무제한 시설 위치 게임에서 (3,3)-강한 균형을 다항 시간 내에 계산할 수 있다.
• 강한 균형과 코어 솔루션 사이의 등가성 덕분에, 네트워크 설계 게임을 포함한 여러 게임 유형에 걸쳐 통합된 접근법을 도출할 수 있다.
• LP 기반 프레임워크는 정확한 강한 균형이 존재하지 않는 환경에서도 안정성과 효율성을 보장하면서 근사 강한 균형으로 확장될 수 있다.