[論文レビュー] A Hierarchical Dynamic Programming Algorithm for Optimal Coalition Structure Generation

Meritxell Vinyals, Thomas Voice+2 more|arXiv (Cornell University)|Oct 24, 2013

Auction Theory and Applications参考文献 8被引用数 4

ひとこと要約

本稿では、エージェントの協力関係グラフの擬似木に基づく階層的分解を用いる、最適なコалиション構造生成のための新しい動的計画法であるDyPEを提案する。擬似木の階層構造に基づいて探索空間を構築することで、DyPEはメモリ使用量と計算時間を桁違いに削減し、40エージェントの木構造問題において、従来手法と比較して最大10^7倍のメモリ削減と10^4倍の高速化を達成した。

ABSTRACT

We present a new Dynamic Programming (DP) formulation of the Coalition Structure Generation (CSG) problem based on imposing a hierarchical organizational structure over the agents. We show the efficiency of this formulation by deriving DyPE, a new optimal DP algorithm which significantly outperforms current DP approaches in speed and memory usage. In the classic case, in which all coalitions are feasible, DyPE has half the memory requirements of other DP approaches. On graph-restricted CSG, in which feasibility is restricted by a (synergy) graph, DyPE has either the same or lower computational complexity depending on the underlying graph structure of the problem. Our empirical evaluation shows that DyPE outperforms the state-of-the-art DP approaches by several orders of magnitude in a large range of graph structures (e.g. for certain scalefree graphs DyPE reduces the memory requirements by $10^6$ and solves problems that previously needed hours in minutes).

研究の動機と目的

• 最適なコロケーション構造生成（CSG）の計算的非効率性、一般にはNP困難であるという点に取り組む。
• 特に、コロケーションの妥当性が協力関係グラフによって制約されるグラフ制約付きの設定において、既存の動的計画法（DP）手法を改善すること。
• エージェント間の階層的依存関係を擬似木を用いて活用することで、重複する探索を回避する新しいDP定式化を開発すること。
• IDP や DyCE などの最先端のDPアルゴリズムと比較して、顕著なメモリおよび時間計算量の削減を達成すること。
• 木構造やスケールフリー・ネットワークなどのスパースなグラフ構造において、数百人のエージェントを含む大規模な問題例に対しても最適なCSGをスケーラブルに達成すること。

提案手法

• エージェントの協力関係グラフから導出される擬似木階層に基づく新しいDP定式化を提案し、エージェント部分集合にトポロジカル順序を課す。
• 擬似木の前方の位置で事前に形成されたコロケーションに依存してコロケーション形成を制約し、重複計算を削減する。
• 階層的構造内で関連する部分問題のみを評価する効率的なアルゴリズムとして、DyPE（擬似木に基づく動的計画法）を実装する。
• 誘導部分グラフにおける連結成分の概念を用いて、協力関係グラフの制約下でのコロケーションの妥当性を検証する。
• 各エージェントのコロケーション選択肢が、擬似木におけるその先祖に依存する再帰的分解戦略を適用し、非妥当な経路のプルーニングを可能にする。
• 最適部分構造と重複部分問題を活用するために、擬似木構造に沿ったボトムアップ評価を採用する。

実験結果

リサーチクエスチョン

• RQ1 エージェントの協力関係グラフの階層的分解は、CSGのためのより効率的な動的計画法定式化を可能にするか？
• RQ2 異なるグラフトポロジーにおいて、DyPEの計算量は、既存のDPアルゴリズム（IDP および DyCE）と比較してどの程度異なるか？
• RQ3 特にスパースなグラフにおいて、DyPEはどれほどメモリ使用量と実行時間を削減できるか？
• RQ4 現在の手法が指数的爆発により失敗するような大規模な問題例（例：1000エージェント）に対しても、DyPEはスケーラブルか？
• RQ5 擬似木に基づく階層構造は、最適性を保ちながら非妥当なコロケーションをより効果的にプルーニング可能か？

主な発見

• 40エージェントのランダムな木構造において、DyPEはDyCE や IDP と比較して、最大10^7倍のメモリ使用量削減と最大10^4倍の実行時間短縮を達成した。
• 優先的接続パラメータ k=1 のスケールフリー・グラフにおいて、30エージェントの問題でDyPEはDyCEと比較して最大6桁、IDPと比較して最大9桁のメモリ使用量削減を達成した。
• 完全グラフにおいて、DyPEはIDP や DyCE と比較して、半分のメモリ使用量を維持しており、理論的計算量境界の妥当性を裏付けた。
• 有界次数 d=2 の場合、DyPEは1000エージェントの最適CSGを数分で解けるのに対し、他の手法は50エージェントを超えると非効率的になる。
• d=3 および d=4 の場合、DyPEはそれぞれ50エージェント問題を15分および3時間で完了し、スパース構造におけるスケーラビリティを示した。
• DyPEの性能は特にスパースなグラフにおいて顕著であり、指数的スピードアップとメモリ節約を達成しながら、最適解の品質を維持している。