[논문 리뷰] On Parameterized Complexity of Group Activity Selection Problems on Social Networks

Ayumi Igarashi, Robert Bredereck외 1명|arXiv (Cornell University)|2017. 03. 03.

Game Theory and Voting Systems참고 문헌 10인용 수 5

한 줄 요약

이 논문은 사회망에서의 그룹 활동 선택(gGASP)에 대한 매개변수화 복잡도를 조사하며, 나시 안정성, 개인 안정성, 코어 안정성을 중심으로 다룬다. 비순환 네트워크에서 활동 수를 매개변수로 삼을 때 나시 안정성에 대해 FPT 알고리즘을 제안하는 동안, 클리크에 대해서는 W[1]-경하성을 증명한다. 결과적으로, 활동 수가 적더라도 코어 안정성은 여전히 어렵다는 점이 드러나며, 매개변수화 복잡도 이론 하에서 안정성 개념 간의 핵심 계산적 차이를 보여준다.

ABSTRACT

In Group Activity Selection Problem (GASP), players form coalitions to participate in activities and have preferences over pairs of the form (activity, group size). Recently, Igarashi et al. have initiated the study of group activity selection problems on social networks (gGASP): a group of players can engage in the same activity if the members of the group form a connected subset of the underlying communication structure. Igarashi et al. have primarily focused on Nash stable outcomes, and showed that many associated algorithmic questions are computationally hard even for very simple networks. In this paper we study the parameterized complexity of gGASP with respect to the number of activities as well as with respect to the number of players, for several solution concepts such as Nash stability, individual stability and core stability. The first parameter we consider in the number of activities. For this parameter, we propose an FPT algorithm for Nash stability for the case where the social network is acyclic and obtain a W[1]-hardness result for cliques (i.e., for classic GASP); similar results hold for individual stability. In contrast, finding a core stable outcome is hard even if the number of activities is bounded by a small constant, both for classic GASP and when the social network is a star. Another parameter we study is the number of players. While all solution concepts we consider become polynomial-time computable when this parameter is bounded by a constant, we prove W[1]-hardness results for cliques (i.e., for classic GASP).

연구 동기 및 목표

• 사회망에서의 그룹 활동 선택 문제에서 안정된 결과 계산의 매개변수화 복잡도를 분석하는 것.
• 활동 수와 플레이어 수가 계산의 난이도에 미치는 영향을 검토하는 것.
• 다양한 네트워크 구조에서 gGASP의 나시 안정성, 개인 안정성, 코어 안정성의 복잡도를 비교하는 것.
• 비순환 네트워크에 대한 고정 매개변수 유도 가능성에 대한 열린 문제를 해결하고, 유도 가능한 경우를 특정하는 것.

제안 방법

• 활동 수를 매개변수로 삼을 때 비순환 그래프에서 나시 안정성에 대해 고정 매개변수 유도(FPT) 알고리즘을 제안한다.
• 감소 기법과 기구 구성(예: 색상 기구, 색상 쌍 기구)을 사용하여 클리크와 일반 그래프에 대해 W[1]-경하성을 증명한다.
• 플레이어 행동과 이탈을 모델링하기 위해 엄격한 및 비엄격한 선호도를 포함하는 선호도 구조를 구성한다.
• 매개변수화 복잡도 이론을 활용하여 활동 수(p)와 플레이어 수(n)와 같은 매개변수 기반으로 문제를 분류한다.
• 사회망에서 연결된 협동군이 요구되는 게임 이론적 모델링을 통해 안정성 개념을 분석한다.
• 기존의 난이도 있는 문제들로부터의 감소를 통해, 활동 수나 플레이어 수가 상수일 때조차도 코어 안정성이 여전히 NP-난이도임을 보여준다.

실험 결과

연구 질문

• RQ1 비순환 사회망에서 활동 수를 매개변수로 삼을 때, 나시 안정 결과 계산은 고정 매개변수 유도 가능한가?
• RQ2 gGASP에서 개인 안정성의 매개변수화 복잡도는 무엇이며, 나시 안정성과 비교해보면 어떠한가?
• RQ3 활동 수가 작은 상수로 제한되어 있어도 코어 안정성은 여전히 계산적으로 어렵게 유지되는가?
• RQ4 비순환 그래프에서 나시 안정성에 대한 FPT 결과를 일반 gGASP 네트워크로 확장할 수 있는가?
• RQ5 네트워크 구조(예: 클리크, 스타, 경로)가 안정된 결과 계산의 복잡도에 어떤 영향을 미치는가?

주요 결과

• 활동 수를 매개변수로 삼을 때 비순환 그래프에서 나시 안정성에 대한 FPT 알고리즘을 제시하며, 이는 이전 연구에서 제기된 열린 문제를 해결한다.
• 클리크에 대해서조차도 활동 수를 매개변수로 삼을 때 나시 안정성은 W[1]-경하성임을 증명하며, 일반 그래프에서의 계산의 어려움을 시사한다.
• 비순환 네트워크에서 다항 시간 내로 계산 가능한 것으로 알려진 바에도 불구하고, 클리크에서 개인 안정성은 활동 수를 매개변수로 삼을 때 W[1]-경하성임을 보였다.
• 활동 수가 작은 상수로 제한되어 있어도, 클리크와 스타 네트워크 모두에서 코어 안정성은 여전히 NP-완전하다.
• 매개변수화 복잡도 이론 하에서, 코어 안정 할당을 찾는 문제의 계산 난이도는 나시 안정성 또는 개인 안정성 결과를 찾는 것보다 더 어렵다.
• 활동 수와 플레이어 수의 조합 매개변수를 고려할 경우, 문제는 고정 매개변수 유도가 가능해지며, 이는 입력 크기가 O(n²p)로 유계이기 때문이다.