[論文レビュー] On Solving the Maximum $k$-club Problem

Andreas Wotzlaw|arXiv (Cornell University)|Mar 20, 2014

Complexity and Algorithms in Graphs参考文献 23被引用数 3

ひとこと要約

本稿では、最大 $k$-クラブ問題（M$k$CP）のための2つの新しいMAX-SAT定式化を提示し、問題を部分的Max-SATインスタンスとしてエンコードすることで、効率的な正確な解法を可能にする。提案手法である SatMC1 と SatMC2 は、ランダムおよび実世界のグラフにおいて、最新の正確アルゴリズムを上回る性能を示し、$k \in \{2,3,4\}$ の範囲で、さまざまなグラフ密度およびサイズにおいて、優れた実行時間性能と頑健性を示している。

ABSTRACT

Given a simple undirected graph $G$, the maximum $k$-club problem is to find a maximum-cardinality subset of nodes inducing a subgraph of diameter at most $k$ in $G$. This NP-hard generalization of clique, originally introduced to model low diameter clusters in social networks, is of interest in network-based data mining and clustering applications. We give two MAX-SAT formulations of the problem and show that two exact methods resulting from our encodings outperform significantly the state-of-the-art exact methods when evaluated both on sparse and dense random graphs as well as on diverse real-life graphs from the literature.

研究の動機と目的

• グラフ内での最大 $k$-クラブの特定という計算上の課題に取り組む。これは、社会的および生物学的ネットワークにおける凝集的サブグループをモデル化するために用いられるNP困難問題である。
• 従来のブランチアンドバウンズおよび整数プログラミング手法よりも優れた性能を示す、M$k$CPのための効率的な正確アルゴリズムを開発すること。
• M$k$CPを部分的Max-SAT問題としてエンコードする可能性と有効性を検討し、スケーラビリティと解の品質の向上を図ること。
• さまざまなグラフ密度、サイズ、および実世界のインスタンスにおいて、提案手法の頑健性と性能を評価すること。

提案手法

• 最大 $k$-クラブ問題を、硬い節によって $k$-クラブ制約を満たし、ソフトな1節によって選択されたノード数を最大化する部分的Max-SATインスタンスとして定式化する。
• 2つのエンコーディングを導入する：SatMC1は $O(n^{k-1})$ 個の変数と節を有し、SatMC2は $O(kn^2)$ 個の変数と $O(kn^3)$ 個の節を有し、サイズと効率のトレードオフを提供する。
• 現代のSATソルバを用いてエンコードされた部分的Max-SATインスタンスを解き、真に設定された変数の真理値割り当てから最適な $k$-クラブを抽出する。
• ランダムグラフ（$n$, $k$, エッジ密度 $D$ を変化させたもの）および文献からの実生活のグラフを用いた体系的な実験的評価を実施し、性能をベンチマークする。
• 実行時間、最適性ギャップ、未解決インスタンス数を指標として、提案手法をBIPベースの手法、VNS、B&Backtrack（B&B）といった既存の正確アルゴリズムと比較する。
• さまざまなグラフ密度におけるアルゴリズムの挙動を分析し、困難なインスタンスを特定し、頑健性を評価する。

実験結果

リサーチクエスチョン

• RQ1 最大 $k$-クラブ問題は、効率的な正確な解法を可能にするために、部分的Max-SAT問題として効果的にエンコード可能だろうか？
• RQ2 提案されたMAX-SATベースの手法 SatMC1 と SatMC2 は、M$k$CPの既存の正確アルゴリズムと比較して、性能とスケーラビリティにおいて優れているだろうか？
• RQ3 M$k$CPを解く際に、最も困難なグラフ密度は何か？また、提案手法はこれらの密度においてどれほど頑健か？
• RQ4 計算が中断された場合、提案されたMAX-SATエンコーディングは、高品質な近似解をどの程度まで提供できるだろうか？

主な発見

• SatMC1 と SatMC2 は、すべてのテストインスタンスにおいてBIPベースの手法、VNS、B&Backtrackを著しく上回り、平均実行時間の観点で特に顕著な優位性を示している。
• $k=2$ の場合、$D=0.15$ の100ノードインスタンスについて、SatMC2は平均0.06秒未塔で全インスタンスを解釈したが、B&Backtrack手法は同様のセットに対して平均100秒以上を要した。
• $n=200$、$D=0.10$、$k=3$ のインスタンスにおいて、SatMC2は100%のインスタンスを5秒未塔で解釈したのに対し、VNSは3600秒の時間制限内に10インスタンス中9つを解釈できなかった。
• 両手法は密度にわたる頑健性を示し、特に困難な密度において性能低下が最小限に抑えられていた。これは表7により確認され、$k=2$ では $D=0.15$、$k=3$ では $D=0.05$ がピークの難易度ゾーンであると特定された。
• $k=4$ の場合、$D=0.10$ の100ノードインスタンスについて、SatMC2は平均1秒未塔で全インスタンスを解釈したが、BIP手法はメモリオーバーフローのため4インスタンスを解釈できなかった。
• SatMC2の平均実行時間は、$k=2$ では $D=0.15$、$k=3$ では $D=0.05$ でピークを示し、困難な密度と一致したが、他の手法と比較して著しく高速であった。