[논문 리뷰] $\Sigma_2^p$-complete Problems on Hedonic Games

Dominik Peters|arXiv (Cornell University)|2015. 09. 08.

Game Theory and Voting Systems인용 수 3

한 줄 요약

이 논문은 추가 가분성 선호를 가진 헤도닉 게임에서 코어 및 스트릭트 코어 안정 파artition을 결정하는 데 있어 Σ₂^p-완전성을 입증한다. 이는 대칭 평가와 유한한 상호작용 조건 하에서도 성립한다. 또한 이중 선호 게임에서 스트릭트 코어의 비어 있지 않음을 증명하는 데 있어 Σ₂^p-완전성을 입증하며, 변수 발생 횟수가 유한할 경우 TRUE-∃∀-3DNF가 여전히 Σ₂^p-난이도를 유지함을 보인다.

ABSTRACT

Hedonic games provide a general model of coalition formation, in which a set of agents is partitioned into coalitions, with each agent having preferences over which other players are in her coalition. We prove that with additively separable preferences, it is $\Sigma_2^p$-complete to decide whether a core- or strict-core-stable partition exists, extending a result of Woeginger (2013). Our result holds even if valuations are symmetric and non-zero only for a constant number of other agents. We also establish $\Sigma_2^p$-completeness of deciding non-emptiness of the strict core for hedonic games with dichotomous preferences. Of more general interest, we prove that TRUE-$\exists\forall$-3DNF remains $\Sigma_2^p$-hard even if no variable occurs more than three times.

연구 동기 및 목표

• 가산 가분성 선호를 가진 헤도닉 게임에서 코어 및 스트릭트 코어 안정 파artition의 존재를 결정하는 계산 복잡도를 규명하는 것.
• 워긴거(2013)의 이전 연구를 확장하여 대칭 평가와 제한된 상호작용 조건 하에서 Σ₂^p-완전성을 입증하는 것.
• 이분법적 선호를 가진 헤도닉 게임에서 스트릭트 코어의 비어 있지 않음 문제의 복잡도를 조사하는 것.
• 각 변수가 최대 세 번만 나타나는 조건 하에서 TRUE-∃∀-3DNF 문제의 복잡도를 분석하는 것.
• 다양한 선호 모델 하에서 안정된 협동군 형성의 복잡도를 엄밀한 경계로 설정하는 것.

제안 방법

• 기존의 Σ₂^p-완전 문제로부터의 축소를 통해 가산 가분성 헤도닉 게임에서의 코어 안정성에 대한 난이도를 입증하는 것.
• 오직 상수 개의 에이전트만 비영 평가를 가지는 대칭적이고 희박한 평가 함수를 구성하여, 구조적 제약 조건 하에서도 난이도를 입증하는 것.
• 새로운 축소 프레임워크를 사용하여 이분법적 선호 게임에서 스트릭트 코어의 비어 있지 않음 문제에 대해 Σ₂^p-완전성을 입증하는 것.
• 각 변수가 최대 세 번만 나타나는 조건 하에서도 TRUE-∃∀-3DNF가 여전히 Σ₂^p-난이도를 유지함을 증명하는 것.
• 양적 불리다 공식의 성질을 활용하여 계산 복잡도의 하한을 설정하는 것.
• 모든 다루어진 문제에 대해 난이도 입증과 Σ₂^p 내재성 증명을 통해 완전성의 형식적 증명을 수행하는 것.

실험 결과

연구 질문

• RQ1 가산 가분성 선호를 가진 헤도닉 게임에서 코어 안정 파artition의 존재를 결정하는 것은 Σ₂^p-완전인가?
• RQ2 평가가 대칭적이고 비영 평가를 가지는 에이전트 수가 상수일 경우 복잡도가 여전히 Σ₂^p-완전한가?
• RQ3 이분법적 선호를 가진 헤도닉 게임에서 스트릭트 코어의 비어 있지 않음 문제는 Σ₂^p-완전한가?
• RQ4 각 변수가 최대 세 번만 나타나는 조건 하에서 TRUE-∃∀-3DNF는 Σ₂^p-난이도를 갖는가?
• RQ5 선호의 구조적 제약 조건 하에서 안정된 협동군 형성의 복잡도를 엄밀한 경계로 설정할 수 있는가?

주요 결과

• 가산 가분성 선호를 가진 헤도닉 게임에서 코어 안정 파artition을 결정하는 것은 대칭 평가와 유한한 상호작용 조건 하에서도 Σ₂^p-완전하다.
• 동일한 조건 하에서 스트릭트 코어 안정 파artition에 대해서도 동일한 Σ₂^p-완전성 결과가 성립한다.
• 이분법적 선호를 가진 헤도닉 게임에서 스트릭트 코어의 비어 있지 않음 문제는 Σ₂^p-완전하다.
• 각 변수가 최대 세 번만 나타나는 조건 하에서도 TRUE-∃∀-3DNF는 여전히 Σ₂^p-난이도를 유지한다.
• 이 결과들은 다양한 선호 모델 하에서 안정된 협동군 형성의 엄밀한 복잡도 경계를 설정한다.
• 워긴거(2013)의 이전 연구를 확장하여 더 강력한 구조적 제약 조건 하에서도 완전성을 입증함으로써 그 결과를 강화한다.