[論文レビュー] An ${\cal O}(n^2 \log(n))$ algorithm for the weighted stable set problem in claw-free graphs

Paolo Nobili, Antonio Sassano|arXiv (Cornell University)|Jan 23, 2015

Complexity and Algorithms in Graphs参考文献 10被引用数 4

ひとこと要約

本稿は、爪型グラフにおける重み付き安定集合問題に対して ${\cal O}(n^2 \log n)$ 時間のアルゴリズムを提示する。これは、線グラフにおける最良の既知のアルゴリズムと同一の時間計算量を達成する。$S$-アーティキュレーションクリークを通じて、{爪型, ネット}自由ストリップおよび安定数が小さいストリップへの直接的分解を導入し、これらの構成要素に対して高速なサブルーチンを活用することで、Padberg（1983）が提起した長年の予想（問題の難易度は重み付きマッチング問題を超えない）を解決する。

ABSTRACT

A graph $G(V, E)$ is \emph{claw-free} if no vertex has three pairwise non-adjacent neighbours. The Maximum Weight Stable Set (MWSS) Problem in a claw-free graph is a natural generalization of the Matching Problem and has been shown to be polynomially solvable by Minty and Sbihi in 1980. In a remarkable paper, Faenza, Oriolo and Stauffer have shown that, in a two-step procedure, a claw-free graph can be first turned into a quasi-line graph by removing strips containing all the irregular nodes and then decomposed into \emph{\{claw, net\}-free} strips and strips with stability number at most three. Through this decomposition, the MWSS Problem can be solved in ${\cal O}(|V|(|V| \log |V| + |E|))$ time. In this paper, we describe a direct decomposition of a claw-free graph into \emph{\{claw, net\}-free} strips and strips with stability number at most three which can be performed in ${\cal O}(|V|^2)$ time. In two companion papers we showed that the MWSS Problem can be solved in ${\cal O}(|E| \log |V|)$ time in claw-free graphs with $α(G) \le 3$ and in ${\cal O}(|V| \sqrt{|E|})$ time in \{claw, net\}-free graphs with $α(G) \ge 4$. These results prove that the MWSS Problem in a claw-free graph can be solved in ${\cal O}(|V|^2 \log |V|)$ time, the same complexity of the best and long standing algorithm for the MWSS Problem in \emph{line graphs}.

研究の動機と目的

• 爪型グラフにおける重み付き安定集合問題と線グラフにおける問題の計算量のギャップを埋めること。これはPadberg（1983）が提起した予想である。
• 先行研究の間接的な2段階プロセスを避けるために、爪型グラフを {爪型, ネット} 自由ストリップおよび安定数が3以下のストリップに直接分解すること。
• 全体の時間計算量を ${\cal O}(n^2 \log n)$ に保証すること。これは線グラフにおける最良の既知のアルゴリズムと一致する。
• Faenza, Oriolo, Stauffer が以前に確立した ${\cal O}(|V|(|V|\log|V| + |E|))$ の境界を改善すること。

提案手法

• 特徴的な最大安定集合 $S$ を導入し、それによって $S$-アーティキュレーションクリークの特定を導く。これは、先行研究で用いられたアーティキュレーションクリークを一般化するものである。
• $S$-アーティキュレーションクリークを、爪型グラフ $G$ 上で直接的にアングルーリング操作することで、{爪型, ネット} 自由ストリップおよび $\alpha(C) \leq 3$ を満たすストリップに分解する。
• 各 $Q \in {\cal S}$ に対して関連するグラフ $G_Q$ を含む、アングルーリングされたグラフ $G_{\cal S}$ を構築する。この際、ノードのルートを追跡し、辺の剛性を管理するための行列 $Root[\cdot, \cdot]$ を使用する。
• 既存の効率的アルゴリズムを活用する：$\alpha(C) \leq 3$ のストリップでは ${\cal O}(|E(C)|\log|V(C)|)$、{爪型, ネット} 自由ストリップで $\alpha(C) \geq 4$ の場合は ${\cal O}(|V(C)|\sqrt{|E(C)|})$。
• すべての分解プロセス（$S$-アーティキュレーションクリークの特定および $G_{\cal S}$ の構築を含む）が ${\cal O}(|V|^2)$ 時間で実行可能であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 爪型グラフにおける重み付き安定集合問題は、線グラフにおける最良のアルゴリズムと同一の ${\cal O}(n^2 \log n)$ 時間で解けるか？
• RQ2 まず準線グラフに変換するのではなく、爪型グラフ上で直接アングルーリング分解を実行することは可能か？
• RQ3 アーティキュレーションに類似したクリークの特定を ${\cal O}(n^2)$ 時間に高速化できるか？これは、先行アルゴリズムの ${\cal O}(|V||E|)$ のボトルネックを改善する。
• RQ4 {爪型, ネット} 自由ストリップおよび安定数が小さいストリップへの直接的分解は、線グラフにおける最良の境界と一致する計算量を達成できるか？

主な発見

• 提案されたアルゴリズムは、爪型グラフにおける重み付き安定集合問題を ${\cal O}(n^2 \log n)$ 時間で解くことができ、線グラフにおける最良の既知のアルゴリズムと同一の計算量を達成する。
• $S$-アーティキュレーションクリークへの分解およびアングルーリングプロセスは、${\cal O}(|V|^2)$ 時間で実行可能であり、これは先行手法のボトルネックを顕著に改善する。
• 各ストリップにおけるMWSS問題の時間計算量は、$\alpha(C) \leq 3$ の場合は ${\cal O}(|E(C)|\log|V(C)|)$、$\alpha(C) \geq 4$ の場合は ${\cal O}(|V(C)|\sqrt{|E(C)|})$ で抑えられ、両者とも効率的に計算可能である。
• アルゴリズム全体の計算量は、線グラフにおけるMWSS問題の最速の既知のアルゴリズムに支配されており、それは ${\cal O}(n^2 \log n)$ である。
• 結果は、Padberg（1983）の予想、すなわち爪型グラフにおける重み付き安定集合問題は重み付きマッチング問題より難しいものではない、ことを裏付ける。