[논문 리뷰] Strategyproof Mechanisms for Additively Separable Hedonic Games and Fractional Hedonic Games

Michele Flammini, Gianpiero Monaco외 1명|arXiv (Cornell University)|2017. 06. 27.

Game Theory and Voting Systems인용 수 7

한 줄 요약

이 논문은 지불을 사용하지 않고 사회적 복지를 최대화하는 추가가능분리 허드로닉 게임(ASHGs)과 분수형 허드로닉 게임(FHGs)에 대해 전략적 합리성 메커니즘을 제안한다. 저자들은 다양한 평가 유형—일반, 음이 아닌, 듀플렉스, 단순 평가 유형—에 대해 전략적 합리성 보장이 되고 다항시간 내에 계산 가능한 메커니즘을 설계하여, 각각의 경우에 대해 날카로운 또는 渐진적으로 날카로운 근사 비율을 달성한다. 주요 결과로는 대칭 FHGs에 대해 최대 무게 매칭을 활용하여 2-근사가 달성된다는 것이다.

ABSTRACT

Additively separable hedonic games and fractional hedonic games have received considerable attention. They are coalition forming games of selfish agents based on their mutual preferences. Most of the work in the literature characterizes the existence and structure of stable outcomes (i.e., partitions in coalitions), assuming that preferences are given. However, there is little discussion on this assumption. In fact, agents receive different utilities if they belong to different partitions, and thus it is natural for them to declare their preferences strategically in order to maximize their benefit. In this paper we consider strategyproof mechanisms for additively separable hedonic games and fractional hedonic games, that is, partitioning methods without payments such that utility maximizing agents have no incentive to lie about their true preferences. We focus on social welfare maximization and provide several lower and upper bounds on the performance achievable by strategyproof mechanisms for general and specific additive functions. In most of the cases we provide tight or asymptotically tight results. All our mechanisms are simple and can be computed in polynomial time. Moreover, all the lower bounds are unconditional, that is, they do not rely on any computational or complexity assumptions.

연구 동기 및 목표

• 게임 이론에서 에이전트가 자신의 이득을 극대화하기 위해 선호도를 전략적으로 허위 보고할 수 있는 허드로닉 게임에서 메커니즘 설계의 부족을 해결하기 위해.
• 지불을 사용하지 않고 추가가능분리 허드로닉 게임과 분수형 허드로닉 게임에서 사회적 복지를 최대화하는 전략적 합리성 메커니즘을 설계하기 위해.
• 일반 및 특정 평가 함수, 특히 음이 아닌, 듀플렉스, 단순 평가 함수에 대해 날카로운 또는 渐진적으로 날카로운 성능 한계를 제공하기 위해.
• 계산 복잡도 가정에 의존하지 않는 무조건적 하한선을 확립하기 위해.
• 최대 무게 매칭을 분수형 허드로닉 게임에 확장하여 전략적 합리성과 함께 향상된 근사 보장을 달성하기 위해.

제안 방법

• 저자들은 에이전트의 선호도를 쌍별 평가 기반의 추가적 또는 분수적 유틸리티로 모델링하며, 유틸리티는 집단 구성원에 대한 값의 합(ASHG) 또는 평균(FHG)으로 계산된다.
• 에이전트가 선호도를 허위 보고할 유인이 없도록 보장하는 결정론적 및 확률론적 전략적 합리성 메커니즘을 설계하며, 다항시간 내에 분할을 계산한다.
• FHG의 경우, 에이전트 간 완전 그래프에서 최대 무게 매칭을 활용하여 최적 매칭의 구조적 성질을 이용해 사회적 복지를 근사한다.
• 핵심 기술 도구로는 유도된 부분그래프에서 비매칭 간선의 무게를 근사하고, 특정 부분그래프에서 최대 매칭이 최적 사회적 복지에 상한선을 제공한다는 것을 증명하는 것이다.
• 조합적 추론을 통해 메커니즘 결과의 사회적 복지가 최적의 최소 절반 이상임을 보여주며, 이는 악의적인 선호도 보고 상황에서도 성립한다.
• 계산 복잡도의 딱지가 아닌 최악의 경우 인스턴스 구성에 의해 무조건적 하한선을 도출한다.

실험 결과

연구 질문

• RQ1 ASHGs와 FHGs에 대해 지불을 사용하지 않고 사회적 복지를 최대화하는 전략적 합리성 메커니즘을 설계할 수 있는가?
• RQ2 다양한 평가 유형 하에서 결정론적 및 확률론적 전략적 합리성 메커니즘의 최고 근사 비율은 무엇인가?
• RQ3 최대 무게 매칭을 대칭 FHGs에 효과적으로 활용하여 전략적 합리성 메커니즘을 설계할 수 있으며, 어떤 근사 보장을 증명할 수 있는가?
• RQ4 계산 복잡도 가정에 의존하지 않는 전략적 합리성 메커니즘의 성능에 대한 무조건적 하한선은 존재하는가?
• RQ5 매칭 기반 메커니즘을 사용하여 대칭 FHGs의 근사 비율을 2를 초월해 향상시킬 수 있는가?

주요 결과

• 대칭 평가를 갖는 대칭 분수형 허드로닉 게임에서는 제안된 메커니즘이 최적 사회적 복지의 2-근사를 달성하며, 이는 매칭 기반 접근법에서 최적이 된다.
• 메커니즘은 전략적 합리성이며 다항시간 내에 결과를 계산하여, 어떤 에이전트도 선호도를 허위 보고하여 유익을 얻을 수 없다.
• 일반 추가 평가 유형의 경우, 근사 비율에 대해 날카로운 또는 渐진적으로 날카로운 하한선을 확립하였으며, 확률론적 메커니즘은 더 강력한 하한선을 제공한다.
• 값이 {-1, 0, 1}인 듀플렉스 평가 유형에서는 상수 근사 비율을 갖는 결정론적 전략적 합리성 메커니즘을 제공하지만, 정확한 값은 아직 미해결 문제이다.
• 분석을 통해 대칭 FHGs 하에서 메커니즘 결과의 사회적 복지는 최적의 최소 절반 이상임을 증명하였으며, 즉 SW(C^m) ≥ SW(C^*)/2이다.
• 결과는 무조건적이다: 하한선은 계산 복잡도 가정과 무관하게 성립하므로, 다양한 모델에 대해 강건하다.