[論文レビュー] A Hybrid Graph Representation for Exact Graph Algorithms

Faisal N. Abu-Khzam, Karim Jahed+1 more|arXiv (Cornell University)|Apr 25, 2014

Advanced Graph Theory Research参考文献 18被引用数 4

ひとこと要約

本論文は、再帰的バックトラッキング中の効率的な元に戻し操作を可能にするために、隣接リストと隣接行列を組み合わせたハイブリッドグラフ表現を提案する。コントロールスタックを用いて暗黙的（implicit）に元に戻しを管理することで、明示的なメモリ管理を不要とし、高速な隣接関係の照会と効率的な近隣ノード走査を組み合わせることで、頂点被覆、支配集合、クラスタ編集の各問題において、実行時間を最低でも2倍速くする。一部のケースでは、実行時間が数日から数分に短縮された。

ABSTRACT

Many exact search algorithms for NP-hard graph problems adopt the old Davis-Putman branch-and-reduce paradigm. The performance of these algorithms often suffers from the increasing number of graph modifications, such as vertex/edge deletions, that reduce the problem instance and have to be "taken back" frequently during the search process. We investigate practical implementation-based aspects of exact graph algorithms by providing a simple hybrid graph representation that trades space for time to address the said take-back challenge. Experiments on three well studied problems show consistent significant improvements over classical methods.

研究の動機と目的

• 再帰的バックトラッキング中に繰り返し発生するグラフの変更とその高コストな元に戻し操作によって引き起こされる、正確なグラフアルゴリズムにおける性能ボトルネックを解消すること。
• 分枝・縮小アルゴリズムにおけるグラフ状態変更の維持と元に戻しの実装オーバーヘッドを低減すること。
• 隣接行列（定数時間の隣接関係チェック）の効率性と隣接リスト（効率的な近隣走査）の両方を組み合わせた実用的なデータ構造を設計すること。
• ハイブリッド表現が、NP困難なグラフ問題に対する正確なアルゴリズムの実行時間に与える影響を評価すること。
• 頂点被覆、支配集合、クラスタ編集といった複数の代表的なグラフ問題において、一貫的かつ顕著な性能向上を示すことを実証すること。

提案手法

• ハイブリッド表現は、同一のグラフに対して隣接リストと隣接行列を同時に維持し、O(1)の隣接関係照会とO(Δ(G))の近隣走査を可能にする。
• 頂点や辺の削除といったグラフの変更は、両方の表現に同時に適用され、操作の詳細はスタックに保存され、明示的な元に戻し操作が可能になる。
• 主なイノベーションは、プロセッサのコントロールスタックを用いて元に戻し操作を暗黙的に管理することであり、アルゴリズム論理内での明示的ブックキーピングを不要にする。
• 隣接行列を用いた高速な照会と隣接リストを用いた走査を活用することで、効率的な永続的エッジ追加と共通近隣ノード計算が可能になる。
• 変更が頻繁に元に戻される再帰的バックトラッキングアルゴリズムに、スタックベースの回復により高速な元に戻しを可能にするために、ハイブリッド構造を適用する。
• 実装は標準Cを用い、3つのNP困難な問題（頂点被覆、支配集合、クラスタ編集）を対象に評価された。

実験結果

リサーチクエスチョン

• RQ1 隣接リストと行列を組み合わせたハイブリッドデータ構造は、正確なグラフアルゴリズムの実行時間を顕著に短縮できるか？
• RQ2 ハイブリッド表現は、再帰的バックトラッキングアルゴリズムにおける元に戻し操作の効率をどの程度向上させるか？
• RQ3 ハイブリッド表現は、古典的な隣接リスト実装と比較して、NP困難なグラフ問題における性能でどのように差をつけるか？
• RQ4 コントロールスタックを用いた暗黙的元に戻し機構は、実際の実装において明示的スタックベースの元に戻しを上回るか？
• RQ5 ハイブリッド表現は、頂点被覆、支配集合、クラスタ編集といった多様なグラフ問題に効果的に適用可能か？

主な発見

• ハイブリッドグラフ表現は、全テストアルゴリズムおよび問題インスタンスにおいて、実行時間を最低でも2倍短縮した。
• 300ノードの4正則グラフにおける頂点被覆問題では、折りたたみ（folding）を適用した場合、実行時間が4日以上から7分未満に短縮された。
• 頂点数1000のランダムグラフ（支配集合サイズ3）において、ハイブリッド版は6分36秒で完了したが、隣接リスト版では28分37秒かかった。
• クラスタ編集問題では、500ノードのグラフ（k=30）において、実行時間が21日から4日へ短縮され、顕著な性能向上が確認された。
• 従来では解けなかったインスタンス、例えばk=8の300ノードグラフにおいて、隣接リスト版では7日以上かかったが、ハイブリッド表現では8時間14分で解決可能となった。
• 性能向上は、すべての問題タイプおよびグラフ密度において一貫しており、特に高密度および大規模インスタンスで最大の向上が観察された。