[論文レビュー] An Exact Algorithm for Minimum Weight Vertex Cover Problem in Large Graphs

Luzhi Wang, Chu-Min Li+3 more|arXiv (Cornell University)|Mar 14, 2019

Advanced Graph Theory Research参考文献 24被引用数 9

ひとこと要約

本稿では、大規模かつスパースなグラフにおける最小重み頂点被覆問題（MWVC）の正確な分枝限定法であるBMWVCを提案する。本研究では、4つの新しいグラフ削減規則、素性の disjoint cliques に基づくタイトな下界、および効率的な分枝ヒューリスティクスを導入し、実世界の大規模グラフにおいて、正確かつ高速に最適解を達成する。

ABSTRACT

This paper proposes a novel branch-and-bound(BMWVC) algorithm to exactly solve the minimum weight vertex cover problem (MWVC) in large graphs. The original contribution is several new graph reduction rules, allowing to reduce a graph G and the time needed to find a minimum weight vertex cover in G. Experiments on large graphs from real-world applications show that the reduction rules are effective and the resulting BMWVC algorithm outperforms relevant exact and heuristic MWVC algorithms.

研究の動機と目的

• 大規模な実世界グラフにおける最小重み頂点被覆問題（MWVC）の実用的かつ正確なソルバーの不足に対処すること。
• 既存のFPTアルゴリズムやSAT/MWCベースのアプローチの制限を克服し、MWVCに特化したアルゴリズムを設計すること。
• 最適性の保証を失わずに大規模なスパースグラフを簡略化する効果的な削減規則を開発すること。
• タイトな下界と効果的な分枝ヒューリスティクスにより、探索効率を向上させること。
• BMWVCを実世界および応用固有の大規模グラフ上で評価し、最先端の正確およびヒューリスティックソルバーを上回ることを示すこと。

提案手法

• 次数、重み、および近傍構造に基づいて頂点を削除または固定することで、MWVCインスタンスを簡略化する4つの新しいグラフ削減規則を提案する。
• 探索中に非効果的と予想される分枝を削除するために、グラフ内の互いに素なクリークから計算される下界を用いる。
• 分枝限定法のプロセスにおける頂点選択にヒューリスティクスを適用し、探索空間を効率的に縮小できる頂点を優先的に選択する。
• 削減とプルーニングを活用しながら、解空間を体系的に探索する分枝限定フレームワークを適用する。
• 補グラフへの変換やSATへのエンコードを行わず、元のグラフの上に直接処理を行うことで、密度の高い補グラフに起因するスケーラビリティの問題を回避する。
• メモリオーバーフロー時に停止し、見つかった最良の解を報告するメモリに配慮した戦略を実装。最適性の証明は、メモリが十分に確保できる場合に限る。

実験結果

リサーチクエスチョン

• RQ1 新規のグラフ削減規則は、最適性を保ちつつ、大規模でスパースな頂点重み付きグラフのサイズを顕著に縮小できるか？
• RQ2 互いに素なクリークに基づくタイトな下界は、MWVCにおける探索空間の大部分を効果的にプルーニングできるか？
• RQ3 効率的な分枝ヒューリスティクスは、ランダム選択や次数ベースの選択を上回り、正確なMWVCソルバーの実行時間を短縮できるか？
• RQ4 MWVCに特化して設計された正確なソルバーは、SATエンコーディングやMWCソルバーのような汎用ソルバーを、実世界の大規模グラフにおいて上回れるか？
• RQ5 BMWVCは、大規模かつ応用固有のグラフにおいて、最先端のヒューリスティックソルバー（例：Dynwvc1/2）および正確ソルバー（例：WLMC, SBMS）と比較して、性能および解の品質で優れているか？

主な発見

• エッジ密度が7未満の47個の実世界の大規模グラフのうち、46個でBMWVCが最適解を証明した。1つのインスタンスはメモリオーバーフローにより失敗した。
• 17のグラフにおいて、BMWVCは最良のヒューリスティックソルバーであるDynwvc1およびDynwvc2が最適解に到達できなかった16のインスタンスよりも速やかに最適解を発見・証明した。
• WDP, KES, ECC, REFから得た293個の応用グラフのうち255個を5時間以内に解釈した。SBMS（86個）、Dynwvc1/Dynwvc2（209個）を上回り、WLMC（269個）に非常に近い性能を示した。
• 提案された削減規則は非常に効果的であり、巨大なグラフを処理可能なサイズにまで縮小し、従来の手法が失敗した分野でも正確な解法を可能にした。
• 互いに素なクリークに基づくタイトな下界は、探索空間を顕著にプルーニングし、収束速度の向上に寄与した。
• BMWVCは、大規模グラフにおけるMWVCに特化した最初の正確なソルバーであり、SATやMWCソルバーへの変換に起因する非効率性を回避している。