[논문 리뷰] Hedonic Games with Graph-restricted Communication

Ayumi Igarashi, Edith Elkind|arXiv (Cornell University)|2016. 02. 17.

Game Theory and Voting Systems참고 문헌 20인용 수 26

한 줄 요약

이 논문은 통신 그래프에서 연결되어 있는 경우에만 연합을 형성할 수 있는 허드닉 연합 형성 게임을 연구한다. 연구자는 그래프 제약 조건에 맞는 새로운 안정성 개념인 '내부 이웃 안정성(in-neighbor stability)'을 도입하고, 비순환 그래프에서는 개인적으로 안정된 분할을 다항 시간 내에 계산할 수 있음을 보이며, 별형 그래프에서도 유형에 따라 내부 이웃 안정성 또는 내쉬 안정성 결과를 찾는 것은 NP-난이도 또는 PLS-난이도임을 밝힌다.

ABSTRACT

We study hedonic coalition formation games in which cooperation among the players is restricted by a graph structure: a subset of players can form a coalition if and only if they are connected in the given graph. We investigate the complexity of finding stable outcomes in such games, for several notions of stability. In particular, we provide an efficient algorithm that finds an individually stable partition for an arbitrary hedonic game on an acyclic graph. We also introduce a new stability concept -in-neighbor stability- which is tailored for our setting. We show that the problem of finding an in-neighbor stable outcome admits a polynomial-time algorithm if the underlying graph is a path, but is NP-hard for arbitrary trees even for additively separable hedonic games; for symmetric additively separable games we obtain a PLS-hardness result.

연구 동기 및 목표

• 그래프 제약 통신 하에서 안정된 결과의 존재성과 계산 복잡도를 조사하는 것.
• 통신 그래프의 비순환성(acyclicity)이 안정된 분할의 존재를 보장하고 효율적인 계산을 가능하게 하는지 여부를 규명하는 것.
• 실제 연합 형성 제약 조건을 반영하는 새로운 안정성 개념인 '내부 이웃 안정성'을 도입하고 분석하는 것.
• 다양한 선호 표현 방식(예: 덧셈 가분성, 대칭성 등) 하에서 핵, 개인 안정성, 내쉬 안정성, 내부 이웃 안정성의 알고리즘 경계를 설정하는 것.

제안 방법

• 플레이어가 현재 소속된 연합의 모든 구성원이 이동을 승인해야만 가입할 수 있는 '내부 이웃 안정성'이라는 새로운 안정성 개념을 제안한다.
• 데망주의 핵 안정성 알고리즘을 오рак루 모델에 적응시켜 개인적으로 안정된 결과 및 내쉬 안정된 결과를 계산할 수 있도록 확장한다.
• 로컬 최대 컷 문제로의 환원을 통해, 별형 그래프에서 대칭적 덧셈 가분성 게임의 내부 이웃 안정성 결과를 찾는 것이 PLS-완전임을 증명한다.
• 지나치게 긴 선호 표현 방식을 피하기 위해 오라클 모델을 사용하여 비순환 그래프에서 다항 시간 알고리즘을 가능하게 한다.
• 협동 게임 이론 및 그래프 구조 분석 기법을 활용하여 연결된 부분그래프의 수에 기반한 알고리즘 복잡도의 경계를 설정한다.
• 덧셈 가분성 및 적대자 중심 허드닉 게임과 같은 압축 표현 방식 하에서의 복잡도를 분석한다.

실험 결과

연구 질문

• RQ1 통신 그래프의 비순환성이 허드닉 게임에서 개인적으로 안정된 분할의 존재를 보장하는가?
• RQ2 비순환 그래프에서 허드닉 게임에 대해 개인적으로 안정된 분할을 다항 시간 내에 계산할 수 있는가?
• RQ3 특히 덧셈 가분성 허드닉 게임의 경우, 기저 그래프가 별형일 때 내부 이웃 안정성 결과를 찾는 것이 NP-난이도인가?
• RQ4 대칭적 덧셈 가분성 허드닉 게임에서 별형 그래프에서 내쉬 안정성 결과를 찾는 계산 복잡도는 무엇인가?
• RQ5 내쉬 안정성의 PLS-완전성은 대칭적 덧셈 가분성 게임의 별형 그래프에서 내부 이웃 안정성으로 확장될 수 있는가?

주요 결과

• 어떤 허드닉 게임이든 비순환 그래프에서 개인적으로 안정된 분할이 존재하며, 오라클 모델 하에서도 다항 시간 내에 계산 가능하다.
• 별형 그래프에서 덧셈 가분성 허드닉 게임의 내부 이웃 안정성 결과를 찾는 것은 NP-난이도이다.
• 대칭적 덧셈 가분성 허드닉 게임에서 별형 그래프에서 내부 이웃 안정성 결과를 찾는 것은 PLS-완전하다.
• 대칭적 덧셈 가분성 허드닉 게임에서 별형 그래프에서 내쉬 안정성 결과를 찾는 문제 역시 PLS-완전하다.
• 반면, 별형 그래프에서 적대자 중심 게임의 내쉬 안정성 결과는 다항 시간 내에 계산 가능하다.
• 이 논문은 비순환 그래프에서 허드닉 게임에 핵 안정성이 존재함을 증명하며, 데망주의 결과를 교환 불가능한 유틸리티 설정으로 확장한다.