[論文レビュー] On Parameterized Complexity of Group Activity Selection Problems on Social Networks

Ayumi Igarashi, Robert Bredereck+1 more|arXiv (Cornell University)|Mar 3, 2017

Game Theory and Voting Systems参考文献 10被引用数 5

ひとこと要約

この論文は、社会的ネットワーク上のグループ活動選択問題（gGASP）におけるパrameterized複雑性を調査し、ネッシュ安定性、個別安定性、コア安定性に焦点を当てる。非巡回ネットワークにおいて活動数をパラメータとする場合、ネッシュ安定性に対してFPTアルゴリズムを提示する一方で、完全グラフ（クライQUE）ではW[1]-hardであることを証明する。結果は、活動数が少ない場合でもコア安定性が依然として困難であることを示しており、パrameterized複雑性下での安定性概念間の重要な計算的差異を浮き彫りにする。

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).

研究の動機と目的

• 社会的ネットワーク上のグループ活動選択問題における安定な結果の計算のパrameterized複雑性を分析すること。
• 活動数と参加者数が計算の難易度に与える影響を検討すること。
• 異なるネットワーク構造下でのgGASPにおけるネッシュ安定性、個別安定性、コア安定性の複雑性を比較すること。
• 非巡回ネットワークにおける固定パラメータ可 tractability に関する未解決問題を解消し、 tractable なケースを同定すること。

提案手法

• 活動数をパラメータとする非巡回グラフにおけるネッシュ安定性に対する固定パラメータ可 tractable (FPT) アルゴリズムを提案する。
• 還元技術とガジェット構築法（例：カラーガジェット、カラーペアガジェット）を用いて、クライQUEおよび一般グラフにおけるW[1]-hardnessを証明する。
• 参加者の行動と逸脱をモデル化するため、厳密および非厳密な好み構造を構築する。
• パラメータ化された複雑性理論を用い、活動数（p）や参加者数（n）などのパラメータに基づいて問題を分類する。
• 参加者による団体形成が社会的ネットワーク内で連結でなければならないことを前提としたゲーム理論的モデルを用いて安定性概念を分析する。
• 既知の難問からの還元を用いて、活動数または参加者数が定数であってもコア安定性がNP困難のままであることを示す。

実験結果

リサーチクエスチョン

• RQ1 非巡回社会的ネットワークにおいて、活動数をパラメータとする場合、ネッシュ安定な結果の計算は固定パラメータ可 tractable か？
• RQ2 gGASPにおける個別安定性のパラメータ化された複雑性は何か？また、ネッシュ安定性と比べてどう異なるか？
• RQ3 活動数が小さな定数で抑えられている場合でも、コア安定性は依然として計算的に困難か？
• RQ4 非巡回グラフにおけるネッシュ安定性のFPT結果を、一般のgGASPネットワークに拡張できるか？
• RQ5 ネットワーク構造（例：クライQUE、スターグラフ、パス）は、安定な結果の計算の複雑性にどのような影響を与えるか？

主な発見

• 活動数をパラメータとする非巡回グラフにおけるネッシュ安定性に対してFPTアルゴリズムを提示し、先行研究における未解決問題を解決した。
• 完全グラフにおいても、活動数をパラメータとする場合、ネッシュ安定性はW[1]-hardであることが示され、一般グラフではおそらく困難であることが示唆される。
• 非巡回ネットワークでは多項式時間で計算可能であるが、クライQUEにおいては活動数をパラメータとする場合、個別安定性もW[1]-hardであることが示された。
• 活動数が小さな定数で抑えられている場合でも、コア安定性はクライQUEおよびスターグラフの両方でNP完全のままである。
• パラメータ化された複雑性下では、コア安定な割り当ての探索は、ネッシュ安定または個別安定な結果の探索よりも計算的に難しい。
• 活動数と参加者数の組み合わせパラメータを用いる場合、問題は固定パラメータ可 tractable になる。これは、入力サイズがO(n²p)で有界であるためである。