[論文レビュー] Graph Coalition Structure Generation

Thomas Voice, Maria Polukarov+1 more|arXiv (Cornell University)|Feb 8, 2011

Auction Theory and Applications参考文献 14被引用数 6

ひとこと要約

本稿は、非隣接メンバーに依存しない評価関数を有する無向グラフ上でのコалиション構造生成（GCSG）という、新しいフレームワークを導入する。この問題がエッジ和評価関数のもとで、平面グラフに対してもNP完全であることを証明するが、木構造、$K_{2,3}$、および$K_4$-マイナーを含まないグラフに対しては多項式時間アルゴリズムを提供し、構造的グラフクラスにおける基本的な計算複雑性の境界を確立する。

ABSTRACT

We give the first analysis of the computational complexity of {\it coalition structure generation over graphs}. Given an undirected graph $G=(N,E)$ and a valuation function $v:2^N ightarrow\RR$ over the subsets of nodes, the problem is to find a partition of $N$ into connected subsets, that maximises the sum of the components' values. This problem is generally NP--complete; in particular, it is hard for a defined class of valuation functions which are {\it independent of disconnected members}---that is, two nodes have no effect on each other's marginal contribution to their vertex separator. Nonetheless, for all such functions we provide bounds on the complexity of coalition structure generation over general and minor free graphs. Our proof is constructive and yields algorithms for solving corresponding instances of the problem. Furthermore, we derive polynomial time bounds for acyclic, $K_{2,3}$ and $K_4$ minor free graphs. However, as we show, the problem remains NP--complete for planar graphs, and hence, for any $K_k$ minor free graphs where $k\geq 5$. Moreover, our hardness result holds for a particular subclass of valuation functions, termed {\it edge sum}, where the value of each subset of nodes is simply determined by the sum of given weights of the edges in the induced subgraph.

研究の動機と目的

• グラフ構造を持つエージェント集合上でのコールラジョン構造生成の計算複雑性を形式化し、分析すること。
• 特にグラフマイナーと連結性といった構造的制約がコールラジョン形成の tractability に与える影響を調査すること。
• 最適なコールラジョン構造を効率的に計算可能なグラフクラスおよび評価関数を同定すること。
• エッジ和などの自然な評価関数に対しても、特に平面性制約下でもNP完全性を確立すること。
• マイナーを含まないグラフおよび木構造グラフに対して、構成的アルゴリズムと複雑性境界を提供すること。

提案手法

• 非隣接ノードに影響を受けないノードのマージナル寄与（IDM）という概念を導入する。
• エッジ和評価関数を、部分グラフに含まれるエッジの重みの合計として定義し、これはIDM性質を満たす。
• 3-SATからの還元を用いてNP完全性を証明し、論理的依存関係を符号化するグラフ部品を構築する。
• 平面グラフの構成と、補助的部品（例：図6）を用いたエッジ交差の置換により、還元における平面性を維持する。
• 論理的一致性を強制するグラフギャジェット（図6〜9）を構築する。例えば、あるリテラルが偽である場合に限り、ノードのペアが同じコールラジョンに属する。
• 局所的に最適なコールラジョン構造が存在するための必要十分条件は、3-SATの充足可能性に他ならないことを証明し、このような状況では最適性と局所最適性が一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 評価関数が非隣接メンバーに依存しない場合、グラフ上でのコールラジョン構造生成の計算複雑性はいかほどか？
• RQ2 木構造、マイナーを含まないなど、どのグラフクラス（例：$K_{2,3}$-マイナーを含まない）において、GCSG問題が多項式時間で解けるか？
• RQ3 エッジ和などの自然な評価関数に対しても、特に平面グラフにおいても、問題はNP完全であるか？
• RQ4 特定のグラフ構造および評価関数制約下で、局所最適性がグローバル最適性の代理として使用可能か？
• RQ5 どのようなグラフ構造的性質が、最適コールラジョン構造の効率的計算を可能にするか？

主な発見

• 一般のグラフではGCSG問題がNP完全であり、エッジ和評価関数のもとで平面グラフに対しても依然としてNP完全である。
• 木構造グラフ、$K_{2,3}$-マイナーを含まないグラフ、および$K_4$-マイナーを含まないグラフにおいて、問題は多項式時間で解ける。
• すべてのIDM評価関数に対して、本稿は一般およびマイナーを含まないグラフに対する複雑性境界と構成的アルゴリズムを提供する。
• 3-SATからGCSGへの還元により、局所的に最適なコールラジョン構造が存在するための必要十分条件は、3-SATの充足可能性に他ならないことが示された。
• 還元で構築されたグラフのサイズは、$m$（節約数）に対して$O(m^2)$である。これはNP完全性証明が効率的であることを裏付ける。
• 構築されたインスタンスにおいて、コールラジョン構造が最適であるための必要十分条件は、局所的に最適であることである。これにより、局所最適性とグローバル最適性の強い関連性が確立された。