[논문 리뷰] Simple Causes of Complexity in Hedonic Games

Dominik Peters, Edith Elkind|arXiv (Cornell University)|2015. 07. 13.

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

한 줄 요약

이 논문은 허드로닉 게임에서 안정된 결과를 결정하는 데 있어 NP-난이도를 유도하는 데 충분한 최소이면서 직관적인 조건—특히 크기 2의 연합에 대한 순위 매기기 능력과 적대자에 대한 혐오감—을 규명한다. 이 프레임워크는 핵심, 개인, 나시 안정성과 같은 다양한 안정성 개념과 가산 가분, 분수형, W-선호도와 같은 다양한 형식론을 통합하고 확장하여, 중앙값 및 중간값 게임과 같이 이전에 탐색되지 않은 클래스에 대한 복잡도 결과를 자동으로 파생시킬 수 있게 한다.

ABSTRACT

Hedonic games provide a natural model of coalition formation among self-interested agents. The associated problem of finding stable outcomes in such games has been extensively studied. In this paper, we identify simple conditions on expressivity of hedonic games that are sufficient for the problem of checking whether a given game admits a stable outcome to be computationally hard. Somewhat surprisingly, these conditions are very mild and intuitive. Our results apply to a wide range of stability concepts (core stability, individual stability, Nash stability, etc.) and to many known formalisms for hedonic games (additively separable games, games with W-preferences, fractional hedonic games, etc.), and unify and extend known results for these formalisms. They also have broader applicability: for several classes of hedonic games whose computational complexity has not been explored in prior work, we show that our framework immediately implies a number of hardness results for them.

연구 동기 및 목표

• 허드로닉 게임 안정성 문제에서 계산 난이도를 유도하는 선호 표현력에 대한 단순하고 직관적인 조건을 규명하는 것.
• 다양한 허드로닉 게임 형식론과 안정성 개념 간에 기존의 NP-난이도 결과를 통합하고 확장하는 것.
• 사용자 정의 감소를 수립하지 않고도 복잡도 결과를 자동으로 파생시킬 수 있는 일반적 프레임워크를 제공하는 것.
• 강한 나시 안정성 및 строго한 강한 나시 안정성과 같이 덜 연구된 안정성 개념에 대한 개방된 복잡도 질문을 해결하는 것.
• 기존에 분석되지 않은 클래스인 중앙값, 중간값, ℓ-승인 게임 등 새로운 종류의 허드로닉 게임에 프레임워크를 확장하는 것.

제안 방법

• 각 안정성 개념에 맞게 적응된 '적대자 혐오 조건'을 정의하여, 에이전트가 적을 포함한 연합을 기각하도록 하는 것.
• 크기 2 및 크기 3의 연합에 대해 '연합 일관성'과 '독성' 조건을 도입하여 선호 표현력을 강제하는 것.
• 특정 선호 구조를 가진 허드로닉 게임에 3-SAT 인스턴스를 인코딩하는 감소 프레임워크를 사용하는 것.
• 가산 가분, 분수형, W-선호도와 같은 선호 형식론이 NP-난이도를 유도하는 데 필요한 최소 조건을 만족하는지 확인하는 것.
• 구조적 성질을 점검하여 중앙값 및 중간값 게임과 같은 새로운 클래스에 대해 복잡도 결과를 도출하는 데 프레임워크를 적용하는 것.
• 모든 가중치와 유용성 값이 다항식 크기이며 1진수 표현으로 표현 가능하도록 보장하여 계산 타당성을 유지하는 것.

실험 결과

연구 질문

• RQ1 허드로닉 게임에서 선호 표현에 대해 어떤 최소 조건이 안정성 검증의 NP-난이도를 초래하는가?
• RQ2 다양한 허드로닉 게임 형식론과 안정성 개념 간에 안정성 문제의 난이도를 설명할 수 있는 통합 프레임워크가 존재하는가?
• RQ3 동일한 선호 조건이 강한 나시 안정성과 스트릭트 강한 나시 안정성에 대해서도 난이도를 초래하는가? 이는 이전에 탐색되지 않은 영역이다.
• RQ4 이 프레임워크는 중앙값 및 중간값 게임과 같은 새로운 허드로닉 게임 클래스에 대해 복잡도 결과를 자동으로 도출할 수 있는가?
• RQ5 독성, 단조성과 같은 구조적 성질이 기반 형식론에 관계없이 항상 난이도를 유도하는가?

주요 결과

• 에이전트가 크기 2의 연합에 대해 임의의 선호를 표현할 수 있고 적대자 혐오를 보일 경우, 허드로닉 게임이 안정된 결과를 가질 수 있는지 검증하는 문제는 항상 NP-난이도이다.
• 가산 가분 및 분수형 허드로닉 게임의 경우, 프레임워크는 핵심, 개인, 나시 안정성에 대해 NP-난이도를 확인하였으며, 완전한 증명이 제공되었다.
• 논문은 강한 나시 안정성(sns), 스트릭트 강한 나시 안정성(ssns), 강한 개인 안정성(sis)에 대해 처음으로 NP-난이도 결과를 확립하였다.
• 프레임워크는 중앙값 게임, 중간값 게임, ℓ-승인 게임에 대해 NP-난이도를 도출하였으며, 이는 이전에 복잡도 분석이 이루어지지 않은 클래스들이다.
• 사회적 분수형 허드로닉 게임의 경우, 프레임워크는 모든 안정성 개념에서 NP-난이도를 보였으며, 약한 안정성 변형들에 대해서는 예외적으로 가능성이 있다.
• 결과는 강건하다: 엄격한 선호(동점 없음) 조건이더라도 크기 3 연합에 대한 선호와 적대자 혐오가 존재하는 것으로도 충분히 NP-난이도를 초래한다.