[論文レビュー] A Lagrangian Relaxation for the Maximum Stable Set Problem

Manoel Campêlo, Ricardo C. Corrêa|ArXiv.org|Mar 8, 2009

Complexity and Algorithms in Graphs参考文献 20被引用数 6

ひとこと要約

本稿では、頂点代表を用いた整数型計画法の新しい定式化を提案し、各頂点ごとのラグランジュ緩和を可能にすることで、頂点ごとの部分問題に問題を分解する。この手法は、密なグラフにおいて分枝カット法の性能を顕著に向上させ、8コアで最大3.43倍の並列高速化を達成し、マルチコアアーキテクチャにおける有効性を示している。

ABSTRACT

We propose a new integer programming formulation for the problem of finding a maximum stable set of a graph based on representatives of stable sets. In addition, we investigate exact solutions provided by a Lagrangian decomposition of this formulation in which only one constraint is relaxed. Some computational experiments were carried out with an effective multi-threaded implementation of our algorithm in a multi-core system, and their results are presented.

研究の動機と目的

• 代表頂点を用いた最大安定集合問題の新しい整数型計画法定式化の開発。
• この定式化に対するラグランジュ分解の正確解法への有効性の調査。
• マルチコアシステムにおける共有メモリ並列処理の実装と評価。
• 多様なグラフタイプにおける標準的なSTAB(G)定式化との性能比較。
• グラフの密度と構造が分解効率に与える影響の評価。

提案手法

• 安定集合の族を頂点代表によって分割し、最大安定集合問題を代表頂点を用いて定式化する。
• 各頂点に対して1つの制約をラグランジュ緩和することで、問題を最大でn個の部分問題に分解する。
• 各部分問題は、ある頂点とその隣接頂点によって誘導される部分グラフにおける最大安定集合の探索に対応する。
• 部分問題に分離ヒューリスティクスを適用することで、境界を強化する分枝カットフレームワークを用いる。
• 共有メモリ並列処理を実現するため、Javaの並行処理モデルを用いてマルチスレッド環境でアルゴリズムを実装する。
• ラグランジュ緩和から導かれる上界に基づいたベストファースト探索戦略を採用する。

実験結果

リサーチクエスチョン

• RQ1 代表頂点に基づく定式化は、標準的なSTAB(G)定式化と比較して、境界品質と解法時間の点でどのように異なるか？
• RQ2 頂点代表によるラグランジュ分解は、密なグラフにおける分枝カット法の性能向上に寄与するか？
• RQ3 共有メモリ型マルチコアシステムにおける、提案手法のスケーラビリティはいかがなっているか？
• RQ4 グラフの密度と構造（例：最大安定集合の数）は、分解の有効性にどのように影響するか？
• RQ5 並列実装は、高いスレッドスケジューリングオーバーヘッドを伴わずに顕著な高速化を達成できるか？

主な発見

• 密度が30%以上のグラフでは、代表頂点に基づく定式化がSTAB(G)を上回り、特に密なインスタンスにおいて解法時間を顕著に短縮した。
• 8コアで最大3.43倍の高速化が達成され、C125.9 や mann.a45 といった密なグラフで顕著であった。
• gen200.9.44のグラフでは、並列実装が順次実行と比較して探索ノード数を20%にまで削減した。これは、優れたノード刈り込み効果を示している。
• c-fat や brock、p-hat などの一部のグラフでは探索ノード数がわずかに増加したが、境界計算が高速になったことで相殺された。
• Javaのスレッドスケジューリング機構によるオーバーヘッドは無視できるほど小さく、効率的な並列処理が可能であった。
• mann.a45 という極めて密なグラフにおいても、代表頂点による分解がSTAB(G)よりも優れた性能を発揮した。