[論文レビュー] $\Sigma_2^p$-complete Problems on Hedonic Games

Dominik Peters|arXiv (Cornell University)|Sep 8, 2015

Game Theory and Voting Systems被引用数 3

ひとこと要約

この論文は、加法的分離可能価値を有するヒドニックゲームにおけるコアおよび厳密コア安定分割の決定が、対称的評価と限定的相互作用のもとでも、Σ₂^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.

研究の動機と目的

• 加法的分離可能価値を有するヒドニックゲームにおけるコアおよび厳密コア安定分割の存在を決定する計算複雑性を特定すること。
• Woeginger (2013)の先行研究を拡張し、対称的評価と限定的相互作用のもとでΣ₂^p完全性を証明すること。
• 二値的価値関係を有するヒドニックゲームにおける厳密コアの非空性の複雑さを調査すること。
• 変数の出現回数が限定される場合のTRUE-∃∀-3DNFの複雑さを検討すること。
• さまざまな価値関係モデル下での安定な連合形成のタイトな複雑さの上限を確立すること。

提案手法

• 既知のΣ₂^p完全問題からの還元を用いて、加法的分離可能ヒドニックゲームにおけるコア安定性の下界を示す。
• 非ゼロ評価を有するエージェントが定数個に限定されるような対称的かつスパースな評価関数の構築により、構造的制約下での下界を証明する。
• 非空性の厳密コアに関するΣ₂^p完全性を示すために、新規の還元フレームワークを用いる。
• 各変数が高々3回しか出現しない場合でも、TRUE-∃∀-3DNFが依然としてΣ₂^p困難であることを証明する。
• 量化ブール論理式の性質を活用して、計算複雑性の下界を確立する。
• すべての研究対象問題について、下界とΣ₂^pへの属性の両方を形式的に証明することで完全性を確立する。

実験結果

リサーチクエスチョン

• RQ1 加法的分離可能価値関係を有するヒドニックゲームにおけるコア安定分割の存在を決定することはΣ₂^p完全か？
• RQ2 評価が対称的であり、非ゼロ評価を有するエージェントが定数個に限定される場合でも、複雑さはΣ₂^p完全のままか？
• RQ3 二値的価値関係を有するヒドニックゲームにおける厳密コアの非空性はΣ₂^p完全か？
• RQ4 各変数が高々3回しか出現しない場合でも、TRUE-∃∀-3DNFはΣ₂^p困難か？
• RQ5 価値関係の構造的制約下で、安定な連合形成の複雑さをタイトに束縛できるか？

主な発見

• 加法的分離可能ヒドニックゲームにおけるコア安定分割の決定は、対称的評価と限定的相互作用のもとでもΣ₂^p完全である。
• 同じ制約下で、厳密コア安定分割に対しても同様にΣ₂^p完全性が成り立つ。
• 二値的価値関係を有するヒドニックゲームにおける厳密コアの非空性はΣ₂^p完全である。
• 各変数が高々3回しか出現しない場合でも、TRUE-∃∀-3DNFは依然としてΣ₂^p困難である。
• 本研究の結果は、さまざまな価値関係モデル下での安定連合形成のタイトな複雑さの上限を確立する。
• Woeginger (2013)の先行研究を拡張し、より強い構造的制約下でも完全性を証明することで、その結果を強化している。